Tools and Benchmarks for Real-Time Systems

Regular contributions • Re: Abstract: Time4Sys in a Nutshell

2017-06-12T08:19:08+01:00

Just to let you know that the opening process has begun, even if this is early alpha stage.

The code can be found at https://github.com/polarsys/time4sys
One can download our nightly build (highly experimental) from our continuous build system : https://hudson.polarsys.org/time4sys/jo ... 20develop/

Unfortunately there is not that much documentation yet. Some might be found from https://github.com/polarsys/time4sys/tr ... marte/docs
We are preparing full bundle of Capella / Time4Sys / RTaW-Pegase++ all together with videos of its usage nothing official yet.

Statistics: Posted by loic_fejoz — Mon Jun 12, 2017

Regular contributions • Abstract: Time4Sys in a Nutshell

2017-06-07T09:30:23+01:00

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 idea behind this four-years project (2015-2019) is that the temporal performance verification phase of real-time systems development life-cycle shall not be a barrier for non-experts of the domain. Hence, the main objective of Waruna project is to ease the integration of the temporal performance verification in engineering practices. Time4Sys is the framework derived from the Waruna project and whose development is in progress. As an integrated framework aiming to fill the gap between system engineering design models and timing models, Time4Sys is based on two components. The front-end which is dedicated to modellers in order to design real-time systems using a graphical language. The back-end shall be a customized part which allows modellers to analyze iteratively and accurately their designs with different analysis tools. The customization of the back-end consists of managing the transformation between designs and analysis tools and the orchestration of tests that correspond to the designs under-analysis. In other words, the flexibility of the back-end part enables to capitalize the experience of temporal verification analysts as a referential followed by modellers via the front-end without being obliged to have a deep knowledge of the temporal verification. Time4Sys is based on model-driven engineering settings and developed as a Polarsys plugin. Modeling, traceability, transformation, analysis, and result reporting activities are the pillars of the Time4Sys structure and are explicitly formalized as a set of meta-models.

Attached paper:

WATERS_2017_Time4Sys.pdf

Statistics: Posted by Sophie Quinton — Wed Jun 07, 2017

Regular contributions • Analysis and Simulation Tools for Probabilistic Real-Time Systems

2017-06-07T09:26:39+01:00

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 have their timing parameters represented by discrete probabilistic distributions. We describe the main features of each tool and provide configuration details necessary to use them. The two tools are compared, pointing out the advantages and disadvantages of each one, so that interested users can
make an informed choice regarding which tool best fits their needs. Both tools are open source and freely available. One of the main objectives of this paper is to make these tools available to the real-time systems research community, which is also invited to participate in their improvements, by giving feedback and even extending the implementations.

Attached paper:

WATERS_2017_probabilistic-analysis.pdf

Statistics: Posted by Sophie Quinton — Wed Jun 07, 2017

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

2017-06-07T09:22:02+01:00

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 topic are today intensifying. In this sense, the characterization of industrial applications is still a big challenge, due to industry’s reluctance to share application code details. Luckily, this trend is partly changing, and today several industrial partners can disclose high-level details of their software suites, e.g., the timing constraints or even the memory footprint and access patterns, to perform a better application characterization. However, it is still extremely cumbersome to reproduce the behavior of real applications in their actual environment, due to IPR on source code.

In this paper, we introduce the HiPeRT Generator Tool that helps researchers creating synthetic yet realistic test cases, using a variety of techniques based on the model-driven development approach. The result is an open-source framework, that generates ready to use ANSI C code from high-level behavioral description of an application represented with a Directed acyclic graph (DAG).

Attached paper:

WATERS_2017_HTG-simulation-parallel-tasks.pdf

Statistics: Posted by Sophie Quinton — Wed Jun 07, 2017

Regular contributions • Exploring the Interaction between Functional Performance and Scheduling Abstractions

2017-06-07T09:19:13+01:00

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 based on the assumption that the functional performance of the system can be represented (abstracted) by a very simple task model with release and completion time constraints. The hard deadline model is probably the best known example. However, several real applications, such as engine control challenge both the task activation and execution time model, and also the deadline abstraction and the hard schedulability assumptions. Our project on the development of a Simulink based co-simulation environment aims at a more detailed exploration of the impact of (possibly late) response time on the performance of complex control functions. We describe not only our cosimulation framework, but also additional process steps and challenges that relate to its use.

Attached paper:

WATERS_2017_interation-function-scheduling.pdf

Statistics: Posted by Sophie Quinton — Wed Jun 07, 2017

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

2017-06-07T09:14:46+01:00

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 of Electrical and Computer Engineering, University of Alberta)

Abstract: Automated testing frameworks provide a useful tool whether employing test-last or Agile eXtreme Programming test driven development test-first approaches. Additional consideration of how the testing framework’s performance may generate false positive or negative test results becomes important when an embedded system’s real-time performance must be taken into account. In this paper, we consider the advantages and disadvantages of two tools to improve the framework’s performance by co-opting, and extending, on-chip hardware performance monitors to enhance Embedded-Agile development. We discuss providing faster full code test coverage analysis and low-overhead live black-box and white-box testing using a FPGA-based test insertion co-processor. The co-processor development was used as a test bench for exploring FPGA-Agile development

Attached paper:

WATERS_2017_testing-framework.pdf

Statistics: Posted by Sophie Quinton — Wed Jun 07, 2017

Regular contributions • Abstract: Qualification Challenges in Next Generation Automotive Performance ECUs

2017-06-07T09:09:58+01:00

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 configured and started through the platform on the basis of manifest files. Communication among these applications is established at runtime via a service-oriented communication middleware that is agnostic of the underlying communication mechanism. Despite such dynamics of the platform, automotive applications still demand guarantees on real-time, safety and security. This presentation outlines the scope, architecture and capabilities of the AUTOSAR Adaptive Platform and the verification challenges that arise from state of the art performance ECUs.

Attached paper:

WATERS_2017_qualification-automotive.pdf

Statistics: Posted by Sophie Quinton — Wed Jun 07, 2017