Research output per year
Research output per year
Project Details
Description
Indlejrede software systemer er i stigende grad ansvarlige for menneskeliv. Det gælder f.eks. i selvkørende biler. Her er der også brug for stor beregningskraft i form af moderne multi-core processorer. Det er en udfordring, da de gængse teknikker til at undersøge, om alle deadlines bliver overholdt i et sådant system, er dårligt egnede til at undersøge multi-core-systemer. Formålet med forskningsprojektet MULTI-CORE-SAFETY er at udnytte moderne kompositionelle analyseteknikker til at analysere sikkerheden af multi-core-systemer. Resultaterne opnås ved at anvende mere detaljerede modeller af de enkelte dele i systemets tidslige opførsel og derefter analysere disse modeller kompositionelt,således at kompleksiteten ikke overstiger, hvad der kan analyseres. Projektet vil med et tigerspring øge præcisionen og detaljegraden af multi-core-systemer, der kan analyseres for, om alle deadlines altid vil blive opfyldt.
| Short title | MULTI-CORE SAFETY |
|---|---|
| Status | Finished |
| Effective start/end date | 01/08/2017 → 31/07/2021 |
Funding
- Independent Research Fund Denmark | Technology and Production sciences: DKK1,890,704.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Distributed Fleet Management in Noisy Environments via Model-Predictive Control
Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, p. 565-573 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File8 Citations (Scopus)71 Downloads (Pure) -
Model-based optimization of ARINC-653 partition scheduling
Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 7 Feb 2021, In: International Journal on Software Tools for Technology Transfer. 23, 5, p. 721-740 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Citations (Scopus)295 Downloads (Pure) -
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems
Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (eds.). IEEE (Institute of Electrical and Electronics Engineers), p. 1-10 10 p. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile9 Citations (Scopus)184 Downloads (Pure)