ABSTRACT

The abstract outlines the core subject of a research paper, which is the
development of software tailored for aerospace systems. The development
process places significant emphasis on safety precautions to mitigate the
potential risks of dangerous situations in the aerospace domain. In this
particular context, the software is designed to operate on critical embedded
real-time controllers, which are essential components of aerospace
systems. These controllers play a pivotal role in ensuring the safe and
efficient operation of various aerospace applications.

The primary programming language employed for crafting this specialized

software is C. This choice of language is a common practice in the
aerospace industry due to its efficiency, reliability, and wide availability of
tools and libraries for embedded systems.

The research paper introduces an innovative approach to developing

software for embedded critical real-time systems in the context of
aerospace applications. The key feature of this approach is the translation
of Sequential Function Chart (SFC) specifications into C programming
language code. SFC is a formalism widely used in the industrial automation
field for modeling and controlling complex processes. By adopting this
method, the paper aims to bridge the gap between aerospace system
requirements and the software that powers them. This approach not only
enhances the efficiency and reliability of the software but also ensures that
it aligns with the desired behavior of the controller device in which it will be
implemented.

To make the proposed approach more tangible and comprehensible, the

research paper includes an illustrative case study. This case study serves
as a practical example, illustrating the step-by-step application of the
described methodology. It aims to facilitate the understanding of how the
SFC specification is transformed into C programming language code and
integrated into the aerospace system.