Model-based Framework for Schedulability Analysis Using Uppaal 4.1

Research output: Research - peer-reviewBook chapter

Details

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

    Research areas

  • Schedulability Analysis, Multiprocessor Systems, Model Checking, UPPAAL
ID: 19068875