TDMA Time Slot and Turn Optimization with Evolutionary Search Techniques
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Accounting for cache-related preemption delay in dynamic priority schedulability analysis
Proceedings of the conference on Design, automation and test in Europe
Interactive schedulability analysis
ACM Transactions on Embedded Computing Systems (TECS)
Monotonicity and run-time scheduling
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Verification of printer datapaths using timed automata
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Concurrent architecture and schedule optimization of time-triggered automotive systems
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Mathematical formalisms for performance evaluation of networks-on-chip
ACM Computing Surveys (CSUR)
Priority assignment for event-triggered systems using mathematical programming
Proceedings of the Conference on Design, Automation and Test in Europe
Using timing analysis for the design of future switched based ethernet automotive networks
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Behavioural composition constructively built server algorithms
ACM SIGBED Review
| Hi-index | 0.00 |
The increasing complexity of heterogeneous SoC and distributed systems confronts the system designer with problems how to determine reasonable design alternatives leading to well functioning systems. Ideally, a designer would try all possible system configuration and choose the best one regarding specific system requirements. Unfortunately, such an approach is not possible because the high number of design parameters in complex systems leads to a very large design-space, prohibiting an exhaustive search. Consequently, good search techniques are needed to find optimal, or at least good, design alternatives. In this paper, we present a design space exploration framework for system optimization using SymTA/S, a software tool for formal performance analysis. In contrast to many previous approaches, our approach takes the hierarchical structure of the design space of heterogeneous SoC and distributed systems into account, allowing the designer to control the exploration process. A main technique in our approach is systematic system optimization using traffic shaping.