Tools and Benchmarks for Real-Time Systems

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...

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 ...

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...

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...

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...

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,...

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...

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...

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 ...