A formal approach to multi-dimensional sensitivity analysis of embedded real-time systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn 2006, Issue , 2006, Pages 3-12

  Racu, Razvan ^a   Hamann, Arne ^a   Erns, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; EMBEDDED SYSTEMS; HEURISTIC METHODS; PARAMETER ESTIMATION; PRODUCT DESIGN; REAL TIME SYSTEMS; RESOURCE ALLOCATION;

EMBEDDED REAL-TIME SYSTEMS; RESOURCE SHARING;

SENSITIVITY ANALYSIS;

EID: 33947678286     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2006.5     Document Type: Conference Paper

References (8)

1. S. Bleuler, M. Laumanns, L. Thiele, and E. Zitzler. PISA a platform and programming language independent interface for search algorithms, http:www.tik.ee.ethz.cli/pisa/.
2. A. Hamann, M. Jersak, K. Richter, and R. Ernst. Design space exploration and system optimization with SymTA/S Symbolic Timing Analysis for Systems. In Proc. 25th International Real-Time Systems Symposium (RTSS'04), Lisbon, Portugal, Dec. 2004.
3. S. Punnekkat, R. Davis, and A. Burns. Sensitivity analysis of real-time task sets. ASIAN, pages 72-82, 1997.
4. R. Racu and R. Ernst. Scheduling anomaly detection and optimization for distributed systems with preemptive task-sets. In Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, CA, USA, 2006. Accepted for publication.
5. R. Racu, M. Jersak, and R. Ernst. Applying sensitivity analysis in real-time distributed systems. In Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, CA, USA, 2005.
6. J. Regehr. Scheduling tasks with mixed preemption relations for robustness to timing faults. In Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS), Austin,Texas, December 2002.
7. S. Vestal. Fixed-priority sensitivity analysis for linear compute time models. IEEE Transactions on Software Engineering, 20(4), april 1994.
8. E. Zitzler, M. Laumanns, and L. Thiele. SPEA2: Improving the Strength Pareto Evolutionary Algorithm for multiobjective optimization. In P roc. Evolutionary Methods for Design, Optimisation, and Control, pages 95-100, Barcelona, Spain, 2002.