Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
High level failure analysis for Integrated Modular Avionics
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Computer
Architectural Considerations in the Certification of Modular Systems
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
A contract-based approach to designing safe systems
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Safety assurance contracts for integrated modular avionics
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Challenges when using Model Driven Architecture in the development of Safety Critical Software
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Conditional safety certificates in open systems
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Towards an integration of standard component-based safety evaluation techniques with SaveCCM
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Safety-Focused deployment optimization in open integrated architectures
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
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 toolsupported 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.