Name
Title | ||
|---|---|---|
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems |
Abstract | ||
|---|---|---|
Adaptation is increasingly used in the development of safety-critical embedded systems, in particular to reduce hardware needs and to increase availability. However, composing a system from many reconfigurable components can lead to a huge number of possible system configurations, inducing a complexity that cannot be handled during system design. To overcome this problem, we propose a new component-based modeling and verification method for adaptive embedded systems. The component-based modeling approach facilitates abstracting a composition of components to a hierarchical component. In the hierarchical component, the number of possible configurations of the composition is reduced to a small number of hierarchical configurations. Only these hierarchical configurations have to be considered when the hierarchical component is used in further compositions such that design complexity is reduced at each hierarchical level. In order to ensure well-definedness of components, we provide a model of computation enabling the formal verification of critical requirements of the adaptation behavior. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1145/1880050.1880056 | ACM Transactions on Embedded Computing Systems (TECS) |
Keywords | Field | DocType |
possible system configuration,hierarchical component,component-based modeling,reconfigurable component,system design,small number,adaptive embedded system,verification,hierarchical configuration,huge number,dynamic adaptation,hierarchical level,adaptive embedded systems,safety-critical embedded system,embedded system,adaptive behavior,formal verification,model of computation | Small number,Functional verification,Computer science,Systems design,Real-time computing,Model of computation,Component based modeling,Distributed computing,Embedded system,Formal verification | Journal |
Volume | Issue | ISSN |
10 | 2 | 1539-9087 |
Citations | PageRank | References |
14 | 0.71 | 21 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rasmus Adler | 1 | 81 | 9.26 |
| Ina Schaefer | 2 | 1634 | 99.16 |
| Mario Trapp | 3 | 14 | 0.71 |
| Arnd Poetzsch-heffter | 4 | 520 | 57.68 |