Tools and Benchmarks for Real-Time Systems

Hi everyone,

Any suggestions to make this forum more lively? There seems to be a consensus that it could be useful but so far it is not used much. All suggestions appreciated.

Best,
Sophie

About the WATERS industrial challenge The purpose of the WATERS industrial challenge is to share ideas, experiences and solutions to a concrete timing verification problem issued from real industrial case studies. It also aims at promoting discussions, closer interactions, cross fertilization of id...

Hi Simon,

I have moved your post to the 2017 Industrial challenge subforum to centralize the info related to the challenge here. I hope that's OK for you.

Best,
Sophie

Dos and don'ts for benchmarking: http://gernot-heiser.org/benchmarking-crimes.html

[This problem was presented by Peter Zijlstra during his ECRTS'17 keynote talk , see slide 13] Probabilistic task model. There are a number of places where probabilistic (like) things pop up. unprivileged GRUB would require a per-task limit on allows overrun measurement based WCET, typically results...

[This problem was presented by Peter Zijlstra during his ECRTS'17 keynote talk , see slide 11] Support for single CPU affinity in G-EDF (also see the open problem "An alternative admission test for G-EDF"). The expected behaviour of single CPU affinity is that of UP where people 'know' EDF to be opt...

[This problem was presented by Peter Zijlstra during his ECRTS'17 keynote talk , see slide 9] An alternative admission test for G-EDF (proposed by Tommaso Cucinotta). Instead of the regular: U = \Sum u_t <= m, use: U_i = \Sum (u_t / w_t) <= 1 t \elem all tasks runnable on i where w_t is the (hemming...

[This problem was presented by Peter Zijlstra during his ECRTS'17 keynote talk , see slide 8] Proxy Execution (proposed by Doug Niehaus KU), as a schedule function invariant alternative of Priority Inheritance / Deadline+Bandwidth-Inheritance. Define a task to consists of a scheduler-context and an ...

About the WATERS industrial challenge The purpose of the WATERS industrial challenge is to share ideas, experiences and solutions to a concrete timing verification problem issued from real industrial case studies. It also aims at promoting discussions, closer interactions, cross fertilization of id...

Title: A Synchronous Perspective on Real-Time Programming Speaker: Reinhard von Hanxleden (Kiel University, Germany) Abstract: Synchronous programming languages have been developed for the programming of reactive systems. Their hallmark is determinacy even in the presence of concurrency and shared ...

Hi Julien,

Thanks for proposing this panel! It looks like this paper : https://ecrts.eit.uni-kl.de/forum/viewt ... ?f=33&t=95 and also the keynote in the morning are related to the discussion you would like to have.

Best,
Sophie

Title: Time4Sys in a Nutshell Authors: Yassine Ouhammou (LIAS/ISAE-ENSMA, Poitiers) Loïc Fejoz (RealTime-at-Work) Abstract: Waruna project is a collaboration between academic and industrial actors funded through the French government grant called FUI (Fond Unique Interministriel). The underlying id...

Title: Analysis and Simulation Tools for Probabilistic Real-Time Systems Authors: Dorin Maxim (Loria - University of Lorraine) Antoine Bertout (Inria de Paris) Abstract: In this paper we present two tools meant to simulate and analyze probabilistic real-time task sets. That is, tasks sets which hav...

Title: HGT: An Open-Source Framework for Simulating Parallel Real-Time Tasks Authors: Ignacio Sañudo, Paolo Burgio and Marko Bertogna (HiPeRT Lab, University of Modena, Italy) Abstract: With the increasing complexity of multi/many-core architectures, academy-industry research collaborations on this...

Title: Exploring the Interaction between Functional Performance and Scheduling Abstractions Authors: Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale, Giorgio Buttazzo and Matteo Secchiari (Scuola Superiore Sant’Anna, Pisa, Italy) Abstract: Several schedulability analysis models and results are ...

Title: Extending an Automated Testing Framework to Support Agile eXtreme Programming Development Concepts in an Embedded Real-Time Environment Authors: Militina Gorobets, Albert Tran, Michael Smith (Department of Electrical and Computer Engineering, University of Calgary) James Miller (Department o...

Title: Qualification Challenges in Next Generation Automotive Performance ECUs Authors: Moritz Neukirchner (Elektrobit Automotive GmbH) Abstract: The specification of the AUTOSAR Adaptive Platform introduces the capability to dynamically load individual software applications that are automatically ...

Hi all,

We are flooded under fake registration requests so when you register to the forum please additionally send me an email at sophie dot quinton at inria dot fr to let me know that I should activate your account.

Best,
Sophie Quinton

Hi Sebastian,

Thanks a lot for the info. I see that TACLeBench is based on many other benchmarks including MiBench, MRTC, NetBench. Does that mean that TACLeBench subsumes the other benchmarks in some way?

Best,
Sophie

Dear all,

The whole WATERS community forum is now public! You still need to register if you want to post something though. Please let us know if you have comments/remarks about this initiative.

Best,
Sophie

Title: On the Evaluation of Schedulability Tests for Real-Time Scheduling Algorithms Speaker: Robert I. Davis (University of York, UK) Abstract: This talk discusses criteria and methods that can be used to evaluate the performance of schedulability tests for real-time scheduling algorithms. We brie...

Title: Schedulability and Timing Analysis of Mixed Preemptive-Cooperative Tasks on a Partitioned Multi-Core System Authors: Ignacio Sañudo, Paolo Burgio and Marko Bertogna (Universita di Modena, Italy) Abstract: This paper proposes a solution for the FMTV verification challenge related to the timin...

Title: Computational Analysis of Complex Real-Time Systems – FMTV 2016 Verification Challenge Authors: Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp (OFFIS, Oldenburg, Germany) Abstract: Real-time scheduling analysis is an important step in safety relevant embedded system...

Title: FMTV 2016: Where is the Actual Challenge? Authors: Alessio Balsini, Alessandra Melani, Pasquale Buonocunto, Marco Di Natale (Scuola Superiore Sant’Anna, Pisa, Italy) Abstract: The FMTV challenge has been formulated and proposed to research groups as a case study and benchmark to compare diff...

Title: A Novel Analytical Technique for Timing Analysis of FMTV 2016 Verification Challenge Benchmark Authors: Junchul Choi, Donghyun Kang, and Soonhoi Ha (Department of Computer Science and Engineering, Seoul National University, Korea) Abstract: In this paper, we present solutions to FMTV 2016 ve...

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

Title: NTGEN: a Network-on-Chip Traffic Generator toolkit for latency analysis Authors: Ermis Papastefanakis (Thales Communications and Security / Université Paris-Est, LIGM / ESIEE, France) Laurent George (Université Paris-Est, LIGM / ESIEE, France) Xiaoting Li (ECE Paris, France) Ken Defossez (Th...

Title: A Simulation Framework to Analyze the Scheduling of AVR tasks with respect to Engine Performance Authors: Paolo Pazzaglia, Alessandro Biondi, Marco Di Natale and Giorgio Buttazzo (Scuola Superiore Sant’Anna, Pisa, Italy) Abstract: We present a simulation framework, based on Simulink and an e...

Title: Code Generation of Time Critical Synchronous Programs on the Kalray MPPA Many-Core architecture Authors: Amaury Graillat (VERIMAG / Kalray, France) Abstract: Embedded software as found in aircraft, nuclear power plants and cars, is said to be critical since bugs can have hazardous consequenc...

Title: Dynamic criticality management with ARTEMIS Authors: Olivier CROS (LIGM / Université Paris-Est) Geoffrey EHRMANN (LACSC) Laurent GEORGE (LIGM / Université Paris-Est, ESIEE) Abstract: In this work, we propose to detail the mixed-criticality integration inside our network simulator ARTEMIS. Th...

Title: Evaluation of Mixed-Criticality Scheduling Algorithms using a Fair Taskset Generator Authors: Saravanan Ramanathan, Arvind Easwaran (Nanyang Technological University, Singapore) Abstract: The problem of scheduling mixed-criticality (MC) task systems is known to be NP-Hard, and as a consequen...

Title: MECHAniSer - A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies Authors: Matthias Becker, Saad Mubeen, Moris Behnam, Thomas Nolte (MRTC / Mälardalen University, Sweden) Dakshina Dasari (Research and Technology Centre, Robert Bosch, India) Abstract: ...

TuToR’16 is a one-day tutorial open to researchers from both industry and academia, which aims at providing a hands-on introduction to tools for analysis, simulation, and execution of real-time systems. You can find all information on the workshop website: http://tutor2016.inria.fr/ During this firs...

Hi Juan,

I have contacted the Bosch people and hopefully they will answer very soon.

Best,
Sophie

Hi again, and thanks for the help! Step 1) went fine (once I realized I had to close the Welcome tab to see the model...). It took me a while however to understand how exactly I was supposed to drag and drop (drag from my file browser and drop into the Amalthea model) but now I got it and I can see ...

Hi,

I have downloaded Amalthea and when trying to open the challenge, I get the following error : "The editor could not be opened because the file located at GeneratedModel.amxmi is either not a model file or a model file that is out of scope."

Can you help me out? Thanks,
Sophie

Thanks for the prompt reply, would it be possible for you to post the entire model here?

Thanks,
Sophie

Hi Lijun,

Thanks for the info! Is the complete UPPAAL model available in the paper or are there some parts missing due to lack of space?

Best,
Sophie

Hi,

In fact the model should be available this week, sorry for the delay!

Best,
Sophie

About the FMTV Challenge The purpose of the Formal Methods for Timing Verification (FMTV) challenge is to share ideas, experiences and solutions to a concrete timing verification problem issued from real industrial case studies. It also aims at promoting discussions, closer interactions, cross fert...

Hi Olivier,

Thanks for getting the discussion started! Could you edit your post to add links to the websites of the tools you mention? That'd be really helpful. I know some of them but not all.

Thanks,
Sophie

At WATERS'15 we had a lengthy discussion about a common input format for simulation tools. This topic is meant for discussing this issue. Share your experience/opinion/proposal!

Best,
Sophie

The call for contributions to the 7th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems is out! You can find all information on the workshop website: http://waters2016.inria.fr.

Title: Having fun experimenting with hardware management and mixed criticality on multicore Speaker: James H. Anderson (University of North Carolina at Chapel Hill) Abstract: In work on real-time multicore systems, the most important unresolved issue today is a problem termed here "the one-out-of-m...

Dear all, I have added some additional info, in particular about tags and notifications, in the forum "Information for newcomers". Please check it out and let me know if some questions remain unanswered. Specifically, I would like to encourage you all to edit your tool or benchmark posts to add tags...

Set up your profile Users in this forum are not meant to remain anonymous. We encourage you to add your affiliation and a link to your homepage in your profile. You can edit your profile by clicking on your username at the upper right hand corner of the board. It is also possible to configure the s...

Thanks for the detailed answer! After a short glimpse at the files, it seems to me that the only events that you trace are the beginning of a job (when a job actually starts executing) and task migrations. Am I correct? What about other events like preemptions, activations, terminations?

Best,
Sophie

Hi,

I have merged the response-time analysis and schedulability analysis forums.

Best,
Sophie

Hi Giuseppe, I agree with you. The initial idea was that you can establish schedulability without computing response time bounds, but at the moment it is unclear what tool would be in the schedulability forum and not in the other one. If nobody speaks against it before the end of the week I will mer...

Hi,

Would it be possible for you to post some traces generated by your tool in the Benchmarks forum? I am curious about the events relevant for scheduling that you trace.

Best,
Sophie

Search found 54 matches