Search: onr:"swepub:oai:DiVA.org:liu-124541" >
Compositional Predi...
Compositional Predictability Analysis of Mixed Critical Real Time Systems
-
- Boudjadar, Abdeldjalil (author)
- Linköpings universitet,Programvara och system,Tekniska fakulteten,RTSLAB
-
- Dingel, Juergen (author)
- Queen's University, Canada
-
- Madzar, Boris (author)
- Queen's University, Canada
-
show more...
-
- Hyun Kim, Jin (author)
- INRIA Rennes, France
-
show less...
-
(creator_code:org_t)
- 2016-01-30
- 2016
- English.
-
In: FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015). - Cham : Springer. - 9783319295107 - 9783319295091 ; , s. 69-84
- Related links:
-
https://liu.diva-por... (primary) (Raw object)
-
show more...
-
http://liu.diva-port...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Predictability
- mixed criticality
- compositionality
- coomponet-based
- real-time systems
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database