Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report
Task-level reconfiguration techniques in automotive applications aim to reallocate tasks to computation cores during failures to guarantee that the desired functionality is still delivered. We consider a class of mixed-criticality asymmetric multi-core systems inspired by our collaboration with a leading automotive manufacturing company, for which we automatically synthesize task-level reconfiguration services to reduce the number of processing cores and decrease the cost without weakening fault-tolerance. We admit the following types of faults: safety violations by tasks, permanent core failures, and temporary core failures. We use timed games to synthesize the controllers. The services suspend and reinstate the periodic executions of the non-critical tasks to ensure enough processing capacity for the critical tasks by maintaining lookup tables, which keep track of processing capacity. We present a methodology to synthesize the services and use a case study to show that suitable abstractions can dramatically improve the scalability of timed games-based tools for solving industrial problems.
We would like to express our gratitude to the engineers and scientists of our industrial partner who contributed in this project. We also thank Alexandre David for his help with Uppaal Tiga.
- 1.Zhang, Y., Jiang, J.: Bibliographical review on reconfigurable fault-tolerant control systems. ARC 32(2), 229–252 (2008)Google Scholar
- 4.Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: SSC (1998)Google Scholar
- 14.Lv, M., Yi, W., Guan, N., Yu, G.: Combining abstract interpretation with model checking for timing analysis of multicore software. In: RTSS (2010)Google Scholar
- 17.Socci, D., Poplavko, P., Bensalem, S., Bozga, M.: Modeling mixed-critical systems in real-time BIP. In: ReTiMiCS (2013)Google Scholar
- 18.Kaynar, D.K., Lynch, N.A., Segala, R., Vaandrager, F.W.: The theory of timed I/O automata. In: SLCS (2006)Google Scholar
- 19.David, A., Larsen, K.G., Legay, A., Nyman, U., Wąsowski, A.: Timed I/O automata: a complete specification theory for real-time systems. In: HSCC (2010)Google Scholar
- 20.Waez, M.T.B., Wąsowski, A., Dingel, J., Rudie, K.: Synthesis of a reconfiguration service for mixed-criticality multi-core systems. Technical Report 2014–619, Queen’s University, ON (2014). http://research.cs.queensu.ca/TechReports/Reports/2014-619.pdf