liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Compositional Predictability Analysis of Mixed Critical Real Time Systems
Linköping University, Department of Computer and Information Science. Linköping University, Faculty of Science & Engineering. (RTSLAB)
Queen's University Canada.
Queen's University Canada.
INRIA Rennes France.
2016 (English)In: FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015) / [ed] Artho and P.C. Olveczky, Springer, 2016, Vol. 596, 69-84 p.Conference paper, Published paper (Refereed)
Abstract [en]

This paper introduces a compositional framework for analyzing the predictability of component-based embedded real-time systems. The framework utilizes automated analysis of tasks and communication architdepicts the structureectures to provide insight on the schedulability and data flow. The communicating tasks are gathered within components, making the system architecture hierarchical. The system model is given by a set of Parameterized Stopwatch Automata modeling the behavior and dependency of tasks, while we use Uppaal to analyze the predictability. Thanks to the Uppaal language, our model-based framework allows expressive modeling of the behavior. Moreover, our reconfigurable framework is customizable and scalable due to the compositional analysis. The analysis time and cost benefits of our framework are discussed through an avionic case study.

Place, publisher, year, edition, pages
Springer, 2016. Vol. 596, 69-84 p.
Series
Communications in Computer and Information Science, ISSN 1865-0929 ; 596
Keyword [en]
Predictability, mixed criticality, compositionality, coomponet-based, real-time systems
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:liu:diva-124541DOI: 10.1007/978-3-319-29510-7_4ISI: 000371403600004ISBN: 978-3-319-29510-7; 978-3-319-29509-1 (print)OAI: oai:DiVA.org:liu-124541DiVA: diva2:899628
Conference
4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
Available from: 2016-02-02 Created: 2016-02-02 Last updated: 2016-04-07Bibliographically approved

Open Access in DiVA

fulltext(628 kB)16 downloads
File information
File name FULLTEXT01.pdfFile size 628 kBChecksum SHA-512
c20cac87a680662867620be58897558311e60b9b3a699c3bc422f5fdfa428315b09488077aef2fdd58b1d8f0c5384f078e84b826e643160df92bd4056bf73b68
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Boudjadar, Abdeldjalil
By organisation
Department of Computer and Information ScienceFaculty of Science & Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 16 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 25 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf