The course provides introduction to basic concepts and techniques of design and modeling of dependable and
cyber-physical systems. The course covers: basic dependability concepts, software processes for development of
dependable systems (V-model, etc.), certification, model-driven software design and development, architectural
description languages for SW/HW (SysML, AADL, etc.), concepts of autonomic systems (MAPE-K) and techniques
for design of autonomic systems (goal-based design - TROPOS, etc.).
Last update: Tajemník Katedry (05.01.2015)
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.).
Course completion requirements -
Last update: prof. RNDr. Tomáš Bureš, Ph.D. (06.10.2017)
The course credit is given based on attendance (at least 80%), active work during the course and potential homeworks. Given that an essential course credit requirement is systematic work during the semester, retakes are not possible.
Last update: prof. RNDr. Tomáš Bureš, Ph.D. (06.10.2017)
Zápočet je udělen na základě docházky (alespoň 80%), aktivní práce na hodinách a práce na případných domácích úkolech. Vzhledem k tomu, že základní podmínkou získání zápočtu je systematická práce během semestru, jsou vyloučeny opravné termíny zápočtu.
Literature -
Last update: Tajemník Katedry (05.01.2015)
Kordon, F., Hugues, J., Canals, A, Dohoet, A. (Eds.): Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Wiley, 2013
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology, Journal of Autonomous Agents and Multi-Agent Systems, Kluwer, 2004
Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications, Wiley, 2009
Last update: Tajemník Katedry (05.01.2015)
Kordon, F., Hugues, J., Canals, A, Dohoet, A. (Eds.): Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Wiley, 2013
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology, Journal of Autonomous Agents and Multi-Agent Systems, Kluwer, 2004
Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications, Wiley, 2009