INTERESTED Publications
Press Release
-
EU's INTERESTED project concludes with goals achieved
- Elancourt, France and Cheltenham, UK 6JUL2011
- Read in
- 5JUL2011
Presentations
Deadline verification and freedom from interference in safety-critical systems
SYMTA VISION - Torino 2011
Process recommendations for timinganalysis in AUTOSAR-based projects
SYMTA VISION - Torino 2011
Providing timing guarantees for Ethernetbased networks
SYMTA VISION - Torino 2011
Scheduling Analysis for Control Units and Networks
SYMTA VISION - Torino 2011
System- / software-architecture exploration & virtual timing verification
SYMTA VISION - Torino 2011
- 30JUN2011
Presentation
Cost reduction through early schedule verification and optimization for ARINC 653-based partitioned software systems
SYMTA VISION - Avonics & DefenceElectronics Europe 2011
Presentation
An Integrated Timing Analysis Methodology for Real-Time Systems
SYMTA VISION and AbsInt
Paper
Cost reduction through early schedule verification and optimization for ARINC 653-based partitioned software systems
Author: Christoph Ficek - SYMTA VISION
Abstract:
In today systems the fixing of errors and failures in late development phases is very expensive. Because of this virtual verification in the design phase is highly desirable. One important aspect for the verification of embedded software is timing and scheduling, especially for safety critical systems. In today systems the fixing of errors and failures in late development phases is very expensive. Because of this virtual verification in the design phase is highly desirable. One important aspect for the verification of embedded software is timing and scheduling, especially for safety critical systems. The ARINC 653 operating system standard facilitates software integration in a protected way (memory and time) according to safety standards DO178 and IEC 61508. Despite its fully deterministic top-level TDMA schedule, there are questions: How to optimize the TDMA layout and maximize utilization? How to verify process deadlines within each partition? Where is the interface between applications development (one partition) and system integration? This requires a more detailed look on timing and scheduling and a reliable scheduling analysis.
Paper
Schedule verification and optimization for partitioned operating systems
Authors: Dr. Kai Richter and Dr. Marek Jersak - SYMTA VISION
Abstract:
With the trend to higher function integration in the avionics domain, multiple applications need to run in parallel on one LRU (line replaceable unit). To fulfill the safety requirements of avionics, these applications must essentially be protected against each other, such that a failure in one application does under no circumstances lead to a failure in another application due to memory corruption, locked resources, or CPU stealing. In avionics, this is done by partitioned operating systems according to the Arinc 653 standard in which each partition runs independently from all other partitions, and mutual interference is prohibited through appropriate mechanisms. This provides a virtualization framework to integrate several applications on one LRU without compromising real-time correctness and functional safety. However, the optimal configuration of an Arinc 653 system is not addressed by existing methods. In this paper, we show how scheduling analysis can be used to verify and optimize an Arinc 653 system.
Brochure
Timing Analysis for Aerospace
SYMTA VISION
- 23JUN2011
Industrial White Papers
Industrial Validator Whitepaper Airbus
Author: Cedrik Besseyre - AIRBUS Operations S.A.S
Abstract:
The aim of this document is to show how Airbus can use the INTERESTED workflow, what the expected benefits are, and how Airbus measured the improvement that the INTERESTED tool chain will provide to the entire system to software development process. In order to be able to provide such answer an industrial use case has been implemented using INTERESTED Tool chain.
Industrial Validator Whitepaper CEA List
Authors: Simon Bliudze, Agnès Lanusse, Franck Védrine - CEA List
Abstract:
This white paper presents the INTERESTED integration of the Esterel Technologies design and code generation environment SCADE Suite, with the CEA system-level modelling tool Papyrus MDT, real-time execution platform OASIS and numerical analysis tool FLUCTUAT.
Industrial Validator Whitepaper Magneti-Marelli
Author: Giacomo Gentile - Magneti-Marelli
Abstract:
The aim of this document is to show how Magneti Marelli will use the INTERESTED workflow, what the expected benefits are, and how we intend to measure the improvement that the INTERESTED tool chain will provide to the entire software development process.
Industrial Validator Whitepaper Siemens AG
Authors: Stefan Gerken, Ralf Pinger, Uwe Steinke - Siemens AG
Abstract:
The railway market is changing significantly. In the past, it mainly focused on high-speed, long-distance mainline and metropolitan mass transit networks. The new arising challenges are to increase safety for regional railways offering low-demand services. Due to the low level of demand, these regional railways have operated completely manually without technical support systems.
Industrial Validator Whitepaper Thales
Authors: P. Chaumette, M. Faugère, J-Y. Friant - Thales
Abstract:
The objective of this document is to present the context in which Thales Rail Signaling will use and exploit the model based approach, involving tight intertwinement between design and validation steps based on strong language semantics for system engineering. The workflow defined and tested within the INTERESTED project will be used to measure the quantitative and qualitative improvement of the approach according railway system safety critical application development cycle.
- 9MAY2011
Paper
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal and Franck Védrine
International Formal methods for critical systems FMICS 2009, November 2-3, 2009, Eindhoven, The Netherlands
Abstract:
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE 754 arithmetic make stability and accuracy analyses a requirement for this type of software. This need is traditionally addressed through a combination of testing and sophisticated intellectual analyses, but such a process is both costly and error-prone. FLUCTUAT is a static analyzer developed by CEA-LIST for studying the propagation of rounding errors in C programs. After a long time research collaboration with CEA-LIST on this tool, Airbus is now willing to use FLUCTUAT industrially, in order to automate part of the accuracy analyses of some control programs. In this paper, we present the IEEE 754 standard, the FLUCTUAT tool, the types of codes to be analyzed and the analysis methodology, together with code examples and analysis results.
This work is supported by FP7 European project INTERESTED, ITEA 2 European project ES_PASS, a grant from the DIGITEO foundation, and the french DPAC (Direction des Programmes Aéronautiques Civils).
- 9MAY2011
Presentation
Integration of heterogeneous models in automotive systems design
Automotive Spin 2011 Milan, February 17th
Press Release
-
EU's INTERESTED project to target the rapid design, prototyping and code generation of complex embedded systems and software
- Elancourt, France and Cheltenham, UK 23FEB2009
- Read in
