Formal Verification Techniques in a Model-Based Development Process based on TargetLink generated C-Code
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
- Publisher:
- SIA
Verifying Timing Properties of Safety-Critical Embedded Software by Abstract Interpretation
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
OTAWA, a Framework for Experimenting WCET Computations
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Towards the Verification of Model Transformations
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
AutoMoDe A Transformation Based Approach for the Model-based Design of Embedded Automotive Software
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Experimentation of Timed Observers for Avionics Models Validation
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Real-time Guarantees on Full-Duplex Switched Ethernet for Military Applications
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Model Driven Engineering for Embedded Real-Time Systems
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Combining Model-Driven Design With Diverse Formal Verification
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA
Model Style Guidelines for Embedded Code Generation
- Presented at:
- European Congress ERTS 2006, Toulouse, France
- Date:
- January 2006
- Publisher:
- SIA