Abstract
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.
- Arthan, R. D., Caseley, P., O'Halloran, C., and Smith, A. 2000. Clawz: Control laws in z. In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods. Google Scholar
Digital Library
- Astrom, K. J. and Wittenmark, B. 1997. Computer Controlled Systems. Prentice Hall, Englewood Cliffs NJ. Google Scholar
Digital Library
- Baleani, M., Ferrari, A., Mangeruca, L., and Vincentelli, A. S. 2005a. Efficient embedded software design with synchronous models. In Proceedings of the 5th ACM EMSOFT Conference. Google Scholar
Digital Library
- Baleani, M., Ferrari, A., Mangeruca, L., Vincentelli, A. S., Freund, U., Schlenker, E., and Wolff, H. J. 2005b. Correct-by-construction transformations across design environments for model-based embedded software development. In Proceedings of the DATE Conference. Vol. 2. 1044--1049. Google Scholar
Digital Library
- Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Guernic, P. L., and de Simone, R. 2003. The synchronous languages 12 years later. In Proceedings of the IEEE 91.Google Scholar
Cross Ref
- Blazewicz, J., Dror, M., and Weglarz, J. 1991. Mathematical programming formulation for machine scheduling: A survey. Europ. J. Operational Res. 51.Google Scholar
- Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., and Niebert, P. 2003. From simulink to scade/lustre to tta: a layered approach for distributed embedded applications. In Proceedings of the LCTES Conference. Google Scholar
Digital Library
- Chetto, H., Silly, M., and Bouchentouf, T. 1990. Dynamic scheduling of real-time tasks under precedence constraints. J. Real-Time Syst. 2. Google Scholar
Digital Library
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., and Stein, C. 1990. Introduction to Algorithms. MIT Press, Cambridge, MA. and McGraw-Hill, New York. Google Scholar
Digital Library
- Garey, M. and Johnson, D. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, San Francisco, CA. Google Scholar
Digital Library
- Harbour, M. G., Klein, M., and Lehoczky, J. 1994. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Trans. Softw. Eng. 20, (Jan.), 1. Google Scholar
Digital Library
- Lawler, E. 1983. Recent results in the theory of machine scheduling. In Mathematical Programming: The State of the Art, A. Bachen et al., Eds. Springer-Verlag, New York.Google Scholar
- Lee, E. and Varaiya, P. 2003. Structure and Interpretation of Signals and Systems. Addison Wesley, Reading, PA.Google Scholar
- Mathworks. The Mathworks Simulink and StateFlow User's Manuals. Mathworks. web page: http://www.mathworks.com.Google Scholar
- Scaife, N. and Caspi, P. 2004. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Proceedings of the 6th Euromicro Conference on Real-Time Systems (ECRTS'04). Google Scholar
Digital Library
- Sepe, R. B. 2001. Real-Time Motor Testing and Development—Over the Internet. Sensors Magazine Online.Google Scholar
- Tripakis, S., Sofronis, C., Caspi, P., and Curic, A. 2005a. Translating discrete-time simulink to lustre. Trans. Embedded Comput. Syst. 4, 4, 779--818. Google Scholar
Digital Library
- Tripakis, S., Sofronis, C., Scaife, N., and Caspi, P. 2005b. Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or edf schedulers. In Proceedings of the 5th ACM EMSOFT Conference. Google Scholar
Digital Library
Index Terms
Buffer optimization in multitask implementations of Simulink models
Recommendations
Validate, simulate, and implement ARINC653 systems using the AADL
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesSafety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven ...
Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software
COMPSAC '12: Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications ConferenceModern avionics architecture is evolving from traditional federated architecture to Integrated Modular Avionics (IMA) architecture. ARINC653 standard, which is employed in the avionics industry, supports partitioning core concept in IMA. Furthermore, ...
Optimizing the Multitask Implementation of Multirate Simulink Models
RTAS '06: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications SymposiumAutomatic 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-...






Comments