Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

  • Safety of computer control systems: challenges and results in software development.

    Publikacja
    • J. Zalewski
    • W. Ehrenberger
    • F. Saglietti
    • J. Górski
    • A. Kornecki

    - ANNUAL REVIEWS IN CONTROL - Rok 2003

    Artykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.