M. Brockmeyer, F. Jahanian, C. Heitmeyer, and B. Labaw. An approach to monitoring and assertion-checking of realtime specifications. In Proceedings of the 4th IEEE Workshop in Parallel and Distributed Real-time Systems, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....or too slow to run desktop applications [2, 5] Support for non interactive debugging of real time programs may be provided by logging execution to a trace, which is sent over a network to a separate system. The trace may be generated by dedicated hard ware [6, 13, 15] or additional program code [3, 12]. Both approaches are inconvenient, and the amount of monitoring is limited. Furthermore, it is inflexible, as the receiving system may not query for additional data. The R2D2 debugger [14] is based on monitoring of software generated traces. It has been extended with a low priority task in the ....

Monica Brockmeyer, Farnam Jahanian, Con- stance Heitmeyer, and Bruce Labaw. An approach to monitoring and assertion-checking of real time specifications in Modechart. In Proceedings of the Second IEEE Real-Time Technology and Applications Symposium, Boston, USA, June 1996. IEEE Computer Society.

....provided by inserting trace generation code. The resulting trace is sent over a network to a separate system. This method is intrusive and has a performance impact. Hence, the amount of monitoring is limited. Furthermore, it is inflexible, as the receiving system may not query for additional data [3, 18]. The intrusion issue may be avoided using dedicated hardware for bus monitoring. However, it is generally inconvenient to require extra hardware. Both the hardware and software monitoring approaches put a great performance demand on the receiving system due to high volumes of generated data. ....

M. Brockmeyer, F. Jahanian, C. Heitmeyer, and B. Labaw. An approach to monitoring and assertion-checking of real time specifications in Modechart. In Proceedings of the Second IEEE Real-Time Technology and Applications Symposium, Boston, USA, June 1996. IEEE Computer Society.

....is a detection oriented approach: we provide a mechanism for detecting constraint violations that we maintain cannot all be known a priori. The work is important to us though in that it defines a class of constraints specifiable and monitorable by our tool. The Monitoring and Assertion tool (MAC) [4] is a formal analysis technique for monitoring symbolic execution traces generated by the Modechart Toolset [5] It provides a mechanism for evaluating properties of the system on a particular execution trace. Leveson s work in the early 1980 s [21] is early recognition of the need for run time ....

Monica Brockmeyer, Farnam Jahanian, Connie Heitmeyer, and Bruce Labaw. An approach to monitoring and assertion-checking of real time specifications in modechart. In Workshop on Parallel and Distributed Real-Time Systems, April 1996.

....the tool s implementation to a safety critical application for hazard detection. The analyses being performed are not computationally complex, in contrast to those using critical path detection techniques[23] or deriving a set of run time constraints from a formal specification of the system [4]. Overview. The remainder of the paper is organized as follows. In Section 2, we provide a brief overview of the Cnet tool. Section 3 discusses the safety critical application used in our work and defines an example query. Dynamic constraint optimization is discussed in Section 4, followed by ....

....reasons. First, while Cnet analysis is easily distributed, this is not possible with an expert system based approach. Second, the rules which encapsulate domain specific knowledge can require significant setup times and much up front knowledge about potential violations. Brockmeyer and Jahanian [4] incorporate a monitoring and assertion checking tool into the Modechart Toolset (MT) The monitoring and assertion checking is performed on trace data from symbolic executions of real time specifications written in Modechart, the same language used for specification of assertions. Assertions can ....

Monica Brockmeyer, Farnam Jahanian, Connie Heitmeyer, and Bruce Labaw. An approach to monitoring and assertion-checking of real time specifications in Modechart. In Workshop on Parallel and Distributed Real-Time Systems, April 1996.

....First, while Cnet detection and analysis is easily distributed, this is not possible with an expert system based approach. Second, rules in expert systems are typically designed to capture domain specific knowledge which is acquired through significant setup times. Brockmeyer and Jahanian [4] incorporate a monitoring and assertion checking tool into the Modechart Toolset (MT) The monitoring and assertion checking is performed on trace data from symbolic executions of real time specifications written in Modechart, the same language used for specification of assertions. Assertions can ....

Monica Brockmeyer, Farnam Jahanian, Connie Heitmeyer, and Bruce Labaw. An approach to monitoring and assertion-checking of real time specifications in Modechart. In Workshop on Parallel and Distributed Real-Time Systems, April 1996.

....reasons. First, while Cnet detection and analysis is easily distributed, this is not possible with an expert systembased approach. Second, rules in expert systems are typically designed to capture domain specific knowledge which is acquired through significant setup times. Brockmeyer and Jahanian [BJHL96] incorporate a monitoring and assertion checking tool into the Modechart Toolset (MT) The monitoring and assertion checking is performed on trace data from symbolic executions of real time specifications written in Modechart, the same language used for specification of assertions. Assertions can ....

Monica Brockmeyer, Farnam Jahanian, Connie Heitmeyer, and Bruce Labaw. An approach to monitoring and assertion-checking of real time specifications in Modechart. In Workshop on Parallel and Distributed Real-Time Systems, April 1996.

....is a detection oriented approach: we provide a mechanism for detecting constraint violations that we maintain cannot all be known a priori. The work is important to us though in that it defines a class of constraints specifiable and monitorable by our tool. The Monitoring and Assertion tool (MAC) [2] is a formal analysis technique for monitoring symbolic execution traces generated by the Modechart Toolset [3] It provides a mechanism for evaluating properties of the system on a particular execution trace. Leveson s work in the early 1980 s [13] is early recognition of the need for run time ....

Monica Brockmeyer, Farnam Jahanian, Connie Heitmeyer, and Bruce Labaw. An approach to monitoring and assertion-checking of real time specifications in modechart. In Workshop on Parallel and Distributed Real-Time Systems, April 1996.

....that is undergoing integration testing. Other studies have demonstrated that errors in the requirements specification are the most frequent cause of software errors This work is supported in part by the Naval Research Laboratory under Grant N00014 94 P2015. and the most expensive to correct [2]. To effectively detect errors in specifications of practical systems, specification languages and verification techniques must be complemented with software tools that are robust, flexible, and integrated [7] Among the tools effective for testing and debugging specifications early in the design ....

M. Brockmeyer, F. Jahanian, C. Heitmeyer, and B. Labaw. An approach to monitoring and assertionchecking distributed real-time systems. In Workshop on Parallel and Distributed Real-Time Systems, April 1996.

No context found.

M. Brockmeyer, F. Jahanian, C. Heitmeyer, and B. Labaw. An approach to monitoring and assertion-checking of realtime specifications. In Proceedings of the 4th IEEE Workshop in Parallel and Distributed Real-time Systems, 1996.

No context found.

M. Brockmeyer, F. Jahanian, C. Heitmeyer, and B. Labaw. An approach to monitoring and assertion-checking of real-time specifications. In Proceedings of the 4th IEEE Workshop in Parallel and Distributed Real-time Systems, 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC