Model-based Framework for Schedulability Analysis Using Uppaal 4.1

Alexandre David, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationModel-Based Design for Embedded Systems
EditorsGabriela Nicolescu, Pieter J. Mosterman
Number of pages32
PublisherCRC Press
Publication date2009
Edition1
Pages93-119
ISBN (Print)978-1-4200-6784-2
Publication statusPublished - 2009
SeriesComputational Analysis, Synthesis, and Design of Dynamic Systems

Keywords

  • Schedulability Analysis
  • Multiprocessor Systems
  • Model Checking
  • UPPAAL

Cite this

David, A., Rasmussen, J. I., Larsen, K. G., & Skou, A. (2009). Model-based Framework for Schedulability Analysis Using Uppaal 4.1. In G. Nicolescu, & P. J. Mosterman (Eds.), Model-Based Design for Embedded Systems (1 ed., pp. 93-119). CRC Press. Computational Analysis, Synthesis, and Design of Dynamic Systems
David, Alexandre ; Rasmussen, Jacob Illum ; Larsen, Kim Guldstrand ; Skou, Arne. / Model-based Framework for Schedulability Analysis Using Uppaal 4.1. Model-Based Design for Embedded Systems. editor / Gabriela Nicolescu ; Pieter J. Mosterman. 1. ed. CRC Press, 2009. pp. 93-119 (Computational Analysis, Synthesis, and Design of Dynamic Systems).
@inbook{153d3770fdcd11de9a61000ea68e967b,
title = "Model-based Framework for Schedulability Analysis Using Uppaal 4.1",
keywords = "Schedulability Analysis, Multiprocessor Systems, Model Checking, UPPAAL, Schedulability Analysis, Multiprocessor Systems, Model Checking, UPPAAL",
author = "Alexandre David and Rasmussen, {Jacob Illum} and Larsen, {Kim Guldstrand} and Arne Skou",
year = "2009",
language = "English",
isbn = "978-1-4200-6784-2",
series = "Computational Analysis, Synthesis, and Design of Dynamic Systems",
publisher = "CRC Press",
pages = "93--119",
editor = "Gabriela Nicolescu and {J. Mosterman}, Pieter",
booktitle = "Model-Based Design for Embedded Systems",
edition = "1",

}

David, A, Rasmussen, JI, Larsen, KG & Skou, A 2009, Model-based Framework for Schedulability Analysis Using Uppaal 4.1. in G Nicolescu & P J. Mosterman (eds), Model-Based Design for Embedded Systems. 1 edn, CRC Press, Computational Analysis, Synthesis, and Design of Dynamic Systems, pp. 93-119.

Model-based Framework for Schedulability Analysis Using Uppaal 4.1. / David, Alexandre; Rasmussen, Jacob Illum; Larsen, Kim Guldstrand; Skou, Arne.

Model-Based Design for Embedded Systems. ed. / Gabriela Nicolescu; Pieter J. Mosterman. 1. ed. CRC Press, 2009. p. 93-119 (Computational Analysis, Synthesis, and Design of Dynamic Systems).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

TY - CHAP

T1 - Model-based Framework for Schedulability Analysis Using Uppaal 4.1

AU - David, Alexandre

AU - Rasmussen, Jacob Illum

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

PY - 2009

Y1 - 2009

KW - Schedulability Analysis

KW - Multiprocessor Systems

KW - Model Checking

KW - UPPAAL

KW - Schedulability Analysis

KW - Multiprocessor Systems

KW - Model Checking

KW - UPPAAL

M3 - Book chapter

SN - 978-1-4200-6784-2

T3 - Computational Analysis, Synthesis, and Design of Dynamic Systems

SP - 93

EP - 119

BT - Model-Based Design for Embedded Systems

A2 - Nicolescu, Gabriela

A2 - J. Mosterman, Pieter

PB - CRC Press

ER -

David A, Rasmussen JI, Larsen KG, Skou A. Model-based Framework for Schedulability Analysis Using Uppaal 4.1. In Nicolescu G, J. Mosterman P, editors, Model-Based Design for Embedded Systems. 1 ed. CRC Press. 2009. p. 93-119. (Computational Analysis, Synthesis, and Design of Dynamic Systems).