Proceedings of the first IEEE International Workshop on Safety of Systems
Michael, James Bret
MetadataShow full item record
In March 2007, the Technical Committee on System Safety (TCSS) under the IEEE System Society held its first international workshop on issues relating to safety of systems of national and global significance. The workshop provided an open working forum to contribute to the goal of obtaining a holistic view of system safety for a better understanding of the system safety discipline. Because technical societies contain expertise in various slices of the discipline of system safety, obtaining both the big picture and coordination among the separate initiatives is difficult to achieve in any one specific society. We envision the workshop becoming a unique integrating forum for researchers and practitioners to discuss the practical issues associated with safety of systems.
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.
NPS Report NumberNPS-CS-07-006
Showing items related by title, author, creator and subject.
Luqi; Zhang, Lynn (2003-09);This paper presents the framework of documentation-driven agile development (DDAD) methodology for high confidence systems of embedded systems. DDAD mainly includes two parts: a documentation management system (DMS) and a ...
Auguston, Mikhail; James Bret Michael; Man-Tak Shing (2005);This paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system is defined as a set of events (event trace) with two basic ...
Drusinsky, Doron; Havelund, Klaus (2003-01);Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. ...