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. © 2013 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Porres, I., Heidenberg, J., Weijola, M., Nordman, K., & Truscan, D. (2013). Authoring IEC 61508 based software development process models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7983 LNCS, pp. 268–282). https://doi.org/10.1007/978-3-642-39259-7_22
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
