Title | ||
---|---|---|
A formal approach to multi-dimensional sensitivity analysis of embedded real-time systems |
Abstract | ||
---|---|---|
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, resource sharing and functional dependencies, one-dimensional sensitivity analysis cannot cover all effects that modifications of one system property may have on system performance. One reason is that the variation of one property can also affect the values of other system properties requiring new approaches to keep track of simultaneous parameter changes. In this paper we present a heuristic and a stochastic approach suited for the multi-dimensional sensitivity analysis of large heterogenous embedded systems with complex timing constraints |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/ECRTS.2006.5 | ECRTS |
Keywords | Field | DocType |
one-dimensional sensitivity analysis,functional dependencies,stochastic processes,complex timing constraints,stochastic approach,system property,system performance,real-time system,large heterogenous,multi-dimensional sensitivity analysis,formal approach,system robustness,embedded real-time system,embedded system,resource sharing,complex component interaction,complex timing constraint,embedded systems,real-time systems,formal specification,formal verification,sensitivity analysis,functional dependency,real time systems,sensitivity | Multi dimensional,Heuristic,Computer science,Stochastic process,Functional dependency,Robustness (computer science),Real-time computing,Formal specification,Shared resource,Distributed computing,Formal verification | Conference |
ISSN | ISBN | Citations |
1068-3070 | 0-7695-2619-5 | 16 |
PageRank | References | Authors |
0.92 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Razvan Racu | 1 | 218 | 14.93 |
Arne Hamann | 2 | 264 | 22.87 |
Rolf Ernst | 3 | 2633 | 252.90 |