Safety-critical and autonomous systems

In this module, the student will learn the fundamentals to the design of reliable autonomous and distributed systems. The student will learn methods to sense and collect data to allow autonomous systems to take intelligent decisions development methods at tools to develop complex systems and how to ensure that they operate in a reliable and safe way while fulfilling their specification.

This module is recommended for students in information technology or a closely related field. We strongly want to encourage other students to apply as well!

Courses included in the programme:

Choose four courses to complete your minor studies.

= Contact learning
= Online learning
= Blended learning (online & contact learning)
Multidimensional sensing techniques (DT00BQ89), 5 ECTS. 2.9.–25.10.2019.

Apply before Aug 4, 2019

Within this course we will explore the fundamentals of sensing techniques, including digital image processing, light detection and ranging (LIDAR), in the context of emerging technologies such as autonomous navigation. We will also:

  • Analyse the performance of active remote sensing techniques such as those using lidar and radar.
  • Analyse the performance of passive remote sensing techniques such as those using digital image processing.
  • Apply engineering knowledge and techniques to the design, assembly, and evaluation of multidimensional sensing instrumentation.

More info: http://studiehandboken.abo.fi/en/course/DT00BQ89/4516

Control of discrete event systems (419502.0), 5 ECTS. 28.10.–20.12.2019.

Apply before Oct 6, 2019

The aim of the course is to gain basic knowledge in computer aided modeling and control of discrete event systems: automata, formal languages, blocking, controllability, observability, modularisation and algorithms.

Learning outcomes: Modeling of simple discrete events using automata, analysis and design of supervisory systems for these.

More info: http://studiehandboken.abo.fi/en/course/419502.0/1377

Real-time systems (453306.0), 5 ECTS. 28.10.–20.12.2019.

Apply before Oct 6, 2019

Prerequisites: General basic IT knowledge. Basic knowledge on computer architecture, computer network, system design and operating systems. Basic knowledge on programming (e.g. courses in C/C++ or Java programming).

After a completed course the student has acquired the skills needed to analyse the real-time and resource constraints of a real-time system design to ascertain the consistency and schedulability of the system.

The student has acquired the skills needed to suggest changes to the specification or implementation strategy to ensure that the real-time constraints are satisfied.

The student has also acquired skills needed to design systems such that they satisfy real-time requirements.

More info: http://studiehandboken.abo.fi/en/course/453306.0/1449

University of Turku: Security engineering (DTEK0039), 5 ECTS. 7.1.–1.3.2020.

Apply before Dec 11, 2019

After the completion of the course the student:

  • is able to select suitable and adequate information security solutions to suit the security needs of a particular application.
  • knows and is able to administer different ways and methods for protecting and managing different kind of digital material and rights (DRM).
  • is able to specify a system for electronic identification (biometrics) taking into account both the identification accuracy and the proper and secure management and transportation of the identification data (biometric).
  • is also able to recognise information security risks caused by subsystems and is able to prevent their occurrences by means of careful information security design of the system.

More info: https://opas.peppi.utu.fi/en/course/DTEK0039/3476

Software safety (456501.0), 5 ECTS. Spring 2020.

The course explores the fundamentals of safety systems engineering and the connection to advance methodologies to design complex technological systems. It focuses on teaching new approaches, frameworks and theories to analyse, design, deploy and manage engineering systems with focus on safety. This course introduces new techniques for assisting the determination of requirements in software design and development. It also presents and applies new tools for hazard and risk analysis and for designing safety-guided processes with applications in software and system logic design.

After completing the course the student should understand

  • principles of designing, modelling and verification of safety-critical systems,
  • the principles of safety analysis, risk assessment,
  • main issues in ensuring safety of software-intensive safety-critical systems.

More info: http://studiehandboken.abo.fi/en/course/456501.0/1482

Bringing a laptop to the course is recommended, but not mandatory.

Autonomic software and systems (DV00BO00), 5 ECTS. Spring 2020.

Different degrees of autonomy are pervasive in modern ICT systems. The driver towards more autonomy is the need to handle the complexity of the systems while at the same time increase the quality (efficiency, safety, etc) of the resulting system. For example the promise of autonomous vehicles is to increase service levels for customers, while at the same time decreasing the overall carbon footprint of traffic. Analogously in datacenters autonomy is used to guarantee QoS for services, while optimising the energy-expenditure of the computing infrastructure.

In this course we will study the principles of autonomy for ICT systems using the Mape-K reference architecture. We will present a comprehensive framework for the design of autonomic systems irrespective of their levels of autonomy and application areas.

The course consists of lectures, exercises and a project. The project is either a research project reported in writing, or a programming project using the carla.org simulator. You will need to give a presentation based on the project.

More information: http://studiehandboken.abo.fi/en/course/DV00BO00/4556

Reliable distributed systems (456400.9), 5 ECTS. Spring 2020.

Distributed computing systems have emerged to play a serious role in industry and society. Therefore, reliability of distributed systems has become an important issue. This course aims at giving an overview of reliable distributed systems and their components with a focus on cloud computing. We will look at possible failures in distributed systems and how to avoid them. Examples of applications of reliability techniques will be given.

After the end of the course the students should be familiar with distributed systems and cloud computing. The student should also be able to identify different failures in distributed systems and to describe reliability techniques to avoid these failures.

More info: http://studiehandboken.abo.fi/en/course/456400.9/2655

Professor in charge:

Johan Lilius, Åbo Akademi (johan.lilius@abo.fi)

Contact person in practical matters:

Ivan Porres, Åbo Akademi (ivan.porres@abo.fi)

Other teachers:

Sebastien Lafond, Åbo Akademi

Marina Walden, Åbo Akademi

Jari Toivonen, Åbo Akademi

 

Type of study unit

Minor

Credits

5–40 ECTS

Teaching semester

2019–2020

Host university

Åbo Akademi

Open for degree student

Yes

Open for non-student

Yes

Cooperation

University of Turku

Level of studies

Master

Teaching methods

Contact or online learning

Location

Turku

Programme suitable for

Courses are especially suitable for master's level students in information technology or a closely related field

Language

English

Go back to all Courses & Programs

Go back