Abstract
Compliance with safety standards can greatly increase the development cost and time of critical systems. Major problems arise when evolutions to a system entail reconstruction of the body of safety evidence. When changes occur in the development or certification processes, identification of the new evidence to provide, the evidence that is no longer adequate, or the evidence that can be reused poses some challenges. Therefore, practitioners need support to identify how a chain of evidence evolves as a result of the changes. Otherwise, execution of the above activities can be very costly, and it can even result in abandonment of certification efforts. This paper outlines a solution to deal with these challenges. The solution is based on the use of model-driven engineering technology, which has already been applied for safety certification but not from an evolutionary chain of evidence-based perspective. The paper also sets the background for developing the solution, describes real situations in which the solution can help industry, and discusses possible challenges for developing it. The solution will be developed as part of OPENCOSS, a research project on cross-domain evolutionary certification.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Altreonic: Survey on Certification Issues, http://www.altreonic.com/content/survey-certification-issues (accessed May 15, 2012)
Altreonic: Trustworthy Systems Engineering with GoedelWorks, http://www.altreonic.com/category/products/goedelworks (accessed May 15, 2012)
Atego Workbench, http://www.atego.com/products/atego-workbench/ (accessed May 15, 2012)
Bohner, S.A., Arnold, R.S.: Software Change Impact Analysis. IEEE Press (1996)
Briand, L., Labiche, Y., Yue, T.: Automated traceability analysis for UML model refinements. Information & Software Technology 51(2), 512–527 (2009)
DECOS project, http://www.decos.at (accessed May 15, 2012)
Ericson, C.A.: Concise Encyclopedia of System Safety. Wiley (2011)
EVOLVE project, http://www.evolve-itea.org (accessed May 15, 2012)
Falessi, D., et al.: Planning for Safety Evidence Collection. IEEE Software 29(3), 64–70 (2012)
Fenn, J., et al.: The Who, Where, How, Why and When of Modular and Incremental Certification. In: 2nd IET International Conference on System Safety (2007)
FormalSafe project, http://www.dfki.de/web/research/projects/base_view?pid=456 (accessed May 15, 2012)
Habli, I.M.: Model-based assurance of safety-critical product lines. PhD thesis, University of York (2009)
Herrmann, D.S.: Software Safety and Reliability. IEEE Press (1999)
iFEST project, http://www.artemis-ifest.eu (accessed May 15, 2012)
Jackson, D., Thomas, M., Millet, L.I.: Software for Dependable Systems. NAP (2007)
Johansson, M., Nevalainen, R.: Additional requirements for process assessment in safety–critical software and systems domain. J. Softw. Maint. Evol. (2010), doi: 10.1002/smr.499
Kelly, T.P.: Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled? In: Improvements in Systems Safety. Springer (2008)
Kornecki, A., Zalewski, J.: Certification of software for real-time safety-critical systems: state of the art. Innovations in Systems and Software Engineering 5(2), 149–161 (2009)
Medini Analyze, http://www.ikv.de/index.php/en/products/functional-safety (accessed May 15, 2012)
ModelME! project, http://modelme.simula.no/ (accessed May 15, 2012)
Nejati, S., et al.: A SysML-Based Approach to Traceability Management and Design Slicing of Safety Certification. Info. & Software Technology (accepted paper, 2012)
OMG: Argumentation Metamodel (ARM) 1.0 – Beta 1 (2010), http://www.omg.org/spec/ARM/ (accessed May 15, 2012)
OMG: Object Constraint Language (OCL) Version 2.3.1 (2006), http://www.omg.org/spec/OCL/2.3.1/ (accessed May 15, 2012)
OMG: Software Assurance Evidence Metamodel (SAEM) 1.0 – Beta 1 (2010), http://www.omg.org/spec/SAEM/ (accessed May 15, 2012)
OPENCOSS: Deliverable D6.1 - Baseline for the evidence management needs of the OPENCOSS platform (2012)
OPENCOSS, http://www.opencoss-project.eu/ (accessed May 15, 2012)
Open-DO initiative, http://www.open-do.org/ (accessed May 15, 2012)
Oxford Dictionaries: evidence, http://oxforddictionaries.com/definition/evidence?q=evidence (accessed May 15, 2012)
Panesar-Walawege, R.K., et al.: Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. In: ICST 2010 (2010)
Panesar-Walawege, R.K., Skyberg Knutsen, T., Sabetzadeh, M., Briand, L.: CRESCO: Construction of Evidence Repositories for Managing Standards Compliance. In: De Troyer, O., Bauzer Medeiros, C., Billen, R., Hallot, P., Simitsis, A., Van Mingroot, H. (eds.) ER Workshops 2011. LNCS, vol. 6999, pp. 338–342. Springer, Heidelberg (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)
Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. In: WoSoCER 2011 (2011)
Parasoft Concerto, http://www.parasoft.com/jsp/products/concerto/home.jsp (accessed May 15, 2012)
Programatica project, http://programatica.cs.pdx.edu/index.html (accessed May 15, 2012)
Sabetzadeh, M., et al.: MODUS: A goal-based approach for quantitative assessment of systems, http://modelme.simula.no/assets/modus.pdf (accessed May 15, 2012)
SafeCer project, http://www.safecer.eu/ (accessed May 15, 2012)
Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)
Sherriff, M., Williams, L.: DevCOP. In: ISSRE 2006 (2006)
Sommerville, I.: Software Engineering, 7th edn. Pearson (2004)
Squair, M.J.: Issues in the Application of Software Safety Standards. In: SCS 2005 (2005)
The Qualifying Machine: In: [27]
Zoughbi, G., Briand, L., Labiche, Y.: Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. SoSyM 10(3), 337–367 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de la Vara, J.L. et al. (2012). Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33675-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-33675-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33674-4
Online ISBN: 978-3-642-33675-1
eBook Packages: Computer ScienceComputer Science (R0)