Recherche - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu

Filtrer vos résultats

60 résultats
Page :
triés par
Image document

Model-based Synthesis of Distributed Real-time Automotive Architectures

 Ernest Wozniak Woźniak
Embedded Systems. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112145⟩
Thèse tel-01124003v1
Image document

Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés

 Michel Batteux
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112316⟩
Thèse tel-00659063v1

An Optimized Compilation of UML State Machines

 Asma Charfi Smaoui , Chokri Mraidha , Pierre Boulet
ISORC - 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Apr 2012, Shenzhen, China
Communication dans un congrès hal-00676943v1
Image document

Diagrams Editors Specification Using Reusable Components

 Amine El Kouhen
MODELSWARD 2013 : International Conference on Model-Driven Engineering and Software Development, INSTICC, Feb 2013, Barcelona, Spain
Communication dans un congrès hal-00999708v1

Une avancee dans la description de l'influence du Fe(III) sur la corrosion des aciers inoxydables en milieu acide nitrique

 J. Pelle , N. Gruet , B. Gwinner , M. Schlegel , V. Vivier
Materiaux 2018, Nov 2018, Strasbourg, France
Communication dans un congrès cea-02338880v1

Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures

 Asma Mehiaoui , Ernest Wozniak , Jean-Philippe Babau , Sara Tucci-Piergiovanni , Chokri Mraidha
Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Article dans une revue hal-02060027v1
Image document

Automatic Test Case Generation from Matlab/Simulink models

 Diane Bahrami , Alain Faivre , Arnault Lapitre
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès hal-02263453v1
Image document

A Component-Based Approach for Specifying DSML's Concrete Syntax

 Amine El Kouhen , Cedric Dumoulin , Sébastien Gerard , Pierre Boulet
2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩
Communication dans un congrès hal-00829173v1
Image document

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM

 Frédéric Thomas , Jérôme Delatour , François Terrier , Matthias Brun , Sébastien Gérard
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.9-31
Article dans une revue hal-01045009v1

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

 Ngo Minh Thang Nguyen , Boutheina Bannour , Arnault Lapitre , Pascale Le Gall
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Communication dans un congrès hal-02421125v1
Image document

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios

 Mathilde Arnaud , Boutheina Bannour , Arnault Lapitre
Usages of Symbolic Execution Workshop, Jun 2015, Oslo, Norway
Communication dans un congrès cea-01810989v1
Image document

Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications

 Saoussen Anssi , Sara Tucci-Pergiovanni , Chokri Mraidha , Arnaud Albinet , François Terrier , et al.
Embedded Real Time Software & Systems (ERTS² 2010), May 2010, Toulouse, France
Communication dans un congrès hal-02264387v1
Image document

Diagnosability study of technological systems

 Michel Batteux , Philippe Dague , Nicolas Rapin , Philippe Fiani
24th International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems IEA/AIE 2011, Jun 2011, Syracuse, United States
Communication dans un congrès hal-00643664v1
Image document

Rétro-ingénierie des plateformes pour le déploiement des applications temps réel

 Rania Mzid
Système d'exploitation [cs.OS]. Ecole Nationale des Ingénieurs de Sfax; Université de Bretagne Occidentale, 2014. Français. ⟨NNT : ⟩
Thèse tel-01316089v1
Image document

A Component-Based Approach for Specifying Reusable Visual Languages

 Amine El Kouhen , Sébastien Gerard , Cedric Dumoulin , Pierre Boulet
2013 IEEE Symposium on Visual Languages and Human-Centric Computing, Allen Cypher, Sep 2013, San José, CA, United States. pp.135-138, ⟨10.1109/VLHCC.2013.6645257⟩
Communication dans un congrès hal-00860909v1
Image document

VisUML: Live & Interactive Diagrams

 Mickaël Duruisseau , Jean-Claude Tarby , Xavier Le Pallec , Sébastien Gérard
29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p
Communication dans un congrès hal-01577689v1
Image document

Déploiement multiplateforme d'applications multitâche par la modélisation

 Wassim El Hajj Chehade
Autre [cs.OH]. Université Paris Sud - Paris XI, 2011. Français. ⟨NNT : 2011PA112042⟩
Thèse tel-00671383v1
Image document

Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles

 Frédéric Thomas
Génie logiciel [cs.SE]. Université d'Evry-Val d'Essonne, 2008. Français. ⟨NNT : ⟩
Thèse tel-00382556v1

A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems

 Asma Mehiaoui , Ernest Wozniak , Sara Tucci Piergiovanni , Chokri Mraidha , Marco Di Natale , et al.
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
Communication dans un congrès hal-00903753v1
Image document

Robust Hashing for Models

 Salvador Martínez , Sébastien Gérard , Jordi Cabot
21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩
Communication dans un congrès hal-02388808v1

Requirements Engineering Process according to Automotive Standards in a Model-Driven Framework

 Morayo Adedjouma , Hubert Dubois , François Terrier
INSIGHT INCOSE, Volume 16 Special Issue 4, 2013
Article dans une revue hal-01811827v1
Image document

Timed symbolic testing framework for executable models using high-level scenarios

 Mathilde Arnaud , Boutheina Bannour , Arnaud Cuccuru , Christophe Gaston , Sébastien Gerard , et al.
Conference on Complex Systems Design & Management, Nov 2014, Paris, France
Communication dans un congrès cea-01810844v1

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

 Hadi Zaatiti , Lina Ye , Philippe Dague , Jean-Pierre Gallois
28th International Workshop on Principles of Diagnosis DX’17, Sep 2017, Brescia, Italy. pp.124-143
Communication dans un congrès hal-01676889v1
Image document

de Gaulejac, V. La névrose de classe. Trajectoire sociale et conflits d’identité suivi d’une lettre d’Annie Ernaux

 Ginette Francequin , Catherine Valmorin
L'Orientation scolaire et professionnelle, 2017, 46 (1), ⟨10.4000/osp.5366⟩
Article dans une revue hal-04055244v1

Systèmes temps réel embarqués : Conception et implémentation

 Emmanuel Grolleau , Jérôme Hugues , Sara Tucci , Sébastien Gerard , Yassine Ouhammou , et al.
Dunod, 2014, Technique et ingénierie, 978-2-10-071331-8
Ouvrages hal-03368884v1
Image document

Completion of Test Models Based on Code Analysis

 Michael Dierkes , Alain Faivre , Hélène Le Guen , Nicky Williams
Embedded Real Time Software and Systems, ERTS2 2014, Toulouse, France, February 5-7, 2014, 2014, Toulouse, France
Communication dans un congrès hal-01810291v1
Image document

Introducing Distribution into a RTSJ-based Component Framework

 Michal Malohlava , Ales Plsek , Frédéric Loiret , Philippe Merle , Lionel Seinturier
2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Oct 2008, Rennes, France. pp.1-4
Communication dans un congrès inria-00327342v1
Image document

Process and tool support for design patterns with safety requirements

 Ansgar Radermacher , Brahim Hamid , Manel Fredj , Jean-Louis Profizi
18th European Conference on Pattern Language of Programs (EuroPlop 2013), Jul 2013, Kloster Irsee, Germany. pp. 1-16
Communication dans un congrès hal-01400101v1

Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems

 Asma Mehiaoui , Sara Tucci Piergiovanni , Chokri Mraidha , Jean-Philippe Babau
9th IEEE International Symposium on Industrial Embedded Systems (SIES), 2014, Jun 2014, Pisa, Italy. pp.122-132, ⟨10.1109/SIES.2014.6871196⟩
Communication dans un congrès hal-01157249v1
Image document

Development of a SHM system by elastic guided waves applied to aeronautic structures

 Andrii Kulakovskyi
Signal and Image Processing. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLX021⟩
Thèse tel-02271270v1
Page :