Techniques to achieve dependability, safety analysis, derivation of dependability requirements from safety analysis, modelling and verification of safety requirements, safety assurance case, multi-agent systems, emergent behaviour, goal-oriented modelling and verification of safe and reliable multi-agent autonomous systems, evolutionary algorithms and learning algorithms for mission planning and navigation, safety of mission planning.

After passing the course, the student shall be able to

• describe dependability attributes formally
• specify dynamic behaviour of autonomous systems and their properties
• use risk assessment and safety analysis techniques to define dependability requirements
• model and verify autonomous systems by means of automatic tools

in order to

• be able to work with autonomous safety critical systems in research and/or development
• be able to identify risks in connection with autonomous systems and use modelling, verification and security techniques to prevent them.

Schema HT-2021-RELAUT21

No information inserted

Students at KTH with a permanent disability can get support during studies from Funka:

Funka - compensatory support for students with disabilities

A, B, C, D, E, FX, F

• LAB2 - Laboratory work, 6.5 credits, Grading scale: A, B, C, D, E, FX, F
• QUI1 - Digital quiz, 1.0 credits, Grading scale: P, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Laboratory work ( LAB2 )

Digital quiz ( QUI1 )

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.