Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Computer Science

1 2007

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

Gluch D. P., Kornecki A. J.

Computer Science

2007

Vol. 8, Spec. Ed

37-48

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.