Paper Info
Title
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
Abstract
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres an erten- szble szniulatzon enrwonment wzth support for users to generate events, customzze dzsplays and monz- tor cwnt traces Thzs paper descrzbes MTSzm an customzzable szmulation platform for the Modechart Toolset (MT) MTSzm prozlzdes support for "pluggzng zn" user-defined vzeu'ers as well as user partactpataon in the generatzon of szmiilatzoiis by allowtng users to znject events znto fhe erecutton trace Moreover, MT- Szm provzdes rnonitorzng and assertion checkzng of ea- ecutzon traces and the zntiocatzon of user-speczfied han- dlers upon assertzon vzolatzon Thzs paper also zntro- duces a MTSzm component called WebSzm. a suzte of simulation iools for MT. nnd nn applzcntzon-speczfic component of MTSzm, whzch dzsplays fhe cockpzt of an F-I8 azrcraft and models zts bomb release functzon
Year
DOI
Venue
1997
10.1109/HASE.1997.648042
HASE
Keywords
Field
DocType
software environment,real-time specifications,custom simulation,displays,formal specifications,computer simulation,debugging,real time systems,formal specification,computational modeling,system testing
Suite,Software engineering,Computer science,System testing,Assertion,Formal specification,Real-time computing,Software,Cockpit,Extensibility,Operating system,Debugging
Conference
ISBN
Citations 
PageRank 
0-8186-7971-9
0
0.34
References 
Authors
5
5
Name
Order
Citations
PageRank
Monica Brockmeyer19111.95
Farnam Jahanian22877400.51
Elly Winner3515.96
Constance L. Heitmeyer4898151.71
Bruce G. Labaw563247.44