Figure 8 - uploaded by Constance L. Heitmeyer
Content may be subject to copyright.
Source publication
This paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for "plugging in" user-defined viewers useful in simulating system behavior in different ways, including application-specific ways. MTSim also supports full user participation in the generation of simulations by allowin...
Context in source publication
Context 1
... this case, the interface supports simulation of the bomb release mechanism of a navy attack air- craft, such as the F-18. The F-18 cockpit simulation interface, depicted in Figure 8, is a participant in the simulation process. The user, interacting with the simulation interface, simulates the behavior of the environment, while the MTSim Server simulates the response of the system speciication to the events generated by the environ- ment. ...
Citations
... Typically, such feedback takes the form of scenarios (possible execution paths through the model); when scrutinized by domain experts, the concrete nature of such scenarios makes it is easy for the experts to recognize mistakes (e.g., " it shouldn't have done that at that point... " ). If coupled with some form of animation that renders visible the execution's effects and actions, this becomes particularly effective and palatable [80], [81]. Just as there are many ways to exercise a piece of software during testing, there are many ways to exercise a model during simulation. ...
Systems 1,2 required to exhibit high operational reliability often rely on some form of fault protection to recognize and respond to faults, preventing faults' escalation to catastrophic failures. Integrated System Health Management (ISHM) extends the functionality of fault protection to both scale to more complex systems (and systems of systems), and to maintain capability rather than just avert catastrophe. Forms of ISHM have been utilized to good effect in the maintenance phase of systems' total lifecycles (often referred to as "condition-based mainte-nance"), but less so in a "fault protection" role during actual operations. One of the impediments to such use lies in the challenges of verification, validation and certification of ISHM systems themselves. This paper makes the case that state-of-the-practice V&V and certification techniques will not suffice for emerging forms of ISHM systems; however, a number of maturing software engineering assurance technologies show particular promise for addressing these ISHM V&V challenges.
... Requirements simulation is an extension to requirements visualization by taking timing into account. The SCR (Software Cost Reduction) method [HKLB98,BJHW00] provides tools for capturing software requirements for safety-critical systems. In order to evaluate the correctness of the requirements, simulations can be executed. ...
Achieving an interface with a high degree of interactivity while relieving the operator of information congestion is the primary factor behind the design of the simulator frontend. An examination of the motivations, difficulties, and the actual implementation of a tightly integrated simulator is provided. This paper investigates the problem with respect to a massive data producing simulator, RTTPS, and relates design considerations behind the specialized components required to provide such an interface. Methods found useful for structuring a visualization program using the Java programming language are explained.
The Unified Modeling Language (UML) is commonly used in the
development of non-real-time systems and is gaining popularity in the
object-oriented real-time community as well. Recently, Rational Software
Corporation teamed with ObjecTime, Ltd to develop UML for Real-Time
(UML-RT). UML-RT uses the extensibility mechanisms of UML to incorporate
concepts from ROOM (Real-time Object-Oriented Modeling Language) and
role modeling from ObjecTime. We present a novel method for capturing
the temporal parameters of a real-time application in a UML-RT model so
that schedulability analysis can be performed
An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures, reduction techniques, pioneering tools, and finally some new related issues. We also make a few comments according to our experience with verification tool design and implementation.
