TY - GEN
T1 - Vertical safety interfaces - Improving the efficiency of modular certification
AU - Zimmer, Bastian
AU - Bürklen, Susanne
AU - Knoop, Michael
AU - Höfflinger, Jens
AU - Trapp, Mario
PY - 2011
Y1 - 2011
N2 - Modular certification is a technique for transferring the modularity of an embedded system's architecture to the traditionally monolithic craft of safety engineering. Particularly when applying integrated architectures like AUTOSAR or IMA, modular certification allows the construction of modular safety cases, which ensures the flexible handling of platforms and applications. However, the task of integrating these safety cases is still a manual and expensive endeavor, lowering the intended flexibility of an integrated architecture. We propose a tool-supported semi-automatic integration method that preserves the architecture's flexibility and helps to lower the integration costs. Our method is based on a language capable of specifying the conditions for a valid integration of a platform and of an application using a contract-based approach to model safety case interfaces. This paper presents the language in detail.
AB - Modular certification is a technique for transferring the modularity of an embedded system's architecture to the traditionally monolithic craft of safety engineering. Particularly when applying integrated architectures like AUTOSAR or IMA, modular certification allows the construction of modular safety cases, which ensures the flexible handling of platforms and applications. However, the task of integrating these safety cases is still a manual and expensive endeavor, lowering the intended flexibility of an integrated architecture. We propose a tool-supported semi-automatic integration method that preserves the architecture's flexibility and helps to lower the integration costs. Our method is based on a language capable of specifying the conditions for a valid integration of a platform and of an application using a contract-based approach to model safety case interfaces. This paper presents the language in detail.
UR - http://www.scopus.com/inward/record.url?scp=80053023434&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24270-0_3
DO - 10.1007/978-3-642-24270-0_3
M3 - Conference contribution
AN - SCOPUS:80053023434
SN - 9783642242694
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 29
EP - 42
BT - Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Proceedings
T2 - 30th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2011
Y2 - 19 September 2011 through 22 September 2011
ER -