Supervision of real-time software systems using optimistic path prediction and rollbacks

Simser, D.A.; Seviora, R.E.

doi:10.1109/issre.1996.558892

Cited by 6 publications

(5 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Once a monitor has detected a failure, no further analysis of that behavior will give a different result. In applications such as supervision [36], where continued analysis of the behavior may be needed following detection of a failure, some intervention, either automatic or manual, will be required before the monitor will report acceptable behavior again. For example, if corrective action is taken in response to the failure, and the target system is restored to some known state, then the monitor will need to be re-initialized to correspond to that state.…”

Section: A Using Monitorsmentioning

confidence: 99%

“…Systems that address the oracle problem (see [3] for an excellent survey) can be classified by the subset of properties that they consider, most restricting their analysis to one of the following classes: 1) Functional properties -the values of the outputs for given inputs, which can be checked either by observing the start and stop states for a program, as in [28], [38], [19], [32]; by comparing the behavior of an abstract data type with that specified in a model-based specification notation, as in [37], [16], [22], [31]; or by comparing the run-time behavior of a reactive system with a finite state machine model, as in [36]. 2) Temporal properties -the order of events, which can be checked by comparing the sequence of observed events with that specified by either a temporal logic [7], [8]; a finite state machine model [15], [6]; or a context-free grammar [2].…”

Section: Related Workmentioning

confidence: 99%

“…Several authors (e.g., [40]) have suggested that a practical approach to analyzing the behavior of a real-time system is to use a monitor: a system that observes and analyzes the behavior of another system (the target system). Such a monitor could be used either as an 'oracle' [43] during system testing, or, for a limited class of systems, as a 'supervisor' [36] to detect and report system failure during operation.…”

mentioning

confidence: 99%

See 2 more Smart Citations

Requirements-based monitors for real-time systems

Peters

2000

Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

Abstract-Before designing safety-or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure that it behaves correctly. This is best done using a monitor, a system that observes the behavior of a target system and reports if that behavior is consistent with the requirements. Such a monitor can be used both as an oracle during testing and as a supervisor during operation. Monitors should be based on the documented requirements of the system.If the target system is required to monitor or control real-valued quantities, then the requirements, which are expressed in terms of the monitored and controlled quantities, will allow a range of behaviors to account for errors and imprecision in observation and control of these quantities. Even if the controlled variables are discrete valued, the requirements must specify the timing tolerance. Because of the limitations of the devices used by the monitor to observe the environmental quantities, there is unavoidable potential for false reports, both negative and positive. This paper discusses design of monitors for real-time systems, and examines the conditions under which a monitor will produce false reports. We describe the conclusions that can be drawn when using a monitor to observe system behavior.

show abstract

Section: A Using Monitorsmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

mentioning

confidence: 99%

See 1 more Smart Citation

Requirements-based monitors for real-time systems

Peters

2000

Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis

View full text Add to dashboard Cite

show abstract

“…(Tsai, 1995) suggest that it is useful and practical using monitors to analyze the behaviour of a real-time system. Such a monitor could be used either as an "oracle" (Weyuker, 1982) -or reporting on system failures -as detected by the same monitor performing in the role of supervisor (Simser, 1996) respectively. In safety-critical applications, the system should be monitored by another safety system to ensure continued correct behavior.…”

Section: Introductionmentioning

confidence: 99%

Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool

Pennella¹,

Biagio²,

Colicchia³

et al. 2006

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops

View full text Add to dashboard Cite

Abstract. The reference company for this paper -a multination organization, Italian branch, which works in the domain of safety-critical systems -evaluated the major tools that the market provides for testing safety-critical software, as not sufficiently featured for her quality improvement goals. Once that we had transformed those goals in detailed technical requirements, and evaluated that it was possible to realize them conveniently in a tool, we passed to analyze, construct, and eventually utilize in field the prototype "Software Test Framework". This tool allows non-intrusive parallel measurements on different hard-soft targets of a distributed system running under one or more Unix standard OS. This paper reports on the characteristics of Software Test Framework, its architecture, and results from a case study. Based on comparison of results with previous tools, we can say that Software Test Framework is leading to a new concept of tool for the domain of safety critical software.

show abstract

“…A monitor is a system able to observing and analyzing behaviors shown by another, in case remote, system (a.k.a. : the "target"), comparing the actual states of the target with expected ones -as produced by the same monitor performing in the role of "oracle" (Weyuker, 1982) -or reporting on system failures -as detected by the same monitor performing in the role of "supervisor" (Simser, 1996) -respectively. In safety-critical applications, the system should be monitored by another safety system to ensure continued correct behavior.…”

Section: Introductionmentioning

confidence: 99%

ADVANCES ON TESTING SAFETY-CRITICAL SOFTWARE - Goal-driven Approach, Prototype-tool and Comparative Evaluation

Pennella¹,

Biagio²,

Pesce³

et al. 2006

Proceedings of the First International Conference on Software and Data Technologies

View full text Add to dashboard Cite

The reference company for this paper -a multination organization, Italian branch, that works in the domain of safety-critical systems -evaluated the major tools, which the market provides for testing safety-critical software, as not sufficiently featured for her quality improvement goals. Consequently, in order to investigate the space of possible solutions, if any, the company's Research Lab. started an academic cooperation, which leaded to share knowledge and eventually to establish a common research team. Once we had transformed those goals in detailed technical requirements, and evaluated that it was possible to realize them conveniently in a tool, we passed to analyze, construct, and eventually utilize in field the prototype "Software Test Framework". This tool allows non-intrusive measurements on different hard-soft targets of a distributed system running under one or more Unix standard OS, e.g. LynxOS, AIX, Solaris, and Linux. The tool acquires and graphically displays the real-time flow of data, so enabling users to verify and validate software products, diagnose and resolve emerging performance problems quickly, and enact regression testing. This paper reports on the characteristics of Software Test Framework, its architecture, and results from a case study. Based on comparison of results with previous tools, we can say that Software Test Framework is leading to a new concept of tool for the domain of safety-critical software.

show abstract

Supervision of real-time software systems using optimistic path prediction and rollbacks

Cited by 6 publications

References 9 publications

Requirements-based monitors for real-time systems

Requirements-based monitors for real-time systems

Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool

ADVANCES ON TESTING SAFETY-CRITICAL SOFTWARE - Goal-driven Approach, Prototype-tool and Comparative Evaluation

Contact Info

Product

Resources

About