De nombreux industriels sont actuellement confrontés au développement de systèmes embarqués critiques et avec des pressions croissantes en termes de complexité, fiabilité, coûts et temps de (...)
Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First Workshop on Hands-on Platforms and tools for (...)
C. Ponsard, M. Delehaye, "Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures", Fourth IEEE International workshop UML and AADL Held in conjunction with the 14th (...)