Laxity Release Optimization for Simulink Models

Abstract In Simulink models with single-processor multitask implementation, time delays and transaction buffers emerge when Rate Transition (RT) blocks are added. This paper examines Simulink modeling and buffer optimization. The concept of laxity release is defined for the priority assignment procedure. The algorithms of laxity prediction and laxity release are proposed for the task scheduling problem. The laxity bounds and laxity release bounds are obtained, and the response time based on laxity release is calculated. Some experimental results are given to show that with our approach, total system buffer costs are reduced and system performance is improved.

[1]  Stavros Tripakis,et al.  Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers , 2005, EMSOFT.

[2]  Alberto L. Sangiovanni-Vincentelli,et al.  Synthesis of Multitask Implementations of Simulink Models With Minimum Delays , 2010, IEEE Transactions on Industrial Informatics.

[3]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[4]  Stavros Tripakis,et al.  Semantics-preserving multitask implementation of synchronous programs , 2008, TECS.

[5]  Alberto L. Sangiovanni-Vincentelli,et al.  Efficient embedded software design with synchronous models , 2005, EMSOFT.

[6]  Marco Di Natale,et al.  Buffer optimization in multitask implementations of Simulink models , 2008, TECS.

[7]  Karl Johan Åström,et al.  Computer-controlled systems : theory and design (3. rev. Dover ed.) , 2011 .

[8]  Gabor Karsai,et al.  Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.

[9]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[10]  Ingo Stürmer,et al.  Systematic Testing of Model-Based Code Generators , 2007, IEEE Transactions on Software Engineering.

[11]  Norman Scaife,et al.  Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..