Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Søgeresultater

• Afsluttet

  CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

  Skou, A. (Projektdeltager), Larsen, K. G. (Projektdeltager), Nielsen, B. (Projektdeltager), David, A. (Projektdeltager), Nyman, U. (Projektdeltager), Mikučionis, M. (Projektdeltager), Olsen, P. (Projektdeltager), Boudjadar, J. (Projektdeltager) & Kim, J. H. (Projektdeltager)

  Artemis JU

  01/06/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Real-time Embedded Systems 100%
  • Middleware 100%
  • Application-oriented 100%
  • Real Time Systems 100%
  • Driven Framework 100%

• MBAT: Model-based Analysis and Testing of Embedded Systems

  Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)

  Artemis JU

  01/11/2011 → 31/10/2014

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Statistical Model 50%
  • Embedded Systems 40%
  • Model-based Testing 40%
  • Model-based Analysis 40%