Abstract
As more and more complex software is deployed in safety-critical embedded systems, the challenge of assessing the safety of those systems according to the relevant standards is becoming greater. Due to the extensive manual work required, validating compliance of these systems with safety standards is an expensive and time-consuming activity; furthermore, as products evolve, re-assessment may become necessary. Therefore, obtaining reusable assurance data for safety assessment or re-assessment is very desirable. In this paper, we propose a model-based approach for assuring compliance with safety standards to facilitate reuse in the assessment, qualification and certification processes, using the automotive safety standard ISO 26262 as a specific example. Three different modeling techniques are described: A structure model is introduced to describe the overall structure of the standard; a rule-based technique is used for extracting the conceptual model from it; and a mapping to the software and systems process engineering metamodel provides a description of its processes. Finally, validation in the context of a concrete use case in the FP7 project OPENCOSS shows that the resulting models of our approach resemble the industrial models, but that they, inevitably, require the fine-tuning of domain experts.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Eclipse Process Framework Project, http://www.eclipse.org/epf/
DO 178B: Software Considerations in Airborne Systems and Equipment Certification (1992)
IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems (2010)
OPENCOSS: Deliverable D2.2 - High-level requirements, report (2012), http://www.opencoss-project.eu/node/7
OPENCOSS: Deliverable D4.1 - Baseline for the common certification language (2012), http://www.opencoss-project.eu/node/7
Adedjouma, M.: Requirements Engineering Process According to Automotive Standards in a Model-Driven Framework. Ph.D. thesis, University of Paris-Sud (2012)
Armengaud, E., Bourrouilh, Q., Griessnig, G., Martin, H., Reichenpfader, P.: Using the CESAR Safety Framework for Functional Safety Management in the Context of ISO 26262, Embedded Real Time Software and Systems (2012)
Bārzdiņš, J., Bārzdiņš, G., Čerāns, K., Liepiņš, R., Sproģis, A.: UML style graphical notation and editor for OWL 2. In: Forbrig, P., Günther, H. (eds.) BIR 2010. LNBIP, vol. 64, pp. 102–114. Springer, Heidelberg (2010)
Chowdhury, G.G.: Natural Language Processing. Annual Review of Information Science and Technology 37(1), 51–89 (2003)
de la Vara, J.L., Nair, S., Verhulst, E., Studzizba, J., Pepek, P., Lambourg, J., Sabetzadeh, M.: Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 64–78. Springer, Heidelberg (2012)
Espinoza, H., Ruiz, A., Sabetzadeh, M., Panaroni, P.: Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. In: 2011 First International Workshop on Software Certification (WoSoCER), Hiroshima, Japan (2011)
Gerlach, M., Hilbrich, R., Weißleder, S.: Can Cars Fly? From Avionics to Automotive: Comparability of Domain Specifc Safety Standards. In: Proceedings of the Embedded World Conference (March 2011)
Jackson, D., Thomas, M., Millet, L.: Software for Dependable Systems: Sufficient Evidence? The National Academies Press, Washington, D.C. (2007)
Krammer, M., Armengaud, E., Bourrouilh, Q.: Method Library Framework for Safety Standard Compliant Process Tailoring. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 302–305 (2011)
Langheim, J., Guegan, B., Maillet-Contoz, L., Maaziz, K., Zeppa, G., Phillipot, F., Boutin, S., Aboutaleb, I., David, P.: System Architecture, Tools and Modelling for Safety Critical Automotive Applications - The R&D Project SASHA. In: ERTS2 2010, Embedded Real Time Software & Systems, Toulouse, France, pp. 1–8 (2010)
OMG: Software and Systems Process Engineering Metamodel Specification (April 2008), http://www.omg.org/spec/SPEM/2.0/
Palin, R., Ward, D., Habli, I., Rivett, R.: ISO 26262 Safety Cases: Compliance and Assurance. In: Proceedings of the 6th IET International Conference on System Safety (2011)
Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 362–378. Springer, Heidelberg (2011)
Ruiz, A., Habli, I., Espinoza, H.: Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP Workshops 2012. LNCS, vol. 7613, pp. 22–35. Springer, Heidelberg (2012)
Zoughbi, G., Briand, L., Labiche, Y.: Modeling Safety and Airworthiness (RTCA DO-178B) Information: Conceptual Model and UML Profile. Softw. Syst. Model. 10(3), 337–367 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Luo, Y., van den Brand, M., Engelen, L., Favaro, J., Klabbers, M., Sartori, G. (2013). Extracting Models from ISO 26262 for Reusable Safety Assurance. In: Favaro, J., Morisio, M. (eds) Safe and Secure Software Reuse. ICSR 2013. Lecture Notes in Computer Science, vol 7925. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38977-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-38977-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38976-4
Online ISBN: 978-3-642-38977-1
eBook Packages: Computer ScienceComputer Science (R0)