Name
Abstract | ||
|---|---|---|
One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design-time analysis of these systems. This paper introduces an approach based on timed automata for analysis of such component-based real-time embedded systems. The goal of our research is to provide a method for treating the schedulability problem of such systems on multi-core platforms. Since the components are developed, analyzed and tested independent of each other, the impact of one component on the others does not depend on its internal structure. Therefore, we reduce the problem of proving the schedulability of the composed system to proving the schedulability of each component on the resource partition allocated to it based on the interface of the component. The proposed verification method is demonstrated on a H.264 decoder case study. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/ECBS.2010.20 | Engineering of Computer Based Systems |
Keywords | Field | DocType |
component-based real-time embedded system,proposed verification method,component-based real-time systems,key challenge,internal structure,schedulability problem,timed automata model,formal verification technique,different software component,design-time analysis,modern real-time embedded system,h.264 decoder case study,model checking,resource management,decoding,embedded systems,servers,formal verification,scheduling,embedded system,software component,testing,independent component analysis,embedded software,scheduling problem,resource partitioning,timing analysis,automata theory,component model,generators,automata,software components,object oriented programming,real time systems | Automata theory,Model checking,Object-oriented programming,Scheduling (computing),Computer science,Automaton,Server,Real-time computing,Component-based software engineering,Distributed computing,Formal verification | Conference |
ISBN | Citations | PageRank |
978-1-4244-6538-5 | 5 | 0.41 |
References | Authors | |
13 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Georgiana Macariu | 1 | 126 | 13.12 |
| Vladimir Cretu | 2 | 26 | 6.76 |