Softwarové inženýrství pro spolehlivé systémy - NSWI054

• Anglický název: Software Engineering for Dependable Systems
• Zajišťuje: Katedra distribuovaných a spolehlivých systémů (32-KDSS)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2018
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní s.:0/2, Z [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Další informace: http://d3s.mff.cuni.cz/teaching/software_engineering_dependable_systems/
• Garant: prof. RNDr. Tomáš Bureš, Ph.D.
• Vyučující: prof. RNDr. Tomáš Bureš, Ph.D.
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Softwarové inženýrství

Anotace

čeština

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

Poslední úprava: Katedry Tajemník (05.01.2015)

angličtina

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

Poslední úprava: Katedry Tajemník (05.01.2015)

Podmínky zakončení předmětu

čeština

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.

Poslední úprava: Bureš Tomáš, prof. RNDr., Ph.D. (06.10.2017)

angličtina

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.

Poslední úprava: Bureš Tomáš, prof. RNDr., Ph.D. (06.10.2017)

Literatura

čeština

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

Poslední úprava: Katedry Tajemník (05.01.2015)