Skip to main content

S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes

  • Conference paper

Part of the Studies in Computational Intelligence book series (SCI,volume 496)

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.

Keywords

  • DO-178B
  • safety-oriented processes
  • process modelling
  • SPEM 2.0
  • process exchange
  • XPDL 2.2
  • process reuse

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-00948-3_14
  • Chapter length: 16 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   119.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-00948-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   159.99
Price excludes VAT (USA)
Hardcover Book
USD   249.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. ARTEMIS-JU-269265: SafeCer-Safety Certification of Software-Intensive Systems with Reusable Components (2013), http://www.safecer.eu/

  3. 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)

    Google Scholar 

  4. 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)

    CrossRef  Google Scholar 

  5. Berk, R.H.: An Analysis of Current Guidance in Certification of Airborne Software. Master’s thesis, Massachusetts Institute of Technology, Cambridge, USA (2009)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    CrossRef  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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

    Google Scholar 

  11. Fuggetta, A.: Software Process: A Roadmap. In: Proceedings of the International Conference on Software Engineering, ICSE, New York, USA, pp. 25–34 (2000)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    CrossRef  Google Scholar 

  14. 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)

    CrossRef  Google Scholar 

  15. Health and Safety Executive (HSE): Out of Control. Why Control Systems Go Wrong and How to Prevent Failure (2003)

    Google Scholar 

  16. Jackson, D., Thomas, M., Limmet, L.I.: Software for Dependable Systems: Sufficient Evidence? National Academy Press, Washington DC (2007)

    Google Scholar 

  17. 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)

    CrossRef  Google Scholar 

  18. Object Management Group: Software & Systems Process Engineering Meta-Model (SPEM), v2.0. Full Specification formal/08-04-01 (2008)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. Redmill, F.: Safety Integrity Levels - Theory and Problems. Lessons in System Safety. In: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton (2000)

    Google Scholar 

  22. RTCA Inc.: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178B (EUROCAE ED-12B), Washington DC (1992)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Google Scholar 

  25. Shapiro, R.M.: XPDL 2.2: Incorporating BPMN2.0 Process Modeling Extensions. Extracted from BPM and Workflow Handbook, Future Strategies (2010)

    Google Scholar 

  26. SYNOPSIS-SSF-RIT10-0070: Safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research

    Google Scholar 

  27. Workflow Management Coalition: Workflow Management Coalition Workflow Standard- Process Definition Interface - XML Process Definition Language, WfMC-TC-1025, v2.2 (2012)

    Google Scholar 

  28. 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)

    Google Scholar 

  29. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Barbara Gallina .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)