SubjectsSubjects(version: 916)
Course, academic year 2022/2023
   Login via CAS
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
Virtual mobility / capacity: no
State of the course: taught
Language: English
Teaching methods: full-time
Additional information:
Guarantor: prof. RNDr. Tomáš Bureš, Ph.D.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Software Engineering
Annotation -
Last update: Tajemník Katedry (05.01.2015)
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.).
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.

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

Charles University | Information system of Charles University |