Software Engineering for Dependable Systems - NSWI054

• Title: Softwarové inženýrství pro spolehlivé systémy
• Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2018
• Semester: summer
• E-Credits: 3
• Hours per week, examination: summer s.:0/2, C [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: English
• Teaching methods: full-time
• Additional information: http://d3s.mff.cuni.cz/teaching/software_engineering_dependable_systems/
• Guarantor: prof. RNDr. Tomáš Bureš, Ph.D.
• Teacher(s): prof. RNDr. Tomáš Bureš, Ph.D.
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Software Engineering

Annotation

English

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: Katedry Tajemník (05.01.2015)

Czech

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

Last update: Katedry Tajemník (05.01.2015)

Course completion requirements

English

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: Bureš Tomáš, prof. RNDr., Ph.D. (06.10.2017)

Czech

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.

Last update: Bureš Tomáš, prof. RNDr., Ph.D. (06.10.2017)

Literature

English

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: Katedry Tajemník (05.01.2015)