Digital twin technology offers a sophisticated and flexible methodology to design high fidelity models of cyber-physical systems for simulation, optimization, formal verification and …
P Han, Z Zhai, B Nielsen, U Nyman… - Journal of Aerospace …, 2019 - arc.aiaa.org
This paper presents an approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 multicore …
We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD) …
This paper presents a compositional approach for schedulability analysis of hierarchical systems, which enables to prove more systems schedulable by having richer and more …
D Du, P Huang, K Jiang, F Mallet, M Yang - Formal Aspects of Component …, 2017 - Springer
Abstract Cyber-Physical Systems (CPSs) are networks of heterogeneous embedded systems immersed within a physical environment. Several ad-hoc frameworks and …
P Han, Z Zhai, B Nielsen, U Nyman - International Journal on Software …, 2021 - Springer
The architecture of ARINC-653 partitioned scheduling has been widely applied to avionics systems owing to its robust temporal isolation among applications. However, this partitioning …
In this paper, we propose a safety-driven cost effective scheduling controller to arbitrate and operate the energy resources of a maritime hybrid energy application. The proposed control …