HybridSynchAADL er et modelleringsspråk for en klasse cyber-physical systems (CPSs), med formell semantikk og analyse via Maude. HybridSynchAADL er en liten del av AADL, som er en modelleringsstandard for avionics (datasystemer i fly), og er nylig utviklet i Korea og av undertegnede. I denne oppgaven skal man prøve å modellere en klassisk case study, et kontrollsystem for en dampkjele i et kraftverk, i HybridsynchAADL. Det kan meget vel tenkes at HybridSynchAADL slik det er nå ikke er tilstrekkelig uttrykkskraftig; denne oppgaven skal da også undersøke hvilke andre AADL-funskjoner som må legges til HybridSynchAADL (og helst også legge til disse).
Kilde: Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky:
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. Proc. CAV (1) 2021, vol 12759 av Springers Lecture Notes in Computer Science, 2021.