Press Release
-
EU's INTERESTED project concludes with goals achieved
- Elancourt, France and Cheltenham, UK 6JUL2011
- Read in
Publications
- Presentation - Deadline verification and freedom from interference in safety-critical systems
- Presentation - Process recommendations for timinganalysis in AUTOSAR-based projects
- Presentation - Providing timing guarantees for Ethernetbased networks
- Presentation - Scheduling Analysis for Control Units and Networks
- Presentation - System- / software-architecture exploration & virtual timing verification
- 5JUL2011
Publications
- Presentation - An Integrated Timing Analysis Methodology for Real-Time Systems
- Presentation - Cost reduction through early schedule verification and optimization for ARINC 653-based partitioned software systems
- Paper - Cost reduction through early schedule verification and optimization for ARINC 653-based partitioned software systems
- Paper - Schedule verification and optimization for partitioned operating systems
- Brochure - Timing Analysis for Aerospace
- 30JUN2011
Industrial White Papers
- Industrial Validator Whitepaper Airbus
- Industrial Validator Whitepaper CEA List
- Industrial Validator Whitepaper Magneti-Marelli
- Industrial Validator Whitepaper Siemens AG
- Industrial Validator Whitepaper Thales
- 23JUN2011
Publications
- Presentation - Integration of heterogeneous models in automotive systems design
- Paper - Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
- 9MAY2011
Interested Deliverables
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
