Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2011)
Boca Raton, Florida USA
Nov. 10, 2011 to Nov. 12, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2011.23
Safety-critical embedded systems often need to undergo a rigorous certification process to ensure that the safety risks associated with the use of the systems are adequately mitigated. Interfaces between software and hardware components (SW/HW interfaces) play a fundamental role in these systems by linking the systems' control software to either the physical hardware components or to a hardware abstraction layer. Subsequently, safety certification of embedded systems necessarily has to cover the SW/HW interfaces used in these systems. In this paper, we describe a Model Driven Engineering (MDE) approach based on the SysML language, targeted at facilitating the certification of SW/HW interfaces in embedded systems. Our work draws on our experience with maritime and energy systems, but the work should also apply to a broader set of domains, e.g., the automotive sector, where similar design principles are used for (SW/HW) interface design. Our approach leverages our previous work on the development of SysML-based modeling and analysis techniques for safety-critical systems. Specifically, we tailor the methodology developed in our previous work to the development of safety-critical interfaces, and provide step-by-step and practical guidelines aimed at providing the evidence necessary for arguing that the safety-related requirements of an interface are properly addressed by its design. We describe an application of our proposed guidelines to a representative safety-critical interface in the maritime and energy domain.
Safety-Critical Systems, Software-Hardware Interfaces, Safety Certification, Model Driven Engineering, SysML, Traceability
Lionel Briand, Shiva Nejati, Anne-Heidi Evensen Mills, Mehrdad Sabetzadeh, "Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience", Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), vol. 00, no. , pp. 193-201, 2011, doi:10.1109/HASE.2011.23