The development process of on-board software applications can benefit from model-driven
engineering techniques. Model validation and model transformations can be applied to drive …

CHESS is an open source methodology and toolset for the development of safety-critical
systems. More specifically, CHESS is a model-based methodology, which supports the …

The work presents a scalable process implementation for modular, highly-automated model-
based development of safety-critical flight-control software based on current standards for …

Growing software size and complexity paired with its application in increasingly safety-
critical environments requires to follow strict software development processes. They demand …

By conquering new application areas, software complexity and size increases steadily.
Development cycles must become faster to deliver critical updates in shorter time …

With the introduction of the integrated modular avionics (IMA), recent trends in avionics are
to integrate dif-ferent software applications on the same hardware platform. In this context …

Avionics systems are relying more on software to control their behaviour. However,
engineering such software is a complex task. Even more so due to their safety-critical nature …

The software loading occurs when a new software version corrects previously identified
errors to include new functionalities to airborne systems, such as those embedded in aircraft …

View Video Presentation: https://doi. org/10.2514/6.2022-0254. vid Safety-critical avionics
systems require a large effort for development and qualification. They are necessary for the …

This paper provides a real example of applying COCOMO II as an estimation technique for
the required software development effort in a safety-critical software application project …