Model-based Framework for Schedulability Analysis Using Uppaal 4.1

Research output: Contribution to book/anthology/report/conference proceedingBook 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