This course aims at introducing the fundamental concepts related to the
development of autonomous systems from a software engineering
perspective. Various methods and techniques currently applied in the
design of autonomous systems are shown. Techniques like Continuous
Integration and Development (CI&D) are particularly challenging for
autonomous systems that are often also safety critical. The course will
cover also these aspects. Concrete examples of autonomous systems in the
domains of robotics and autonomous vehicles are given.
Sylabus - angličtina
Poslední úprava: doc. RNDr. Petr Hnětynka, Ph.D. (30.07.2018)
The limitations of traditional software development and verification methods
The limitations of Artificial Intelligence (AI)
When and how to combine traditional methods and AI
Continuous Integration and Development for autonomous systems
Examples and experiences from the projects WASP (http://wasp-sweden.org/), Co4Robots (http://www.co4robots.eu/), and NGEA (http://ngea.se/).