Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST
Posted: Fri Jul 01, 2016
Title: Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST
Authors:
Juan M. Rivas, J. Javier Gutiérrez, Julio L. Medina and Michael González Harbour (Software Engineering and Real-Time Group, University of Cantabria, Spain)
Abstract:
This paper reports solutions to the 2016 edition of the Formal Methods and Timing Verification (FMTV) challenge. The challenge requests calculating latencies in a complex engine management system, of which an Amalthea model is provided. We propose solving the challenge using MAST, which is a real-time systems model and also a suite of tools for schedulability analysis and optimization. The efforts to solve the challenge are mainly focused on translating the Amalthea model into the MAST model. Then, response time schedulability analysis tools are used. We discuss the strengths and limitations of our approach, and present the results obtained. Finally, we report the time needed to understand and complete the challenge. The solutions are available to the public in electronic form to facilitate their assessment by the community.
Attached paper:
Authors:
Juan M. Rivas, J. Javier Gutiérrez, Julio L. Medina and Michael González Harbour (Software Engineering and Real-Time Group, University of Cantabria, Spain)
Abstract:
This paper reports solutions to the 2016 edition of the Formal Methods and Timing Verification (FMTV) challenge. The challenge requests calculating latencies in a complex engine management system, of which an Amalthea model is provided. We propose solving the challenge using MAST, which is a real-time systems model and also a suite of tools for schedulability analysis and optimization. The efforts to solve the challenge are mainly focused on translating the Amalthea model into the MAST model. Then, response time schedulability analysis tools are used. We discuss the strengths and limitations of our approach, and present the results obtained. Finally, we report the time needed to understand and complete the challenge. The solutions are available to the public in electronic form to facilitate their assessment by the community.
Attached paper: