Complete Component-Wise Software Certification for Safety-Critical Embedded Devices

Safety certification became an increasingly important issue as well as a feature of industrial software development. The certification process for safe software causes enormous efforts and has to be repeatedly executed for any changes in the systems. Modular and component-based software architectures are very common, but cannot use their advantages in the certification process. This paper presents the results of an industrial software development and certification project in the railway domain and enhances a previous work to change components without a re-certification by additional requirements, which have to be met, to allow for changes in the basic framework of the system as well, again, without re-certification.