Synthesis of Monitors for Real-Time Analysis of Reactive Systems
MetadataShow full item record
In model-driven development of reactive systems, statecharts are widely used for formal description of their behavior, providing a sound basis for verification, testing and code generation. The paper presents an approach for dynamic analysis of reactive systems via run-time monitoring of code generated from statechart-based models. The core of the approach is automatic creation of monitoring statecharts from formulas that specify system's behavioral properties (including real-time constraints) in a proposed assertion language. Such monitors are then translated into code together with the system model, and executed concurrently with the system code. The approach allows for a realistic analysis of reactive systems (and in particular of their real-time aspects), as monitoring is supported in system's actual operating environment. This especially relates to design-oriented models that include mapping of abstract model elements into those of the underlying operating system. This way, the natural restrictions inherent to simulation and verification are overcome.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
Auguston, Mikhail; Trakhenbrot, Mark (Second International Workshop on Dynamic Analysis (WODA 2004), Edinburgh, Scotland 25 May 2004, 2004-05-25);In model-based development of reactive systems, statecharts are widely used for formal design of system behavior, and provide a sound basis for analysis and verification tools, as well as for code generation from system ...
Drusinsky, Doron; Shing, Man-Tak (2003);Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring however, is limited to observing sequences of ...
Adler, Jameson R.; Ahart, Jennifer L. (Monterey, California. Naval Postgraduate School, 2007); NPS-AM-07-049The purpose of this thesis is to estimate the potential performance improvement in sustaining engineering (SE) when an Open Architecture (OA) approach to system development is used. Its basis is that in Integrated Warfare ...