Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Projektdetaljer

Beskrivelse

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.
Kort titelMULTI-CORE SAFETY
StatusIgangværende
Effektiv start/slut dato01/08/201731/07/2021

Finansiering

  • Danmarks Frie Forskningsfond | Teknologi og Produktion: kr 1.890.704,00

Publikation

  • 4 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel

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. (red.). IEEE Press, s. 1-10 10 s. 8958666

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
  • 80 Downloads (Pure)

    Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

    Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 nov. 2019, I : Journal of Aerospace Information Systems. 16, 11

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • 36 Downloads (Pure)

    A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

    Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 jun. 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    79 Downloads (Pure)