DD2528 Dependable Autonomous Systems
KTH Royal Institute of Technology
- Knowledge and skills in programming, at least 6 higher education credits, equivalent to completed course DD1331/DD1310/DD1311/DD1312/DD1314/DD1315/DD1316/DD1318/DD1321/DD100N/ID1018.
- Knowledge in algorithms and data structures, at least 6 higher education credits, equivalent to completed course DD1320/DD1321/DD1325/DD1327/DD1338/DD2325/ID1020/ID1021.
- Knowledge in mathematics equivalent to at least 22.5 higher education credits.
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.
Reviews
Improve accuracy by rating this course