Developing Safety-Critical Software – MODELSWARD 2023

9 März 2023

Application of a process-oriented build tool to develop safety-critical software was presented at MODELSWARD 2023 in Lisbon. This work is a part of project ELAPSED funded by The build tool, called as ‘mrails’, is currently being applied to several safety-critical applications like battery controller, motor controller, flight control applications, 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. It 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 provide a practical application point of view.

DOI: 10.5220/0011696100003402