Proceedings of the first IEEE International Workshop on Safety of Systems

Download
Author
Michael, James Bret
Hauraz, John
Pace, Zachary
Date
2007-07-19Metadata
Show full item recordAbstract
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.
Rights
This 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 Number
NPS-CS-07-006Related items
Showing items related by title, author, creator and subject.
-
Documentation Driven Agile Development for Systems of Embedded Systems
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 ... -
Environment Behavior Models for Scenario Generation and Testing Automation
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 ... -
Execution-Based Model Checking of Interrupt-Based Systems
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. ...