Modellbaserad utveckling av cyberfysiska system

Lärandemål

• Introduktion
• Beskriva vad som karakteriserar cyber-physical system.
• Beskriva utvecklingsprocessen för cyber-physical system
• Modellering och simulering
• Beskriva hur differential-algebraiska ekvationer kan användas för att bygga modeler av mekaniska och elektriska system.
• Beskriva när ett systems dynamik ej korrekt kan beskrivas av varken kontinuerlig eller diskret-event dynamik och en hybrid beskrivning därför är nödvändig.
• Beskriva hur matematiska modeller av system som inbegriper både kontinuerlig och diskret-event dynamik, dvs så kallade hybrida system.
• Demonstrera hur man kan bygga modeler av hybrid system med hjälp av modelleringsspråket Modelica/Simscape och hur dessa kan användas för att simulera systemet.
• Beskriva när Zeno-beteende kan uppträda och hur det påverkar simuleringen av hybrida system.
• Beskriv hur simuleringsmodeller kan modifieras för att undvika Zeno-effekter.
• Beskriv utmaningarna med att analysera stabilitet av hybrida system.
• Demonstrera färdigheter att modellera och simulera dynamik för elektro-mekaniska modeller.
• Design av reglersystem
• Demonstrera färdigheter att bygga tisdiskreta dynamiska modeller från kontunerliga dynamiska modeller.
• Demonstrera färdigheter att designa PID-regulatorrer och LQ-requlatorer för elektro-mekaniska system.
• Beskriva hur anti-windup tekniker kan användas för att hantera styrsignalbegärnsningar.
• Beskriva hur stötfri övergång mellan manuella och automatiska moder kan implementeras.
• Realisering av regulatorer
• Beskriva hur programmeringsspråket C kan användas för interagera med hårdvara med hjälp av avbrottshantering.
• Beskriva hur minneshantering hanteras i C.
• Demonstrera färdigheter med att implementera PID och tillståndsåterkopplingsregulatorer i C.
• Demonstrate färdigheten att implementera tillståndsmaskiner i C.
• Demonstrera färdigheter med att implementera hybrid styrstrukturer i C.
• Realtidsoperativsystem
• Beskriva de generella byggstenarna I ett realtidsoperativsystem.
• Beskriva vad som karakteriserar en process.
• Beskriva vad som karakteriserar en tråd.
• Beskriva varför ömsedig uteslutning mellan multipla trådar är nödvändigt för att undvika race-villkor och hur det kan implementeras med mutual exclusion.
• Beskriva hur trådar kan koordineras med hjälpa till dödlägen.
• Förklara hur man kan strukturera hantering av semaforer.
• Beskriva hur ömsesidig uteslutning kan ledgen av lås för ömesidig uteslutning så att dödlägen undviks.
• Beskriva skillnaderna mellan off-line och on-line schemaläggare (scheduler) och situationer där det kan vara lämpligt att använda dem.
• Beskriv hur en static-order schemaläggare fungerar och när det kan vara lämpligt att använda den.
• Definiera vad som kännetecknar en preemtive-scheduler.
• Beskriv hur prioriteten för en uppgift påverkar de beslut som fattas av schemaläggaren.
• Definiera tider (release time, response time,finish time och deadline) i samband med exekverandet av tasks.
• Förmåga att tillämpa och analysera beteendet hos scheman som fastställts enligt rate och deadline monotonic principerna. Förklara under vilka villkor ett schema är optimalt. Applicera tillräckliga och nödvändiga villkor för att avgöra om det är möjligt att göra en schemaläggning, samt att beräkna värstafalls svarstider.
• Förklara under vilka omständigheter som priority inversion kan inträffa. Förklara hur priority inheritance och priority ceiling kan lösa problemet med priority inversion.
• Förmåga att applicera och analysera earliest deadline first principen.
• Utvärdera relative för och nackdelar med synchronous-reactive paradigmen jämfört med en trådbaserad ansats för styrning av säkerhetskritiska applikationer.
• Specifikation, testing och verifiering
• Förmåga att beskriva specifikationer med hjälp av linjär temporallogik (LTL).
• Förmåga att beskriva specifikationer med signal temporallogik (STL).
• Beskriva hur modellbaserad testing kan användas för att testa hybrida system.
• Beskriva möjligheter och begränsningarna med model-checking ansatser.
• Etik
• Beskriva och analysera möjligheter, hot och etiska aspekter med cyber-physcial systems. Visa förmåga göra bedömningar med hänsyn till relevanta etiska aspekter.Visa medvetenhet om etiska aspekter på forsknings- och utvecklingsarbete.