Abstract
During software procurement, a development process is usually present whether it is well defined or not. If the goal of the software is to be used in safety-critical systems, compliance to a standard (such as the IEC 61508) might be required. In order to map the current state of safety compliant development, a survey within the RECOMP project was conducted, showing a need for promoting the use of formal process descriptions. To meet this need, the software related parts of the IEC 61508 standard, have been regarded as a process and modeled using the SPEM meta-model. Having the standard available in this format, facilitates reading, communicating and customizing the standard. Moreover, it eases the adaption of any process that is modeled in SPEM to the IEC 61508 standard.
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.
References
Holmström, P.: Ideas for the next generation process authoring tool (2009)
Kellner, M.I.: Representation formalisms for software process modelling. SIGSOFT Softw. Eng. Notes 14(4), 93–96 (1988)
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 (2012)
Object Management Group, Software & systems process engineering meta-model specification, v.2, http://www.omg.org/spec/SPEM/2.0/
The Eclipse Foundation, Eclipse process framework project, http://eclipse.org/epf/
Borg, A., Patel, M., Sandahl, K.: Extending the openup/basic requirements discipline to specify capacity requirements. In: 15th IEEE International Requirements Engineering Conference, RE 2007, pp. 328–333. IEEE (2007)
Knight, J.: Safety critical systems: challenges and directions. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, pp. 547–550 (May 2002)
Medoff, M.D., Faller, R.I.: Functional Safety – An IEC 61508 SIL 3 Compliant Development Process (2010)
Squair, M.J.: Issues in the application of software safety standards. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, SCS 2005, vol. 55, pp. 13–26. Australian Computer Society, Inc. (2006)
IEC, Functional safety of electrical/electronic/programmable electronic safety-related systems (IEC 61508), 2nd edn. (2010)
Gall, H.: Functional safety iec 61508/iec 61511 – the impact to certification and the user. In: IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2008, March 31-April 4, pp. 1027–1031 (2008)
Panesar-Walawege, R., Sabetzadeh, M., Briand, L., Coq, T.: Characterizing the chain of evidence for software safety cases: A conceptual model based on the iec 61508 standard. In: 2010 Third International Conference on Software Testing, Verification and Validation (ICST), pp. 335–344. IEEE (2010)
Chung, P., Cheung, L., Machin, C.: Compliance flow–managing the compliance of dynamic and complex processes. Knowledge-Based Systems 21(4), 332–354 (2008)
Vuori, M., Virtanen, H., Koskinen, J.: Safety process patterns in the context of iec 61508-3
ARTEMIS JU RECOMP – Reduced Certification Costs Using Trusted Multi-core Platforms, http://atc.ugr.es/recomp/
Haumer, P.: Eclipse epf overview – part 1, http://eclipse.org/epf/general/EPFComposerOverviewPart1.pdf
Haumer, P.: Eclipse epf overview – part 2, http://eclipse.org/epf/general/EPFComposerOverviewPart2.pdf .
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
Porres, I., Heidenberg, J., Weijola, M., Nordman, K., Truscan, D. (2013). Authoring IEC 61508 Based Software Development Process Models. In: Heidrich, J., Oivo, M., Jedlitschka, A., Baldassarre, M.T. (eds) Product-Focused Software Process Improvement. PROFES 2013. Lecture Notes in Computer Science, vol 7983. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39259-7_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-39259-7_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39258-0
Online ISBN: 978-3-642-39259-7
eBook Packages: Computer ScienceComputer Science (R0)