This paper presents a holistic safety-critical software development process according to DO-178C/DO-331 standards, which is being used at the Institute of Aeronautical Engineering at the University of the Bundeswehr Munich. A software development process for embedded systems is comprised of several steps, including requirements gathering and analysis, design, implementation, testing, integration, and maintenance of the components. When it comes to safety-critical applications, due to the safety standards and certification requirements, the cumbersomeness of these processes increases significantly. This is because the certification requirements demand that the system must fulfill certain objectives before it can come into use. Similarly, in the case of aerospace software applications, such as flight controllers or motor controllers, a set of objectives defined by the standards DO-178C must be fulfilled according to the criticality level detailed in the DAL (Design Assurance Level). To assist the development process, a systematic model-based toolchain is developed and implemented. This approach is presented in this research along with its application for battery controllers. The toolchain ensures required traceability of the artifacts and requirements-based verification and validation of the software.    «

This paper presents a holistic safety-critical software development process according to DO-178C/DO-331 standards, which is being used at the Institute of Aeronautical Engineering at the University of the Bundeswehr Munich. A software development process for embedded systems is comprised of several steps, including requirements gathering and analysis, design, implementation, testing, integration, and maintenance of the components. When it comes to safety-critical applications, due to the safety...    »