Cyber Physical Systems

NámsgreinT-535-CPSY
Önn20243
Einingar6
SkyldaNei

Ár1. ár
ÖnnHaustönn/Fall 2024
Stig námskeiðsÓskilgreint
Tegund námskeiðsSkylda
UndanfararT-111-PROG, Forritun
T-215-STY1, Stýrikerfi
SkipulagEkkert skráð skipulag.
Kennari
Marcel Kyas
Lýsing
Cyber-physical systems introduces students to the design and analysis of computational
systems that interact with physical processes. Applications of such
systems include medical devices and systems, consumer electronics, toys and
games, assisted living, traffic control and safety, automotive systems, process
control, energy management and conservation, environmental control, aircraft
control systems, communications systems, instrumentation, critical infrastructure
control (electric power, water resources, and communications systems for
example), robotics and distributed robotics (telepresence, telemedicine), defense
systems, manufacturing, and smart structures.
A major theme of this course is on the interplay of practical design with models
of systems, including both software components and physical dynamics. A
major emphasis will be on building high confidence systems with real-time and
concurrent behaviours.
Topics include:
• The term embedded system, the main concerns in design, construction, and
analysis of embedded systems, and the main areas of the field.
• Harvard architecture and the different implementations of it used for
common embedded systems.
• Continuous time, ficticios time, discrete time, and logical time.
• Discrete and continuous behaviour, modeled by state machines and differential
equations.
• The interface between a digital system and the physical world, analog/
digital conversion, digital/analog conversion, Nyquist’s theorem, quantization
noise.
• Real-Time schedulers: earliest deadline first, rate monotonic scheduling,
concepts of schedulability, . . .
• Programming of embedded systems in one of the common languages: Ada,
C/C++, PLC languages; lab using a robot
• Analyse models in a commonly used tool: Matlab or Python/Sage.
• System security, e.g. attestation; security threads from peripherals and
sensors, security of embedded devices
• Fault tolerance, redundancy, fail-safety, reliability, availability
Námsmarkmið
Knowledge
1. Describe a realtime or hybrid system as a system characterized by a known
set of configurations with transitions from one unique configuration (state)
to another (state).
2. Describe the distinction between systems whose output is only a function of
their input (Combinational) and those with memory/history (Sequential).
3. Derive time-series behavior of a state machine from its state machine
representation.
4. List capabilities and limitation, like their uncertainties, of robot systems,
including their sensors, and the crucial sensor processing that informs
those systems, and in general terms how analog signals can be reasonably
represented by discrete samples and articulate strategies for mitigating
these uncertainties.
5. Identify physical attacks and countermeasures, attacks on non-PC hardware
platforms and discuss the concept and importance of trusted path.
6. Describe what makes a system a real-time system, explain the presence
of and describe the characteristics of latency in real-time systems, and
summarize special concerns that real-time systems present, including risk,
and how these concerns are addressed.
7. Explain the relevance of the terms fault tolerance, reliability, and availability,
outline the range of methods for implementing fault tolerance, and
explain how a system can continue functioning after a fault occurs.
Skills
1. Program a robot to accomplish simple tasks using deliberative, reactive,
and/or hybrid control architectures.
2. Integrate sensors, actuators, and software into a robot designed to undertake
some task.
Competences
1. Design and implement an industrial application on a given platform (e.g.,
using Raspberry Pi).
Námsmat

Lesefni
Ekkert skráð lesefni.
Kennsluaðferðir

TungumálEnska