FORMÅL
Cyber Physical Systems, systemer der både indeholder indlejret
realtids software og består af en fysisk komponent, bliver mere og
mere anvendte. Dette kursus understøtter semester projektet ved at
præsentere relevante metoder og teorier
formelle modeller for Cyber Physical systems
værktøjer til simulering og analyse af funktionelle, tids og performance krav
forskellige sprog til implementering a realtidssystemer
realtids operativsystemer
indlejret hardware
dataopsamling og kommunikation
dynamiske og/eller hybride systemer
redegøre for de specielle former for krav der gør sig gældende for Cyber Physical Systems
redegøre for definitionerne af de i kurset gennemgåede formelle modeller af Cyber Physical Systems
ræsonnere over valg af teknologier til udvikling af et Cyber Physical System.
demonstrere en sammenhængende forståelse for de forskellige komponenter der udgør et Cyber Physical System
Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen jf. § 17.
Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.
Prøvens navn | Modeller og værktøjer for Cyber Physical Systems |
Prøveform | Skriftlig eller mundtlig |
ECTS | 5 |
Bedømmelsesform | 7-trins-skala |
Censur | Intern prøve |
Vurderingskriterier | Vurderingskriterierne er angivet i Universitetets eksamensordning |
Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854
Engelsk titel | Models and Tools for Cyber Physical Systems |
Modulkode | DSNSWB612 |
Modultype | Kursus |
Varighed | 1 semester |
Semester | Forår
|
ECTS | 5 |
Undervisningssprog | Dansk |
Tomplads | Ja |
Undervisningssted | Campus Aalborg |
Modulansvarlig |
Studienævn | Studienævn for Datalogi |
Institut | Institut for Datalogi |
Fakultet | Det Teknisk Fakultet for IT og Design |