Automated code generation for safety-related applications: a case study

Abstract

This paper addresses issues relating to the suitability of using automated code generation (ACG) technologies for the development of real-time, safety-critical systems. This research explored the characteristics of model-based software development methodologies and the automated code generation tools that support them. Specifically, data related to the engineering challenges, skills, and effort associated with ACG practices and technologies were collected as part of a case study. Characteristics such as the generated code’s organization, size, readability, traceability to model, real-time constructs, and exception handling were identified. In addition, the case study involved software engineering practices that incorporate integrated analysis and design iterations throughout a model-based development process. The research investigated both the static and dynamic characteristics of the selected techniques and tools, identified characteristics of ACG tools with potential impact on safety, and considered the semantic consistency between representations.

Artykuł opisuje możliwości zastosowań technologii automatycznej generacji programów (AGP) dla komputerowych systemów bezpieczeństwa. Przeprowadzone badania koncentrowały się na charakterystykach systemów oprogramowania bazujących na modelowaniu i automatycznych narzędziach oprogramowania. W szczególności studium pozwoliło na kolekcję danych dotyczących wymagań inżynieryjnych, wiedzy i wysiłku koniecznego do pomyślnej realizacji projektu wykorzystującego praktykę i technologię AGP. Takie charakterystyki, jak organizacja generowanego programu, rozmiar, łatwość czytania, relacja między programem a modelem, konstrukcje programu ułatwiające operacje w czasie rzeczywistym i generacja przerwań, były przedmiotem identyfikacji. Dodatkowo, projekt używał metodologii inżynierii oprogramowania, gdzie analiza i konstrukcja były zintegrowane w procesie realizacji programu na bazie modelu. Analiza dotyczyła statycznych i dynamicznych charakterystyk wybranych technik i narzędzi oprogramowania wpływających na bezpieczeństwo systemu.