Course - Design of Cyber-Physical Systems - TTM4160
TTM4160 - Design of Cyber-Physical Systems
The course discusses the construction of efficient and dependable software solutions for distributed cyber-physical systems (CPS), with the use of formal specifications expressed in the language UML.
It consists of six major units: 1) State Machines: The syntax, semantics, and realizability of executable state machines are discussed. 2) Implementation Design: Here, one learns how given specifications can be mapped to physical components. Further, one should understand how state machines can be used to support certain hardware needs. 3) Software Design: Patterns and methods necessary to create event-driven software will be taught including internal organization and interface issues of software components. 4) Cyber-Physical Systems: The basics of cyber-physical systems will be introduced. This includes ways supporting the management of these systems that often produce a vast amount of data. In particular, interesting communication architectures and protocols are discussed. 5) Development of IoT and ITS Systems: The "Internet of Things" and "Intelligent Transportation Systems" are two important application domains for CPS. The students will learn technologies to create such systems that often have to guarantee stringent real time and safety properties. The learned knowledge will be deepened by the design of a larger example system. 6) Testing: The students should learn about the main ideas and techniques for testing systems.
1) The general nature of distributed cyber-physical systems, how they can be modeled and the role of modeling to ensure system quality and timeliness in development processes.
2) Selected modeling languages, methods and tools, in particular, the mainstream industry languages UML and TTCN.
3) General principles for meeting real-time, dependability and performance constraints.
4) Validation of systems by testing.
5) Implementation design: the principal differences between specification and design models and physical realization in hardware and software including principal design trade-offs and solutions.
6) Tools for specification, design, implementation and analysis: model-driven development from abstract system models, through design synthesis to code generation and execution.
1) Analyzing existing cyber-physical systems.
2) Specifying, design and implementation of new cyber-physical systems according to the defined requirements.
3) Practical developing, executing and using selected services such as distributed, mobile services using Java based platforms and the ability to use state of the art tools for model driven development.
C. General competence:
1) Application of the principles for software design of distributed cyber-physical systems.
2) Basic understanding of the mechanisms in support systems and platforms, as well as concrete experience in realizing a cyber-physical system by using a UML-based engineering method and a Java framework.
Learning methods and activities
The course is taught according to the principle of team-based learning.
It consists of individual work, group work and immediate feedback. The objective is to foster active participation from the students in the course. The principle is explained at www.teambasedlearning.org.
Throughout the semester, students receive feedback on the learning process by several readiness assurance tests, which also contribute to the final grade.
To qualify for the final exam, a student has to reach at least 40% of the possible points in the readiness assurance tests.
Further on evaluation
Portfolio assessment is the basis for the grade in the course. The portfolio includes the results of the readiness assurance tests which count 30% and an oral final exam which counts 70%. The results for the parts are given in %-scores. If the students wish, half of the count for the readiness assurance tests, that means, 15% in total, can be based on the team results of these tests. The entire portfolio is assigned a letter grade.
If a student has the final grade F/failed also after the re-sit exam, she or he must repeat the entire course. Works that count in the final grade must be repeated.
Exam registration requires that class registration is approved in the same semester. Compulsory activities from previous semester may be approved by the department.
Recommended previous knowledge
TTM4115 Design of Reactive Systems 1 or equivalent.
To be announced at the beginning of the term.
Credits: 7.5 SP
Study level: Second degree level
Term no.: 1
Teaching semester: AUTUMN 2020
No.of lecture hours: 3
Lab hours: 2
No.of specialization hours: 7
Language of instruction: English
- Technological subjects
Department with academic responsibility
Department of Information Security and Communication Technology
Examination arrangement: Portfolio assessment
- Term Status code Evaluation form Weighting Examination aids Date Time Digital exam Room *
- Autumn ORD work 30/100 E
Room Building Number of candidates
- Autumn ORD Oral examination 70/100 A
Room Building Number of candidates
- * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.
For more information regarding registration for examination and examination procedures, see "Innsida - Exams"