Authoring IEC 61508 Based Software Development Process Models

摘要

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.