Test Automation and Safety Assessment in Rapid Systems Prototyping
Michael, James Bret
MetadataShow full item record
This paper addresses the need for automatic generation of executable environment models to facilitate the testing of real-time reactive systems under development (SUD) in rapid system prototyping. We present an approach that allows users to model the environment in which the SUD will operate in the terms of attributed event grammar (AEG). The AEG provides a uniform approach for automatically generating, executing, and analyzing tests. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the effectiveness of the proposed approach with using as a case study a prototype of the safety-critical computer-assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump.
The article of record as published may be found at http://dx.doi.org/10.1109/RSP.2005.49
Showing items related by title, author, creator and subject.
Bang, H.; Agrawal, B.N. (1994);A new approach for spacecraft maneuver based upon constraint dynamics and tracking control laws is presented in this paper. For high precision pointing requirement on spacecraft maneuver, a desired trajectory is prescribed ...
Alftimat, Abdalkhalq Ma'ruf. (Monterey, California. Naval Postgraduate School, 2010-12);There is no doubt that the 9/11 attacks constituted a new terrorism phenomena in terms of sophistication and scale of mayhem. U.S. policy makers had to consider at least three approaches in response to these attacks: the ...
Development and Extension of a Deterministic System of Systems Performance Prediction Methodology for an Acknowledged System of Systems Volkert, Richard; Stracener, Jerrell; Yu, Junfang; Jackson, Carly (2012-04-30); NPS-AM-12-C9P02R02-044This paper addresses the need for predicting performance in a system of systems (SoS) during incremental development and for dealing with the inherent variability associated with predicting performance. Historically, senior ...