An interval logic for higher-level temporal reasoning

Schwartz, Richard L.; Melliar-Smith, P. M.; Vogt, Friedrich H.

doi:10.1145/800221.806720

Cited by 91 publications

(19 citation statements)

References 9 publications

(1 reference statement)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, timeoriented metrics, perhaps derived from the area of real-time analysis [23,42], would be a useful extension to execution stream analysis. Methods for measuring the efficiency of a process would be another useful analysis method.…”

Section: Resultsmentioning

confidence: 99%

Software process validation

Cook

Wolf

1999

ACM Trans. Softw. Eng. Methodol.

204

View full text Add to dashboard Cite

To a great extent, the usefulness of a formal model of a software process lies in its ability to accurately predict the behavior of the executing process. Similarly, the usefulness of an executing process lies largely in its ability to fulfill the requirements embodied in a formal model of the process. When process models and process executions diverge, something significant is happening.We have developed techniques for uncovering and measuring the discrepancies between models and executions, which we call process validation. Process validation takes a process execution and a process model, and measures the level of correspondence between the two. Our metrics are tailorable and give process engineers control over determining the severity of different types of discrepancies. The techniques provide detailed information once a high-level measurement indicates the presence of a problem. We have applied our process validation methods in an industrial case study, of which a portion is described in this paper. Report Documentation PageForm Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for Information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number.

show abstract

Section: Resultsmentioning

confidence: 99%

Software process validation

Cook

Wolf

1999

ACM Trans. Softw. Eng. Methodol.

204

View full text Add to dashboard Cite

show abstract

“…A few relevant ones are the Interval-based Temporal Logic of Schwartz et al [1983]; the Interval Temporal Logic of Moszkowski Moszkowski [1983] and Moszkowski [1986], the Duration Calculus of Chaochen et al [1991], and the Metric Interval Temporal Logic (MITL) of Alur et al [1996].…”

Section: ¬(¬Fault U (Alarm ∧ ¬Fault))mentioning

confidence: 99%

Modeling Time in Computing

Furia

Mandrioli

Morzenti

et al. 2012

Monographs in Theoretical Computer Science. An EATCS Series

View full text Add to dashboard Cite

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering.This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is also suitable for nonspecialists. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms.The article first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from "traditional" models and formalisms to more modern ones.

show abstract

“…Interval logic, which is originally introduced by Schwartz et al (1983), is a type of temporal logic that is specifically designed for expressing abstract requirements that a program must satisfy. Dillon et al (1994a, b) have recognized the need for graphical languages for expressing interval logic formulas, and they introduced Graphical Interval Logic.…”

Section: C3mentioning

confidence: 99%

Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems

et al. 2009

View full text Add to dashboard Cite

In event-driven systems, separating the reactive part of software (i.e., event-driven control) from the non-reactive part is a common design practice. The reactive part is typically structured according to the states and transitions of a system, whereas the non-reactive part is typically structured according to the concepts of the application domain (e.g., the services provided by the system). In such systems, the non-reactive part of software stimulates the reactive part with event calls. Whenever the non-reactive part is modified (e.g., during evolution), the existing event calls may become invalid, new event calls may become necessary, and the two parts of software may become incompatible. Manually finding and repairing these types of defects is a time-consuming and error-prone maintenance task. In this article, we present a solution that combines source code model checking and aspectoriented programming techniques, to reduce the time spent by developers and to automatically find defects, while performing the maintenance task mentioned above. In addition, we present controlled experiments showing that the solution can reduce the time by 75%, and enable the prevention of one defect per 140 lines of source code.

show abstract

An interval logic for higher-level temporal reasoning

Cited by 91 publications

References 9 publications

Software process validation

Software process validation

Modeling Time in Computing

Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems

Contact Info

Product

Resources

About