Anotace
Kurz poskytuje seznámení se základními technikami a koncepty pro návrh a modelování spolehlivých systémů a cyber-physical systémů. Kurz pokrývá: základní koncepty spolehlivosti, softwarové procesy pro vývoj spolehlivých systémů (V-model apod.), certifikace, návrh software s pomocí model-driven development, jazyky pro popis SW a HW architektury (SysML, AADL apod.), koncepty autonomních systémů (MAPE-K) a techniky jejich návrhu (goal-based design – TROPOS apod.).