TwIRTee design exploration with Capella and IP-XAC

Autor: Ouni, Bassem, Gaufillet, Pierre, Cuenot, Philippe

Publikováno v: DVCon Europe (Design and Verification Conference Exhibition)
DVCon Europe (Design and Verification Conference Exhibition), Oct 2016, Munchen, Germany. pp.0

International audience; With the huge increase of embedded devices, model driven engineering becomes necesseray in order to cover a large spectrum of multiple abstraction levels. System models are exploited for design specification, system evaluation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1b73153e919004f20427d033f09870af
https://hal.archives-ouvertes.fr/hal-02141405/file/ouni_18229.pdf

How to benefit from Open Source components in your embedded products?

Autor: Gaufillet, Pierre, Marchal, Clotilde

Integrating open source components in embedded products is a real opportunity to improve your productivity and to implement attractive new features in your products. But for benefiting safely from this new approach of Intellectual Property, a good kn

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cc8659276fc1867af90efead8f75bddf
https://hal.science/hal-02272462

Formal Verification of AADL models with Fiacre and Tina

Autor: Bodeveix, Jean-Paul, Berthomieu, Bernard, Dal Zilio, Silvano, Gaufillet, Pierre, Dissaux, Pierre, Heim, Sebastien, Filali, Mamoun, Vernadat, François

Publikováno v: ERTSS 2010-Embedded Real-Time Software and Systems
ERTSS 2010-Embedded Real-Time Software and Systems, 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-9, ⟨10.5281/zenodo.32930⟩
ERTSS 2010-Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
HAL

9 pages; International audience; This paper details works undertaken in the scope of the Spices project concerning the behavioral verification of AADL models. We give a high-level view of the tools involved and describe the successive transformations

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::569e428e53498a35be1fb6de72ffe67d
https://hal.science/hal-00494348/file/aadlTopcased.pdf

Fiacre: an Intermediate Language for Model Verification in the Topcased Environment

Autor: Berthomieu, Bernard, Bodeveix, Jean-Paul, Farail, Patrick, Filali, M, Garavel, Hubert, Gaufillet, Pierre, Lang, Frederic, Vernadat, François

Publikováno v: 4th European Congress ERTS Embedded Real Time Software (ERTS 2008)
4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p
4th European Congress ERTS Embedded Real Time Software (ERTS 2008), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8
ERTS 2008 proceedings
Embedded Real Time Software and Systems (ERTS2008)
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France

International audience; Fiacre was designed in the framework of the TOPCASED project dealing with model-driven engineering and gathering numerous partners, from both industry and academics. Therefore, Fiacre is designed both as the target language of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::249f63ff76dffc5047fc3a11678ef47b
https://hal.inria.fr/inria-00262442/document

The COTRE Project: How to model and verify Real Time Architecture?

Autor: Farail, Patrick, Gaufillet, Pierre, Farines , J-M, Lambert, J-L, Dissaux, Pierre, Hafidi, H, Michel, Pierre, Filali, M, Bodeveix, J-P, Vernadat, François, Berthomieu, Bernard, Ribet, P

Publikováno v: ERTS 2004 proceedings
2nd Embedded Real Time Software Congress (ERT 2004)
2nd Embedded Real Time Software Congress (ERT 2004), Jan 2004, Toulouse, France
2nd Embedded Real Time Software Congress (ERT 2004), SIA; SEE; AAAF, Jan 2004, Toulouse, France

International audience; COTRE (COmposant Temps Réel) is a two years project starting in January 2002, supported by Réseau National des Technologies Logicielles (RNTL) The COTRE Project aims at providing a design methodology and its associated softw

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f63932a75fdfc0af687dd658d735ffb0
https://hal.archives-ouvertes.fr/hal-02271255