DocumentCode
3127116
Title
On the enforcement of software safety policies
Author
Wika, Kevin G. ; Knight, John C.
Author_Institution
Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
fYear
1995
fDate
25-29 Jun 1995
Firstpage
83
Lastpage
93
Abstract
Software in safety-critical systems must meet specified safety requirements or safety policies. We are investigating a safety kernel architecture for enforcement of these safety policies. This concept is analogous to the security kernel architecture that has been used for enforcing information access policies. This paper presents the results of analysis performed to define the policy enforcement role of the safety kernel. In addition, requirements for dependable policy enforcement by the safety kernel are examined
Keywords
safety-critical software; dependable policy enforcement; safety policies; safety requirements; safety-critical systems; software safety policies; Aerospace safety; Application software; Computer architecture; Hardware; Information security; Kernel; Real time systems; Software safety; Software systems; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on
Conference_Location
Gaithersburg, MD
Print_ISBN
0-7803-2680-2
Type
conf
DOI
10.1109/CMPASS.1995.521889
Filename
521889
Link To Document