Test-time, Run-time, and Simulation-time Temporal Assertions in RSPCreation and Validation of Embedded Assertion Statecharts
MetadataShow full item record
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of formal specification (temporal) assertions used during system prototyping. The classification introduces two new classes of assertions in addition to the well-known class of test-time assertions: (i) assertions used only during simulation, and (ii) deployable assertions integrated with run-time control flow. Separating the formal specification into three distinct classes allows system designers to de- velop more effective prototypes to evaluate the different system behaviors and constraints. A prototype of a naval torpedo system is used to illustrate the concept.
Proceedings of the 16th International Workshop on Rapid System Prototyping (RSP’05)
Showing items related by title, author, creator and subject.
Applying UML-based Formal Specification, Validation, and Verification to Space Flight Control System and Defense Software Alves, Miriam C. Bergue; Beylin, Konstantin; Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak (Monterey, California. Naval Postgraduate School, 2011-02-01); NPS-CS-11-003This report presents the process and results of a formal computer-aided Specification, Validation and Verification (SV&V) of two mission and safety critical projects: the Brazilian Satellite Launcher flight software, and ...
Drusinsky, Doron; Shing, Man-Tak (2005);Studies have suggested that formal specifications and lightweight formal methods help improve the clarity and precision of the requirements specification. This paper describes a process to augment the current ...
Caffall, Dale Scott (Monterey, California. Naval Postgraduate School, 2005-03);Capturing and realizing the desired system-of-systems behavior in the traditional natural language development documents is a complex issue given that the legacy systems in a system-of-systems exhibit independent behaviors. ...