Authors:
Purav Panchal
1
;
Nina Sorokina
2
;
Manuel Kuder
2
;
Stephan Myschik
1
;
Konstantin Dmitriev
3
and
Florian Holzapfel
3
Affiliations:
1
Institute for Aeronautical Engineering, Universität der Bundeswehr München, 85521 Neubiberg, Germany
;
2
Department of Electrical Engineering, Universität der Bundeswehr München, 85521 Neubiberg, Germany
;
3
Institute of Flight System Dynamics, Technische Universität München, 85748 Garching, Germany
Keyword(s):
Process Oriented Build Tool, Model-Based Design, Modeling Guidelines, Naming Convention, Model Coverage, Code Coverage, Cyclomatic Complexity, Build Automation, Model Standards, DO-178C, DO-331.
Abstract:
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 cyclomat
ic 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.
(More)