Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
Creating Robust Solutions by Means of Evolutionary Algorithms
PPSN V Proceedings of the 5th International Conference on Parallel Problem Solving from Nature
A multi-objective genetic algorithm for robust design optimization
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
A formal approach to robustness maximization of complex heterogeneous embedded systems
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
Introducing robustness in multi-objective optimization
Evolutionary Computation
Multi-dimensional Robustness Optimization in Heterogeneous Distributed Embedded Systems
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis
Proceedings of the 46th Annual Design Automation Conference
Trade-off between performance and robustness: an evolutionary multiobjective approach
EMO'03 Proceedings of the 2nd international conference on Evolutionary multi-criterion optimization
Combined system synthesis and communication architecture exploration for MPSoCs
Proceedings of the Conference on Design, Automation and Test in Europe
Evolutionary optimization in uncertain environments-a survey
IEEE Transactions on Evolutionary Computation
Efficient search for robust solutions by means of evolutionary algorithms and fitness approximation
IEEE Transactions on Evolutionary Computation
Robust and flexible mapping for real-time distributed applications during the early design phases
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.02 |
This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedded system design may be revised in later stages resulting in additional costs. A method that quantifies the expected additional costs as the robustness value is proposed. Since the determination of the robustness based on arbitrary revisions is computationally expensive, an efficient set-based approach that uses a symbolic encoding as Binary Decision Diagrams is presented. Moreover, a methodology for the integration of the optimization of the robustness into a design space exploration is proposed. Based on an external archive that accepts also near-optimal solutions, this robustness-aware optimization is efficient since it does not require additional function evaluations as previous approaches. Two realistic case studies give evidence of the benefits of the proposed approach.