Abstract
Prescriptive process-based safety standards (e.g. EN 50128, DO-178B, etc.) incorporate best practices to be adopted to develop safety-critical systems or software. In some domains, compliance with the standards is required to get the certificate from the certification authorities. Thus, a well-defined interpretation of the processes to be adopted is essential for certification purposes. Currently, no satisfying means allows process engineers and safety managers to model and exchange safety-oriented processes. To overcome this limitation, this paper proposes S-TunExSPEM, an extension of Software & Systems Process Engineering Meta- Model 2.0 (SPEM 2.0) to allow users to specify safety-oriented processes for the development of safety-critical systems in the context of safety standards according to the required safety level. Moreover, to enable exchange for simulation, monitoring, execution purposes, S-TunExSPEM concepts are mapped onto XML Process Definition Language 2.2 (XPDL 2.2) concepts. Finally, a case-study from the avionics domain illustrates the usage and effectiveness of the proposed extension.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Acuña, S.T., Ferré, X.: Software Process Modelling. In: Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 237–242 (2001)
ARTEMIS-JU-269265: SafeCer-Safety Certification of Software-Intensive Systems with Reusable Components (2013), http://www.safecer.eu/
Bendraou, R., Combemale, B., Cregut, X., Gervais, M.P.: Definition of an Executable SPEM 2.0. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference, APSEC, Nagoya, Japan, pp. 390–397 (2007)
Bendraou, R., Jezequel, J., Gervais, M.P., Blanc, X.: A Comparison of Six UML-Based Languages for Software Process Modeling. IEEE Transactions Software Engineering 36, 662–675 (2010)
Berk, R.H.: An Analysis of Current Guidance in Certification of Airborne Software. Master’s thesis, Massachusetts Institute of Technology, Cambridge, USA (2009)
Bertrand, C., Fuhrman, C.P.: Towards Defining Software Development Processes in DO-178B with Openup. In: Proceedings of 21st IEEE Canadian Conference on Electrical and Computer Engineering, CCECE, Niagara Falls, Ontario, Canada, pp. 851–854 (2008)
Chiam, Y.K., Staples, M., Zhu, L.: Representation of Quality Attribute Techniques Using SPEM and EPF Composer. In: European Software Process Improvement, EuroSPI, Spain. Springer (2009)
Ellner, R., Al-Hilank, S., Drexler, J., Jung, M., Kips, D., Philippsen, M.: eSPEM – A SPEM extension for enactable behavior modeling. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 116–131. Springer, Heidelberg (2010)
Ellner, R., Al-Hilank, S., Jung, M., Kips, D., Philippsen, M.: Integrated Tool Chain for Meta-model-based Process Modelling and Execution. In: Proceedings of First Workshop on Academics Modeling with Eclipse, ACME, Lyngby, Denmark (2012)
Feng, Y., Mingshu, L., Zhigang, W.: SPEM2XPDL-Towards SPEM Model Enactment. In: Software Engineering. Front. Comput. Sci. China, pp. 1–11. Higher Education Press, Bejing (2008); Co-published with Springer-Verlag GmbH
Fuggetta, A.: Software Process: A Roadmap. In: Proceedings of the International Conference on Software Engineering, ICSE, New York, USA, pp. 25–34 (2000)
Gallina, B., Sljivo, I., Jaradat, O.: Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. In: Post-proceedings of the 35th IEEE Software Engineering Workshop, SEW-35, Greece (2012)
Hamid, B., Geisel, J., Ziani, A., Gonzalez, D.: Safety lifecycle development process modeling for embedded systems - example of railway domain. In: Avgeriou, P. (ed.) SERENE 2012. LNCS, vol. 7527, pp. 63–75. Springer, Heidelberg (2012)
Hamid, B., Zhang, Y., Geisel, J., Gonzalez, D.: First Experiment on Modeling Safety LifeCycle Process in Railway Systems. International Journal of Dependable and Trustworthy Information Systems 2, 17–39 (2011)
Health and Safety Executive (HSE): Out of Control. Why Control Systems Go Wrong and How to Prevent Failure (2003)
Jackson, D., Thomas, M., Limmet, L.I.: Software for Dependable Systems: Sufficient Evidence? National Academy Press, Washington DC (2007)
Martínez-Ruiz, T., García, F., Piattini, M., Münch, J.: Modeling Software Process Variability: An Empirical Study. IET Software 5, 172–187 (2011)
Object Management Group: Software & Systems Process Engineering Meta-Model (SPEM), v2.0. Full Specification formal/08-04-01 (2008)
Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience. In: Proceedings of the 1st International Workshop on Software Certification, WoSoCER, Hiroshima, Japan, pp. 7–12 (2011)
Pitchai, K.R.: An Executable Meta-model for Safety-oriented Software and Systems Development Processes within the Avionics Domain in Compliance with RTCA DO-178B. Master’s thesis, Mälardalen University, School of Innovation, Design and Engineering, Sweden (2013)
Redmill, F.: Safety Integrity Levels - Theory and Problems. Lessons in System Safety. In: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton (2000)
RTCA Inc.: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178B (EUROCAE ED-12B), Washington DC (1992)
Ruiz-Rube, I., Dodero, J.M., Palomo-Duarte, M., Ruiz, M., Gawn, D.: Uses and Applications of SPEM Process Models. A Systematic Mapping Study. Journal of Software Maintenance and Evolution: Research and Practice, 1–32 (2012)
Rushby, J.: New Challenges in Certification for Aircraft Software. In: Proceedings of the Ninth ACM International Conference on Embedded Software, EMSOFT, New York, USA, pp. 211–218 (2011)
Shapiro, R.M.: XPDL 2.2: Incorporating BPMN2.0 Process Modeling Extensions. Extracted from BPM and Workflow Handbook, Future Strategies (2010)
SYNOPSIS-SSF-RIT10-0070: Safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research
Workflow Management Coalition: Workflow Management Coalition Workflow Standard- Process Definition Interface - XML Process Definition Language, WfMC-TC-1025, v2.2 (2012)
Zamli, K.Z., Lee, P.A.: Taxonomy of Process Modeling Languages. In: Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, AICCSA, Beirut, Lebanon, pp. 435–437 (2001)
Zhang, Y., Hamid, B., Gouteux, D.: A metamodel for representing safety lifecycle development process. In: Proceedings of the Sixth International Conference on Software Engineering Advances (ICSEA), pp. 550–556. IEEE Computer Society Press, Barcelona (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gallina, B., Pitchai, K.R., Lundqvist, K. (2014). S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. In: Lee, R. (eds) Software Engineering Research, Management and Applications. Studies in Computational Intelligence, vol 496. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00948-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-00948-3_14
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00947-6
Online ISBN: 978-3-319-00948-3
eBook Packages: EngineeringEngineering (R0)