Security-Informed Safety Case Approach to Analysing MILS Systems

@inproceedings{Netkachova2015SecurityInformedSC,
  title={Security-Informed Safety Case Approach to Analysing MILS Systems},
  author={Kateryna Netkachova and Kevin Mueller and Michael Paulitsch and Robin Bloomfield},
  booktitle={MILS@HiPEAC},
  year={2015}
}
Safety cases are the development foundation for safety-critical systems and are often quite complex to understand depending on the size of the system and operational conditions. The recent advent of security aspects complicates the issues further. This paper describes an approach to analysing safety and security in a structured way and creating security-informed safety cases that provide justification of safety taking into particular consideration the impact of security. The paper includes an… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

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

PikeOS Manual - v3.4

AG SYSGO
2014. • 2014
View 13 Excerpts
Highly Influenced

ARINC 653: Avionics Application Software Standard Interface

Airlines Electronic Engineering Committee
2010. • 2010
View 6 Excerpts
Highly Influenced

Compositional Certification Lecture Notes

R. Delong
Real-Time Embedded Systems Forum, The Open Group (TOG) conference, Toronto, Canada, 2009. • 2009
View 4 Excerpts
Highly Influenced

DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations

RTCA
2005. • 2005
View 6 Excerpts
Highly Influenced

The Uses of Argument

S. Toulmin
Cambridge University Press, 1958. • 1958
View 4 Excerpts
Highly Influenced

ED-79A/ARP4754A: Guidelines for Development of Civil Aircraft and Systems

EUROCAERCTA
2010. • 2010
View 1 Excerpt
Highly Influenced

ED-135/ARP4761: Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment

EUROCAERTCA
1996. • 1996
View 1 Excerpt
Highly Influenced

D11.1 - Project Requirements: Classification, Cross-domain analysis and High-Level Architecture

E.-M. project
2014. • 2014
View 1 Excerpt

Installing and Using PikeOS

AG SYSGO
2014. • 2014
View 1 Excerpt

Similar Papers

Loading similar papers…