Show simple item record

dc.contributor.authorAuguston, Mikhail
dc.contributor.authorMichael, James Bret
dc.contributor.authorShing, Man-Tak
dc.date.accessioned2018-08-09T21:09:53Z
dc.date.available2018-08-09T21:09:53Z
dc.date.issued2005
dc.identifier.citationM. Auguston, J. B. Michael and M. -. Shing, "Test automation and safety assessment in rapid systems prototyping," 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Montreal, Que., 2005, pp. 188-194.
dc.identifier.urihttp://hdl.handle.net/10945/59428
dc.descriptionThe article of record as published may be found at http://dx.doi.org/10.1109/RSP.2005.49
dc.description.abstractThis 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.en_US
dc.description.sponsorshipU.S. Missile Defense Agency.en_US
dc.format.extent7 p.
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
dc.titleTest Automation and Safety Assessment in Rapid Systems Prototypingen_US
dc.typeReport
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science (CS)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record