Innovative SW design and verification approaches in critical-safety systems
ORGANIZED BY
Massimo Tipaldi
OHB Italia SpA, Italy
Dirk Roßkamp
OHB System AG, Germany
ABSTRACT
Nowadays software applications play a relevant role in the implementation of challenging functional and operational requirements of critical-safety systems (e.g. on-board autonomy and fault management requirements in space projects). It is hard to establish a proper tradeoff between achievable SW product quality and the costs required for achieving it. The situation is even worse in the case of integration of existing SW within a safety critical system to be certified. The goal of this Special Session is to provide a forum of researchers, industrial software/system engineers, and project manages wherein to foster knowledge exchange on critical software systems, especially in the area of SW model-based design methods, SW verification techniques, SW development process definition and automation. Contribution from different sectors other than (aero)space are encouraged, e.g. transportation, automotive, and medical areas. Authors can provide original contributions in this filed which can cover, but not only, the following aspects:
- SW model-based design methods
- SW development process definition, e.g. agile methods
- SW tooling chain and development process automation
- SW verification & validation approaches
- SW test results analysis and stakeholder requirement coverage measurement
- SW static verification methods
- Formal verification methods
- SW criticality assessment and related SW development process definition.
ABOUT THE ORGANIZERS
Massimo Tipaldi is Space Software Project Manager/System Engineer and is currently working for the Heinrich Hertz communications satellite (H2Sat) at OHB System AG. He possesses about 20 years of experience in the managerial and technical coordination of ESA/ASI/CNES SW projects in an international context (satellite systems, experimental equipment for the International Space Station, and ground segments). For instance, from 2012 up to 2016, he worked as SW Project Manager in the MeteoSat Third Generation Satellite Project. Before joining the space business, he worked as Software Engineer in different sectors, such as automotive and transportation systems.
He graduated in Computer Science Engineering with specialization in Automation and Control Systems in 1998. Recently, he has obtained a PhD degree in Information Technology with a dissertation focusing on model-based autonomy for space systems. His research interests include critical SW systems, SW development processes, reinforcement/machine learning techniques, formal verification, and advanced system control techniques. He is the author or co-author of more than 25 papers published on international conferences and journals.
Dirk Roßkamp is Head of the Software Division at OHB System AG in Bremen, Germany and responsible for the program management of the OHB software projects in the area of Satellite Control Software, EGSE Software, Simulator Software and Database Software. Beside multi-project management, this includes especially the long-term research and development strategy for software systems. He is active as Software Engineer and Project Manager in the aerospace industry since more than 10 years and worked for several projects of the International Space Station. From 2013 to 2017 he was responsible for the Software Project Management of the EnMAP Satellite. Before joining OHB he worked as software engineer and architect of Air Traffic Control Systems and developed safety critical functionalities like Short Term Conflict Alerts.
