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

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.