Search CORE

5 research outputs found

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Author: Boudjadar Jalil
Kim Jin Hyun
Larsen Kim Guldstrand
Nyman Ulrik
Publication venue: CEUR Workshop Proceedings
Publication date: 01/01/2014
Field of study

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Author: Han Pujie
Kristjansen Martin
Nielsen Brian
Nyman Ulrik
Zhai Zhengjun
Publication venue: 'American Institute of Aeronautics and Astronautics (AIAA)'
Publication date: 01/11/2019
Field of study

Safety Critical Java for Robotics Programming

Author: Bøgholm Thomas
Korsholm Stephan
Luckow Kasper Søe
Thomsen Bent
Thomsen Lone Leth
Publication venue: Aalborg Universitetsforlag
Publication date: 01/01/2015
Field of study

The 3rd AAU Workshop on Robotics:Proceedings

Author
Publication venue: Aalborg Universitetsforlag
Publication date: 01/01/2015
Field of study

Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis

Author: Zhang Zhengkui
Publication venue: Aalborg Universitetsforlag
Publication date: 01/01/2016
Field of study

core

core