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
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;
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
DOI :
10.1109/CMPASS.1995.521889
