On the provision of safety assurance via safety kernels for modern weapon systems
Loading...
Authors
Michael, J. Bret
Nerode, Anil
Wijesekera, Duminda
Subjects
System safety
Safety kernel
Hybrid automata
Verification
Safety kernel
Hybrid automata
Verification
Advisors
Date of Issue
2005-11
Date
Publisher
IEEE
Language
Abstract
In this paper we discuss some of the challenges and approaches for providing safety assurance for modern weapon systems via software-based safety kernels. We argue that software-centric approaches for designing and verifying safety kernels are flawed. We claim that the design and verification of safety kernels for complex event-driven real-time systems is a matter of physics and dynamical system analysis of system design. We describe an approach for rapidly prototyping safety kernels (and plants and controllers) using an agent-based safety-kernel architecture. The approach utilizes multiagent modeling and hybrid automata.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funding
Format
4 p.
Citation
J.B. Michael, A. Nerode, D. Wijesekera, "On the provision of safety assurance via safety kernels for modern weapon systems," Proceedings of the Workshop on Software Assessment 5th, Chicago, Illinois, November 8, 2005, 4 p.
Distribution Statement
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.