Wyniki wyszukiwania dla: uml

• 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.