Software development of safety-critical systems is accompanied with strict methodologies, handling of a large number of artifacts, and transparent verification activities. In order to achieve compliance to the DO-178C/DO- 331 standard. These requirements reduces the flexibility of the development and demands highly skilled personnel. This increases both money and time requirements. To address this problem, a process-oriented build tool has been developed and applied to safety-critical applications, such as flight control algorithms. Advantages of this build-tool include automatic verification jobs, interlinking of tools, artifact handling, bottom-totop code generation, change impact analysis, handling of multiple modules, etc. In this paper, the build tool is used to develop and verify a battery slave controller for a Battery Modular Multilevel Management (BM3) module. This paper presents the important verification results achieved, including model coverage, code coverage and cyclomatic complexity of the slave controller. These results help in demonstrating the mentioned advantages of the use of the build-tool and provides a practical application point of view.    «

Software development of safety-critical systems is accompanied with strict methodologies, handling of a large number of artifacts, and transparent verification activities. In order to achieve compliance to the DO-178C/DO- 331 standard. These requirements reduces the flexibility of the development and demands highly skilled personnel. This increases both money and time requirements. To address this problem, a process-oriented build tool has been developed and applied to safety-critical applicatio...    »