Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST

The FMTV'16 challenge and its solutions to be presented at WATERS'16
Post Reply
Sophie Quinton
Site Admin
Posts: 54
Joined: Tue Apr 28, 2015
Location: Inria Grenoble - Rhône-Alpes, France
Contact:

Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST

Post by Sophie Quinton » 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:
FMTV_2016_MAST.pdf
(709.27 KiB) Downloaded 735 times
Sophie Quinton
INRIA Grenoble - Rhône-Alpes
655 Avenue de l'Europe - Montbonnot
38334 St Ismier Cedex - FRANCE
tel: +33 4 76 61 55 31
https://team.inria.fr/spades/quinton/

rivasjm
Posts: 7
Joined: Sun Jul 05, 2015

Re: Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST

Post by rivasjm » Tue Jul 12, 2016

Here you can find the slides of our presentation:
presentation.pdf
(369.76 KiB) Downloaded 835 times

Post Reply