Model-based Framework for Schedulability Analysis Using Uppaal 4.1

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelModel-Based Design for Embedded Systems
RedaktørerGabriela Nicolescu, Pieter J. Mosterman
Antal sider32
ForlagCRC Press
Publikationsdato2009
Udgave1
Sider93-119
ISBN (Trykt)978-1-4200-6784-2
StatusUdgivet - 2009
NavnComputational Analysis, Synthesis, and Design of Dynamic Systems

Emneord

  • Schedulability Analysis
  • Multiprocessor Systems
  • Model Checking
  • UPPAAL

Citer dette

David, A., Rasmussen, J. I., Larsen, K. G., & Skou, A. (2009). Model-based Framework for Schedulability Analysis Using Uppaal 4.1. I G. Nicolescu, & P. J. Mosterman (red.), Model-Based Design for Embedded Systems (1 udg., s. 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. red. / Gabriela Nicolescu ; Pieter J. Mosterman. 1. udg. CRC Press, 2009. s. 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. i G Nicolescu & P J. Mosterman (red), Model-Based Design for Embedded Systems. 1 udg, CRC Press, Computational Analysis, Synthesis, and Design of Dynamic Systems, s. 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. red. / Gabriela Nicolescu; Pieter J. Mosterman. 1. udg. CRC Press, 2009. s. 93-119 (Computational Analysis, Synthesis, and Design of Dynamic Systems).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer 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. I Nicolescu G, J. Mosterman P, red., Model-Based Design for Embedded Systems. 1 udg. CRC Press. 2009. s. 93-119. (Computational Analysis, Synthesis, and Design of Dynamic Systems).