Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process

Purav Panchal, Nina Sorokina, Manuel Kuder, Stephan Myschik, Konstantin Dmitriev, Florian Holzapfel

2023

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 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.

Paper Citation

in Harvard Style

Panchal P., Sorokina N., Kuder M., Myschik S., Dmitriev K. and Holzapfel F. (2023). Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process. In Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD, ISBN 978-989-758-633-0, pages 184-193. DOI: 10.5220/0011696100003402

in Bibtex Style

@conference{modelsward23,
author={Purav Panchal and Nina Sorokina and Manuel Kuder and Stephan Myschik and Konstantin Dmitriev and Florian Holzapfel},
title={Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process},
booktitle={Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD,},
year={2023},
pages={184-193},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011696100003402},
isbn={978-989-758-633-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD,
TI - Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process
SN - 978-989-758-633-0
AU - Panchal P.
AU - Sorokina N.
AU - Kuder M.
AU - Myschik S.
AU - Dmitriev K.
AU - Holzapfel F.
PY - 2023
SP - 184
EP - 193
DO - 10.5220/0011696100003402