Verification and Performance Analysis for Embedded Systems

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)

Abstract

This talk provides a thorough tutorial of the UPPAAL tool suite for, modeling, simulation, verification, optimal scheduling, synthesis, testing and performance analysis of embedded and real-time systems.
Original languageEnglish
Title of host publicationTASE 2009 : Third IEEE International Symposium on Theoretical Aspects of Software Engineering
EditorsChi Wei-Ngan, Qin Shengchao
Number of pages2
Volume3
PublisherIEEE Computer Society Press
Publication date2009
Pages3-4
ISBN (Print)978-0-7695-3757-3
DOIs
Publication statusPublished - 2009
EventTASE 2009 - Tianjin, China
Duration: 29 Jul 200931 Jul 2009
Conference number: 3

Conference

ConferenceTASE 2009
Number3
CountryChina
CityTianjin
Period29/07/200931/07/2009
SeriesTASE

    Fingerprint

Cite this

Larsen, K. G. (2009). Verification and Performance Analysis for Embedded Systems. In C. Wei-Ngan, & Q. Shengchao (Eds.), TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering (Vol. 3, pp. 3-4). IEEE Computer Society Press. TASE https://doi.org/10.1109/TASE.2009.66