Requirements-based monitors for real-time systems

Peters, Dennis; Parnas, David Lorge

doi:10.1109/32.988496

Cited by 46 publications

(8 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The real-time monitoring allows for timely decisions that can prevent a future malfunction of the processes. A monitoring system observes the behavior of other system and checks if it is consistent with what is expected, with a given specification [10].…”

Section: Amentioning

confidence: 96%

A Software Framework for Supporting Ubiquitous Business Processes: An ANSI/ISA-95 Approach

Amaro

Machado

2012

2012 Eighth International Conference on the Quality of Information and Communications Technology

View full text Add to dashboard Cite

Nowadays, organizations to survive competitively they need to be, innovative and efficient. The way the Internet has been expanding along with other technological changes is leading us to a future in which all the objects that surround us will be seamlessly integrated into information networks. The possibility to implement concepts related with the ubiquitous computing in the business process-level will influence how they are designed, structured, monitored, and managed. One of the most remarkable possibilities of ubiquitous computing can be the real-time monitoring of a particular business process: it should be possible to analyze the flow of materials and information, identify possible points of failure or improve energetic efficiency with a small delay on they occur in reality. Currently, there is no direct and automated link between ubiquitous business processes descriptions and their physical executions which, frequently, promotes the occurrence of a discrepancy between the planned modes of operation and the executed ones. The ubiquitous business processes will enable a narrowing between the real (objects) and virtual (models) world and the possibility to create adaptive business processes that can predict failures, adapting themselves to changes in the environment is an attractive challenge. In this PhD thesis, we will propose a new software framework to monitor real-time executions of ubiquitous industrial business processes.

show abstract

Section: Amentioning

confidence: 96%

A Software Framework for Supporting Ubiquitous Business Processes: An ANSI/ISA-95 Approach

Amaro

Machado

2012

2012 Eighth International Conference on the Quality of Information and Communications Technology

View full text Add to dashboard Cite

show abstract

“…It has a front end syntax similar to a functional programming or theorem prover language, and a semantic intermediate representation based on OpenMath objects for individual types and definitions, and OMDoc for theory-level structure. A typechecker supports the Calculus of Constructions [3], a subset of the proposed higher-order type system for OpenMath [13]. Executable code can be generated from the typechecked intermediate representation.…”

Section: Code Generationmentioning

confidence: 99%

An IDE for software development using tabular expressions

Peters

Lawford

Widemann

2007

Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '07

View full text Add to dashboard Cite

We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. MotivationFormal software specification and design techniques, when combined with analysis and verification tools, can significantly increase the confidence that software will behave as required. Such techniques, however, usually require documents to be produced that include fairly complex mathematical expressions, which can often be effectively presented as tabular expressions. Traditional documentation tools have proven to be insufficient for this purpose. We hope to improve this situation by developing tools that support both the production and maintenance of good documentation and the application of this documentation to such tasks as design analysis, verification and testing.Although tabular expressions could be useful in many forms of documentation, our emphasis will be on documents that either specify or describe behaviour of software entities using relations on the quantities that are input and output from the component [21]. Rather than define a specification language, per se, we use * This work was carried out while all 3 authors were at

show abstract

“…However, prior work in run-time verification of timed systems [6,13,19] implicitly assumes that all observed traces are generated from the initial state of the system, and hence that the system is typically reset to its initial state between observations. In practice, this is infeasible for large networks or systems, in which re-initializing the system can take a prohibitive amount of time.…”

Section: Related Workmentioning

confidence: 99%

“…Our approach is closely related to run-time verification [6,13,19], in that it observes the behavior of systems during run-time, and analyzes the observed behavior against specifications of the intended real-time behavior of the system. However, prior work in run-time verification of timed systems [6,13,19] implicitly assumes that all observed traces are generated from the initial state of the system, and hence that the system is typically reset to its initial state between observations.…”

Section: Related Workmentioning

confidence: 99%

Passive mid-stream monitoring of real-time properties

Jagadeesan¹,

Viswanathan²

2005

Proceedings of the 5th ACM International Conference on Embedded Software

View full text Add to dashboard Cite

Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain contexts, such as network management and intrusion detection for security, passive monitoring is the most applicable methodology for assuring correctness of the system's behavior. More generally, it can serve to complement and extend functional testing and fault detection efforts that take place during the software/product development lifecycle. Two distinguishing aspects of passive monitoring are that: (a) the fault detection process cannot influence the execution of the system by providing particular inputs to the system, and (b) observations are obtained mid-stream, from an unknown state in the middle of the execution of the system. In this paper, we present results on passively testing for real-time behavioral properties that can be applied to a large class of systems including those that can be modeled as timed automata. Our results provide a natural extension of the passive testing study conducted in [17] for untimed properties. We have implemented our approach using the real-time model checker UPPAAL, and we report on its application to passively test fault tolerance software in a telecommunications switch developed at Lucent Technologies.

show abstract

Requirements-based monitors for real-time systems

Cited by 46 publications

References 25 publications

A Software Framework for Supporting Ubiquitous Business Processes: An ANSI/ISA-95 Approach

A Software Framework for Supporting Ubiquitous Business Processes: An ANSI/ISA-95 Approach

An IDE for software development using tabular expressions

Passive mid-stream monitoring of real-time properties

Contact Info

Product

Resources

About