Refinement of Workload Models for Engine Controllers by State Space Partitioning

Authors Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, Wang Yi



PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2017.11.pdf
  • Filesize: 0.7 MB
  • 22 pages

Document Identifiers

Author Details

Morteza Mohaqeqi
Jakaria Abdullah
Pontus Ekberg
Wang Yi

Cite AsGet BibTex

Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, and Wang Yi. Refinement of Workload Models for Engine Controllers by State Space Partitioning. In 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 76, pp. 11:1-11:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.ECRTS.2017.11

Abstract

We study an engine control application where the behavior of engine controllers depends on the engine's rotational speed. For efficient and precise timing analysis, we use the Digraph Real-Time (DRT) task model to specify the workload of control tasks where we employ optimal control theory to faithfully calculate the respective minimum inter-release times. We show how DRT models can be refined by finer grained partitioning of the state space of the engine up to a model which enables an exact timing analysis. Compared to previously proposed methods which are either unsafe or pessimistic, our work provides both abstract and tight characterizations of the corresponding workload.
Keywords
  • Engine Control Tasks
  • Schedulability Analysis
  • Minimum-Time Problem
  • DRT Task Model

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comput. Sci., 138(1):3-34, February 1995. URL: http://dx.doi.org/10.1016/0304-3975(94)00202-T.
  2. A. Biondi and G. Buttazzo. Engine control: Task modeling and analysis. In Design, Automation Test in Europe Conference Exhibition (DATE), pages 525-530, March 2015. URL: http://dx.doi.org/10.7873/DATE.2015.0147.
  3. A. Biondi and G. Buttazzo. Real-time analysis of engine control applications with speed estimation. In Design, Automation Test in Europe Conference Exhibition (DATE), pages 193-198, March 2016. URL: http://dx.doi.org/10.3850/9783981537079_0273.
  4. A. Biondi, G. Buttazzo, and S. Simoncelli. Feasibility analysis of engine control tasks under edf scheduling. In Euromicro Conference on Real-Time Systems (ECRTS), pages 139-148, July 2015. URL: http://dx.doi.org/10.1109/ECRTS.2015.20.
  5. A. Biondi, A. Melani, M. Marinoni, M. D. Natale, and G. Buttazzo. Exact interference of adaptive variable-rate tasks under fixed-priority scheduling. In Euromicro Conference on Real-Time Systems (ECRTS), pages 165-174, July 2014. URL: http://dx.doi.org/10.1109/ECRTS.2014.38.
  6. A. Biondi, M. Di Natale, and G. Buttazzo. Response-time analysis for real-time tasks in engine control applications. In International Conference on Cyber-Physical Systems (ICCPS), pages 120-129, New York, NY, USA, 2015. ACM. URL: http://dx.doi.org/10.1145/2735960.2735963.
  7. G. C. Buttazzo, E. Bini, and D. Buttle. Rate-adaptive tasks: Model, analysis, and design issues. In Design, Automation Test in Europe Conference Exhibition (DATE), pages 1-6, March 2014. URL: http://dx.doi.org/10.7873/DATE.2014.266.
  8. R. I. Davis, T. Feld, V. Pollex, and F. Slomka. Schedulability tests for tasks with variable rate-dependent behaviour under fixed priority scheduling. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 51-62, April 2014. URL: http://dx.doi.org/10.1109/RTAS.2014.6925990.
  9. T. Feld and F. Slomka. Sufficient response time analysis considering dependencies between rate-dependent tasks. In Design, Automation Test in Europe Conference Exhibition (DATE), pages 519-524, March 2015. URL: http://dx.doi.org/10.7873/DATE.2015.0150.
  10. Z. Guo and S. K. Baruah. Uniprocessor EDF scheduling of AVR task systems. In International Conference on Cyber-Physical Systems (ICCPS), pages 159-168. ACM, 2015. URL: http://dx.doi.org/10.1145/2735960.2735976.
  11. Lino Guzzella and Christopher Onder. Introduction to Modeling and Control of Internal Combustion Engine Systems. Springer Science &Business Media, 2009. Google Scholar
  12. J. Kim, K. Lakshmanan, and R. Rajkumar. Rhythmic tasks: A new task model with continually varying periods for cyber-physical systems. In International Conference on Cyber-Physical Systems (ICCPS), pages 55-64, April 2012. URL: http://dx.doi.org/10.1109/ICCPS.2012.14.
  13. Donald E. Kirk. Optimal Control Theory: An Introduction. Dover Publications, 1998. Google Scholar
  14. M. Mohaqeqi, J. Abdullah, N. Guan, and W. Yi. Schedulability analysis of synchronous digraph real-time tasks. In Euromicro Conference on Real-Time Systems (ECRTS), pages 176-186, July 2016. URL: http://dx.doi.org/10.1109/ECRTS.2016.17.
  15. V. Pollex, T. Feld, F. Slomka, U. Margull, R. Mader, and G. Wirrer. Sufficient real-time analysis for an engine control unit. In International Conference on Real-Time Networks and Systems (RTNS), pages 247-254. ACM, 2013. URL: http://dx.doi.org/10.1145/2516821.2516838.
  16. V. Pollex, T. Feld, F. Slomka, U. Margull, R. Mader, and G. Wirrer. Sufficient real-time analysis for an engine control unit with constant angular velocities. In Design, Automation Test in Europe Conference Exhibition (DATE), pages 1335-1338, March 2013. URL: http://dx.doi.org/10.7873/DATE.2013.275.
  17. M. Stigge, P. Ekberg, N. Guan, and W. Yi. The digraph real-time task model. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 71-80, April 2011. URL: http://dx.doi.org/10.1109/RTAS.2011.15.
  18. M. Stigge, N. Guan, and W. Yi. Refinement-based exact response-time analysis. In Euromicro Conference on Real-Time Systems (ECRTS), pages 143-152, July 2014. URL: http://dx.doi.org/10.1109/ECRTS.2014.29.
  19. M. Stigge and W. Yi. Combinatorial abstraction refinement for feasibility analysis. In Real-Time Systems Symposium (RTSS), pages 340-349, 2013. URL: http://dx.doi.org/10.1109/RTSS.2013.41.
  20. Martin Stigge. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency. PhD thesis, Uppsala University, Division of Computer Systems, 2014. Google Scholar
  21. E. Velenis and P. Tsiotras. Optimal velocity profile generation for given acceleration limits: theoretical analysis. In American Control Conference (ACC), pages 1478-1483 vol. 2, June 2005. URL: http://dx.doi.org/10.1109/ACC.2005.1470174.
  22. H. Zeng and M. Di Natale. Computing periodic request functions to speed-up the analysis of non-cyclic task models. Real-Time Syst., 51(4):360-394, July 2015. URL: http://dx.doi.org/10.1007/s11241-014-9209-5.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail