Search found 53 matches

by Sophie Quinton
Fri Jul 06, 2018
Forum: WATERS'18
Topic: The 2019 industrial challenge
Replies: 0
Views: 174

The 2019 industrial challenge

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...
by Sophie Quinton
Thu Dec 21, 2017
Forum: 2017 industrial challenge
Topic: Updated Challenge Model
Replies: 1
Views: 1304

Re: Updated Challenge Model

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
by Sophie Quinton
Mon Nov 06, 2017
Forum: Problems raised in the keynote of Peter Zijlstra at ECRTS'17
Topic: Probabilistic task model
Replies: 0
Views: 927

Probabilistic task model

[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...
by Sophie Quinton
Mon Nov 06, 2017
Forum: Problems raised in the keynote of Peter Zijlstra at ECRTS'17
Topic: Support for single CPU affinity in G-EDF
Replies: 0
Views: 629

Support for single CPU affinity in G-EDF

[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...
by Sophie Quinton
Mon Nov 06, 2017
Forum: Problems raised in the keynote of Peter Zijlstra at ECRTS'17
Topic: An alternative admission test for G-EDF
Replies: 0
Views: 630

An alternative admission test for G-EDF

[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...
by Sophie Quinton
Mon Nov 06, 2017
Forum: Problems raised in the keynote of Peter Zijlstra at ECRTS'17
Topic: Proxy Execution
Replies: 0
Views: 661

Proxy Execution

[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 ...
by Sophie Quinton
Fri Jun 09, 2017
Forum: WATERS'17
Topic: The 2018 industrial challenge
Replies: 0
Views: 1235

The 2018 industrial challenge

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...
by Sophie Quinton
Fri Jun 09, 2017
Forum: WATERS'17
Topic: Keynote by Reinhard von Hanxleden
Replies: 2
Views: 1446

Keynote by Reinhard von Hanxleden

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 ...
by Sophie Quinton
Wed Jun 07, 2017
Forum: WATERS'17
Topic: Panel discussion: "Programming adaptive real-time systems"
Replies: 7
Views: 1986

Re: Panel discussion: "Programming adaptive real-time systems"

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
by Sophie Quinton
Wed Jun 07, 2017
Forum: Regular contributions
Topic: Abstract: Time4Sys in a Nutshell
Replies: 1
Views: 1287

Abstract: Time4Sys in a Nutshell

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...
by Sophie Quinton
Wed Jun 07, 2017
Forum: Regular contributions
Topic: Analysis and Simulation Tools for Probabilistic Real-Time Systems
Replies: 0
Views: 1029

Analysis and Simulation Tools for Probabilistic Real-Time Systems

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...
by Sophie Quinton
Wed Jun 07, 2017
Forum: Regular contributions
Topic: HGT: An Open-Source Framework for Simulating Parallel Real-Time Tasks
Replies: 0
Views: 955

HGT: An Open-Source Framework for Simulating Parallel Real-Time Tasks

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...
by Sophie Quinton
Wed Jun 07, 2017
Forum: Regular contributions
Topic: Exploring the Interaction between Functional Performance and Scheduling Abstractions
Replies: 0
Views: 874

Exploring the Interaction between Functional Performance and Scheduling Abstractions

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 ...
by Sophie Quinton
Wed Jun 07, 2017
Forum: Regular contributions
Topic: Extending an Automated Testing Framework to Support Agile eXtreme Programming Development Concepts
Replies: 0
Views: 889

Extending an Automated Testing Framework to Support Agile eXtreme Programming Development Concepts

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...
by Sophie Quinton
Wed Jun 07, 2017
Forum: Regular contributions
Topic: Abstract: Qualification Challenges in Next Generation Automotive Performance ECUs
Replies: 0
Views: 944

Abstract: Qualification Challenges in Next Generation Automotive Performance ECUs

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 ...
by Sophie Quinton
Tue May 23, 2017
Forum: Information for newcomers
Topic: How to register
Replies: 0
Views: 1481

How to register

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
by Sophie Quinton
Mon Jul 11, 2016
Forum: Software
Topic: TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research
Replies: 1
Views: 2738

Re: TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research

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
by Sophie Quinton
Wed Jul 06, 2016
Forum: News, feedback and suggestions
Topic: The whole forum is now public!
Replies: 0
Views: 2398

The whole forum is now public!

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
by Sophie Quinton
Mon Jul 04, 2016
Forum: WATERS'16
Topic: Keynote by Robert I. Davis
Replies: 0
Views: 1927

Keynote by Robert I. Davis

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...
by Sophie Quinton
Fri Jul 01, 2016
Forum: Verification challenge
Topic: Schedulability and Timing Analysis of Mixed Preemptive-Cooperative Tasks on a Partitioned Multi-Core System
Replies: 0
Views: 1940

Schedulability and Timing Analysis of Mixed Preemptive-Cooperative Tasks on a Partitioned Multi-Core System

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...
by Sophie Quinton
Fri Jul 01, 2016
Forum: Verification challenge
Topic: Computational Analysis of Complex Real-Time Systems – FMTV 2016 Verification Challenge
Replies: 0
Views: 1831

Computational Analysis of Complex Real-Time Systems – FMTV 2016 Verification Challenge

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...
by Sophie Quinton
Fri Jul 01, 2016
Forum: Verification challenge
Topic: FMTV 2016: Where is the Actual Challenge?
Replies: 0
Views: 1982

FMTV 2016: Where is the Actual Challenge?

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...
by Sophie Quinton
Fri Jul 01, 2016
Forum: Verification challenge
Topic: A Novel Analytical Technique for Timing Analysis of FMTV 2016 Verification Challenge Benchmark
Replies: 0
Views: 1921

A Novel Analytical Technique for Timing Analysis of FMTV 2016 Verification Challenge Benchmark

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...
by Sophie Quinton
Fri Jul 01, 2016
Forum: Verification challenge
Topic: Calculating Latencies in an Engine Management System Using Response Time Analysis with MAST
Replies: 1
Views: 2399

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

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...
by Sophie Quinton
Thu Jun 30, 2016
Forum: Regular contributions
Topic: NTGEN: a Network-on-Chip Traffic Generator toolkit for latency analysis
Replies: 0
Views: 1728

NTGEN: a Network-on-Chip Traffic Generator toolkit for latency analysis

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...
by Sophie Quinton
Thu Jun 30, 2016
Forum: Regular contributions
Topic: Abstract: A Simulation Framework to Analyze the Scheduling of AVR tasks with respect to Engine Performance
Replies: 0
Views: 1738

Abstract: A Simulation Framework to Analyze the Scheduling of AVR tasks with respect to Engine Performance

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...
by Sophie Quinton
Thu Jun 30, 2016
Forum: Regular contributions
Topic: Abstract: Code Generation of Time Critical Synchronous Programs on the Kalray MPPA Many-Core architecture
Replies: 1
Views: 1794

Abstract: Code Generation of Time Critical Synchronous Programs on the Kalray MPPA Many-Core architecture

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...
by Sophie Quinton
Thu Jun 30, 2016
Forum: Regular contributions
Topic: Dynamic criticality management with ARTEMIS
Replies: 0
Views: 1681

Dynamic criticality management with ARTEMIS

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...
by Sophie Quinton
Thu Jun 30, 2016
Forum: Regular contributions
Topic: Evaluation of Mixed-Criticality Scheduling Algorithms using a Fair Taskset Generator
Replies: 2
Views: 2637

Evaluation of Mixed-Criticality Scheduling Algorithms using a Fair Taskset Generator

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...
by Sophie Quinton
Thu Jun 30, 2016
Forum: Regular contributions
Topic: MECHAniSer - A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies
Replies: 0
Views: 1723

MECHAniSer - A Timing Analysis and Synthesis Tool for Multi-Rate Effect Chains with Job-Level Dependencies

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: ...
by Sophie Quinton
Wed Mar 16, 2016
Forum: TuToR'16
Topic: Call for participation TuToR'16
Replies: 0
Views: 3024

Call for participation TuToR'16

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...
by Sophie Quinton
Tue Mar 15, 2016
Forum: Verification challenge
Topic: Questions regarding the amalthea model
Replies: 7
Views: 2882

Re: Questions regarding the amalthea model

Hi Juan,

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

Best,
Sophie
by Sophie Quinton
Tue Feb 16, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 14584

Re: The FMTV'16 Challenge

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 ...
by Sophie Quinton
Tue Feb 16, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 14584

Re: The FMTV'16 Challenge

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
by Sophie Quinton
Wed Feb 03, 2016
Forum: Task sets / Task set generators
Topic: a RT task set from Lunar Rover
Replies: 4
Views: 2299

Re: a RT task set from Lunar Rover

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

Thanks,
Sophie
by Sophie Quinton
Wed Feb 03, 2016
Forum: Task sets / Task set generators
Topic: a RT task set from Lunar Rover
Replies: 4
Views: 2299

Re: a RT task set from Lunar Rover

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
by Sophie Quinton
Tue Jan 26, 2016
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 14584

Re: The FMTV'16 Challenge

Hi,

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

Best,
Sophie
by Sophie Quinton
Tue Dec 01, 2015
Forum: Verification challenge
Topic: The FMTV'16 Challenge
Replies: 33
Views: 14584

The FMTV'16 Challenge

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...
by Sophie Quinton
Wed Nov 18, 2015
Forum: Simulation and trace generation
Topic: A common input format
Replies: 7
Views: 4169

Re: A common input format

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
by Sophie Quinton
Tue Nov 17, 2015
Forum: Simulation and trace generation
Topic: A common input format
Replies: 7
Views: 4169

A common input format

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
by Sophie Quinton
Tue Nov 17, 2015
Forum: WATERS'16
Topic: Call for contributions WATERS'16
Replies: 0
Views: 2920

Call for contributions WATERS'16

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.
by Sophie Quinton
Mon Jul 20, 2015
Forum: WATERS'15
Topic: Keynote by James H. Anderson
Replies: 0
Views: 2660

Keynote by James H. Anderson

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...
by Sophie Quinton
Mon Jul 20, 2015
Forum: News, feedback and suggestions
Topic: About tags and notifications
Replies: 0
Views: 1338

About tags and notifications

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...
by Sophie Quinton
Mon Jul 20, 2015
Forum: Information for newcomers
Topic: A few tips to configure your profile
Replies: 0
Views: 5520

A few tips to configure your profile

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...
by Sophie Quinton
Wed Jul 08, 2015
Forum: Task sets / Task set generators
Topic: rt-muse traces
Replies: 2
Views: 3125

Re: rt-muse traces

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
by Sophie Quinton
Mon Jul 06, 2015
Forum: News, feedback and suggestions
Topic: Which categories?
Replies: 2
Views: 1522

Re: Which categories?

Hi,

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

Best,
Sophie
by Sophie Quinton
Thu Jul 02, 2015
Forum: News, feedback and suggestions
Topic: Which categories?
Replies: 2
Views: 1522

Re: Which categories?

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...
by Sophie Quinton
Thu Jul 02, 2015
Forum: Measurement-based analysis
Topic: rt-muse: obtaining traces from real-time Linux tasksets
Replies: 2
Views: 4358

Re: rt-muse: obtaining traces from real-time Linux tasksets

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
by Sophie Quinton
Tue Jun 30, 2015
Forum: Information for newcomers
Topic: Motivation for this community forum
Replies: 0
Views: 3747

Motivation for this community forum

In the spirit of the WATERS workshop ( http://waters.ecrts.org ), this forum has been set up to create a community for sharing tools and benchmarks to improve comparability of results in the analysis of real-time and embedded systems. People from industry are very welcome to share their experience w...