Introduction to algorithms
Dynamic scheduling of real-time tasks under precedence constraints
Real-Time Systems
Computer-controlled systems (3rd ed.)
Computer-controlled systems (3rd ed.)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems
ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Efficient embedded software design with synchronous models
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Automatic parallelization of simulink applications
Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
Robust and extensible task implementations of synchronous finite state machines
Proceedings of the Conference on Design, Automation and Test in Europe
Design synthesis and optimization for automotive embedded systems
Proceedings of the 2014 on International symposium on physical design
| Hi-index | 0.00 |
Automatic generation of a controller implementation from a synchronous reactive model is among the best practices for software development in the automotive and aeronautics industry, because of the possibility of simulation, model checking, and error-free implementation. This paper discusses an algorithm for optimizing the single-processor multitask implementation of Simulink models with real-time execution constraints, derived from the sampling rates of the functional blocks. Existing code generation tools enforce the addition of extra buffering and latencies whenever there is a rate transition among functional blocks. This work shows how timing analysis can be used to find the cases in which additional buffering and latency can be avoided, improving the space and time performance of the application. The proposed search algorithm allows finding a solution with reduced and possibly minimal use of buffering even for very high values of processor utilization.