Search found 9 matches

by medinajl
Thu Mar 30, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 4018

Re: Industrial challenge 2017

Hi Paolo, I guess the proponents of the challenge would confirm or correct these suggestions, so please take them with care. Last year, the system proposed in the challenge was very similar to the one proposed now, and the questions you do now are very close to our first questions in the forum at th...
by medinajl
Tue Mar 14, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 4018

Re: Industrial challenge 2017

Hi Simon, hi Arne, Thanks for your prompt answer. Just a small detail to get it fully clear... When you say: .... The execution time given for runnables is excluding label accesses. To calculate the complete execution time, you have to add the access times to labels (latency multiplied by frequency ...
by medinajl
Sun Mar 12, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 4018

Re: Industrial challenge 2017

Hi Arne, I have a question regarding the level of freedom you have to implement the order of the runnables inside the Almathea tasks in reality. My doubt is about the actual functional/logical/local-memory-state dependencies between the runnables that are grouped in a task. Of course if the implemen...
by medinajl
Thu Mar 09, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 4018

Re: Industrial challenge 2017

Hi Simon, Arne, We need to ask you a couple of questions/clarifications more: (1) About the LET model for synchronization, you say: "With the LET model, tasks always read data at the beginning of the activation interval and write data at the end of the activation interval." This does not state clear...
by medinajl
Wed Mar 01, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 4018

Re: Industrial challenge 2017

Hi Simon, Thanks for your quick response. I just forgot to include one detail to clarify: We understand that in any of the synchronization cases proposed for each label there is only one task that acts as a Writer, all the rest of tasks that access that label do it for reading it. Is this the correc...
by medinajl
Mon Feb 27, 2017
Forum: 2017 industrial challenge
Topic: Industrial challenge 2017
Replies: 13
Views: 4018

Re: Industrial challenge 2017-> Please clarify "Local" and "Frequency"

Hi Arne, hi Sophie, First of all thanks for your efforts in preparing this challenge! We are starting the work to prepare a response for this edition's challenge and have seen some points we'd need to understand a bit better: 1 - By looking at the last paragraph in section B. Implicit Communication,...
by medinajl
Thu Feb 04, 2016
Forum: Simulation and trace generation
Topic: A common input format
Replies: 7
Views: 4060

The MAST model as an input formalism for simulation and response time analysis tools.

Dear all, There are many ways to do simulation. For those who may see it as a way to observe emergent behavior of a system whose timing models can be extracted and used to get some data about the response times for its tasks, let me comment that the imput model of MAST (a suite of tools for doing re...
by medinajl
Fri Jun 26, 2015
Forum: Verification challenge
Topic: Solving the 2015 FMTV challenge by response time analysis with MAST
Replies: 0
Views: 2921

Solving the 2015 FMTV challenge by response time analysis with MAST

Title: Solving the 2015 FMTV Challenge by response time analysis with MAST Authors: Julio L. Medina, Juan M. Rivas, J. Javier Gutiérrez, and Michael González Harbour (Departamento de Ingeniería Informática y Electrónica, Universidad de Cantabria, Santander, Spain) Abstract: This paper reports solut...
by medinajl
Wed Jun 24, 2015
Forum: Schedulability and response time analysis
Topic: MAST: Modeling and Analysis Suite for Real-Time Applications
Replies: 0
Views: 1704

MAST: Modeling and Analysis Suite for Real-Time Applications

Description of the tool MAST is an open-source suite of tools to perform schedulability analysis of real-time distributed systems that assesses a rich variety of timing requirements. Via sensitivity analysis, you will know how far or close the system is from meeting those requirements. MAST uses a ...