Naval Postgraduate School
Proceedings of the first IEEE International Workshop on Safety of Systems
NPS-CS-07-006.pdf (9.744Mb)Abstract
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.
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
(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 ... -
Environment Behavior Models for Scenario Generation and Testing Automation
(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
(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. ...
