Title :
Guest Editor´s Introduction: Rapid System Prototyping
Author :
Drusinsky, Doron ; Man-Tak Shing ; Demir, Kadir Alpaslan
Author_Institution :
Naval Postgraduate Sch., Monterey
fDate :
5/1/2007 12:00:00 AM
Abstract :
Integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a system´s robustness by providing runtime monitoring and recovery from assertion failures.
Keywords :
formal specification; software prototyping; embedded assertion statecharts; formal assertions; rapid system prototyping; runtime monitoring; system robustness; Art; Conferences; Hardware; Multiprocessing systems; Operating systems; Prototypes; Robustness; Software libraries; System testing; rapid system prototyping;
Journal_Title :
Distributed Systems Online, IEEE
DOI :
10.1109/MDSO.2007.26
