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