Rapid System Prototyping, IEEE International Workshop on (2006)
June 14, 2006 to June 16, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RSP.2006.12
Doron Drusinsky , Naval Postgraduate School, USA
Man-Tak Shing , Naval Postgraduate School, USA
Kadir Alpaslan Demir , Naval Postgraduate School, USA
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process for the development and verification of statechart prototype models augmented with statechart assertions using the StateRover tool. The novel aspects of the proposed process include (1) writing formal specifications using statechart assertions, (2) JUnit-based simulation and validation of statechart assertions, (3) JUnit-based simulation and testing of statechart prototype models augmented with statechart assertions, (4) automatic, JUnitbased, white-box testing of statechart prototypes augmented with statechart assertions, and (5) spiral adjustment of model and specification using the test results. We demonstrate the proposed process with a prototype of a safety-critical computer assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump.
K. A. Demir, M. Shing and D. Drusinsky, "Creation and Validation of Embedded Assertion Statecharts," Proceedings Seventeenth IEEE International Workshop on Rapid System Prototyping(RSP), Chania, Crete, 2006, pp. 17-23.