Abstract
According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their vehicles are adequately safe for their intended applications. MBASafe is a recently proposed and potentially innovative design and verification process. In the presence of compelling arguments concerning its adequacy as process evidence, MBASafe could support the safety claims within the required safety cases. In this paper, we contribute to partially justify the adequacy of MBASafe to act as process evidence. To do that, we first manually check if MBASafe includes EN 50128-compliant process elements, then we model MBASafe in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the MBASafe process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a twofold contribution: we further validate MDSafeCer in the rail domain and we strengthen MBASafe.
The original version of this chapter was revised. An erratum to this chapter can be found at 10.1007/978-3-319-38980-6_34
An erratum to this chapter can be found at http://dx.doi.org/10.1007/978-3-319-38980-6_34
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
References
Gómez-Martínez, E., Rodríguez, R.J., Etxeberria Elorza, L., Illarramendi Rezabal, M., Benac Earle, C.: Model-based verification of safety contracts. In: Canal, C., Idani, A. (eds.) SEFM 2014 Workshops. LNCS, vol. 8938, pp. 101–115. Springer, Heidelberg (2015)
Object Management Group: Software & Systems Process Engineering Meta-Model (SPEM), v2.0. Full Specification formal/08-04-01 (2008)
Gallina, B.: A model-driven safety certification method for process compliance. In: 2nd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), pp. 204–209, November 2014
Gallina, B., Provenzano, L.: Deriving reusable process-based arguments from process models in the context of railway safety standards. AUJ 36(4), 237–241 (2015)
Interim Defence Standard 00–56 Part 1 - Issue 5, in, UK MOD (2014)
GSN: Community Standard Version 1 (2011)
MODSafe Modular Urban Transport Safety and Security Analysis: Survey of current safety lifecycle approaches, DEL D6.1 TRIT WP6 100531 V1.0. Technical report (2010)
BS EN50126: Railway applications: The specification and demonstration of Reliability. Availability, Maintainability and Safety (RAMS) (1999)
BS EN50129: Railway applications Communication, signalling and processing systems Safety related electronic systems for signalling (2003)
BS EN50128: Railway applications - Communication, signalling and processing systems Software for railway control and protection systems (2011)
Söderberg, A., Johansson, R.: Safety contract based design of software components. In: IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 365–370 (2013)
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. Wiley, New York (1995)
Gómez-Martínez, E., Merseguer, J.: ArgoSPE: model-based software performance engineering. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 401–410. Springer, Heidelberg (2006)
Liu, T.S., Chiou, S.B.: The application of Petri nets to failure analysis. Reliab. Eng. Syst. Safe. 57(2), 129–142 (1997)
Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)
Gallina, B.: How to increase efficiency with the certification of process compliance. In: The 3rd Scandinavian Conference on SYSTEM & SOFTWARE SAFETY, Stockholm, 24–25 March (2015)
Bender, M., Maibaum, T., Lawford, M., Wassyng, A.: Positioning verification in the context of software/system certification. In: 11th International Workshop on Automated Verification of Critical Systems (AVOCS), Newcastle upon Tyne (UK), 12–15 Sept (2013)
Nair, S., Walkinshaw, N., Kelly, T., de la Vara, J.L.: An evidential reasoning approach for assessing confidence in safety evidence. In: IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 541–552, November 2015
ARTEMIS-JU-269265: SafeCer-Safety Certification of Software-Intensive Systems with Reusable Components. http://www.safecer.eu/
Sljivo, I., Gallina, B., Carlson, J., Hansson, H.: Generation of safety case argument-fragments from safety contracts. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 170–185. Springer, Heidelberg (2014)
SYNOPSIS-SSF-RIT10-0070: SYNOPSIS project-safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research
Gen&ReuseSafetyCases-SSF. http://www.es.mdh.se/projects/393-genreusesafetycases
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Gallina, B., Gómez-Martínez, E., Earle, C.B. (2016). Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128. In: Clarke, P., O'Connor, R., Rout, T., Dorling, A. (eds) Software Process Improvement and Capability Determination. SPICE 2016. Communications in Computer and Information Science, vol 609. Springer, Cham. https://doi.org/10.1007/978-3-319-38980-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-38980-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-38979-0
Online ISBN: 978-3-319-38980-6
eBook Packages: Computer ScienceComputer Science (R0)