Safety analysis of computer resource management software

  title={Safety analysis of computer resource management software},
  author={Philippa Mary Conmy},


Publications citing this paper.
Showing 1-10 of 10 extracted citations

Assuring Safety for Component Based Software Engineering

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering • 2014
View 2 Excerpts

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward

2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing • 2014
View 1 Excerpt

Nuanced term-matching to assist in compositional safety assurance

2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) • 2013
View 2 Excerpts

Runtime Certification

RV • 2008
View 1 Excerpt

Just-in-Time Certification

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) • 2007
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 77 references

Developing an IMA Kernel Based on L4 for Avionic Systems

M. Bennett, N. Audsley
View 8 Excerpts
Highly Influenced

Software engineering for safety: a roadmap

ICSE - Future of SE Track • 2000
View 7 Excerpts
Highly Influenced

ASAAC Phase II programme progress on the definition of standards for the core processing architecture of future military aircraft

Microprocessors and Microsystems - Embedded Hardware Design • 1999
View 4 Excerpts
Highly Influenced

Making Components Contract Aware

View 7 Excerpts
Highly Influenced

Nuclear Regulatory Commission, Fault Tree Handbook. 1981: U.S. Government Printing Office

U S.
View 9 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…