par Aurélie | Oct 31, 2014 | Publications
Mian Chen (IRT SystemX), Omar Hammami (ENSTA ParisTech), Martine Callot (Airbus Group Innovations) Résumé At present, a vehicle system involves more and more domains and becomes more and more complex. In order to improve the vehicle conception process working cycle,...
par Aurélie | Oct 30, 2014 | Publications
Delphine Longuet (Université Paris-Sud), Frédéric Tuong (IRT SystemX), Burkhart Wolf (LRI) Résumé We show how modern proof environments comprising code generators and re flection facilities can be used for the effective construction of a tool for OCL. For this end,...
par Aurélie | Oct 30, 2014 | Publications
Christophe Gaston, Robert M. Hierons, Pascale Le Gall (IRT SystemX / CEA / ECP / Brunel University) Résumé Many systems interact with their environment at physically distributed interfaces and the distributed nature of any observations made is known to complicate...
par Aurélie | Oct 30, 2014 | Publications
Thomas Carle, Manel Djemal, Dumitru Potop Butucaru, Robert de Simone, Zhen Zhang, Francois Pecheux, Franck Wajbuers (Inria / IRT SystemX) Résumé We start from a general-purpose many-core architecture designed for average-case performance and ease of use. In...
par Aurélie | Oct 30, 2014 | Publications
Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert (IMT / IRT SystemX) Résumé ARINC 653 systems have to comply with strong requirements with respect to time determinism and resource consumption. However, interacting processes may introduce significant...
par Aurélie | Oct 30, 2014 | Publications
Achim D. Brucker (SAP), Frédéric Tuong (IRT SystemX), Burkhart Wolff (LRI) Résumé The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly known as diagrammatic modeling language (e.g., visualizing...
