Publications HAL

2024

Journal articles

titre
NAVIDRO, a CARES architectural style for configuring drone co-simulation
auteur
Loic Salmon, Pierre-Yves Pillain, Goulven Guillou, Jean-Philippe Babau
article
ACM Transactions on Embedded Computing Systems (TECS), In press, ⟨10.1145/3651889⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04514108/file/3651889.pdf BibTex

2022

Conference papers

titre
FaST: An Efficient Framework For Visualizing Large-Scale Time Series
auteur
Manele Ait Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
article
2022 IEEE International Conference on Big Data (Big Data), Dec 2022, Osaka, Japan. pp.3745-3754, ⟨10.1109/BigData55660.2022.10020317⟩
Accès au bibtex
BibTex

2021

Conference papers

titre
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function
auteur
Loic Salmon, Pierre-Yves Pillain, Goulven Guillou, Jean-Philippe Babau
article
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France. pp.01-08, ⟨10.1109/FDL53530.2021.9568380⟩
Accès au bibtex
BibTex

2020

Conference papers

titre
An Iterative Approach to Automate the Tuning of Continuous Controller Parameters
auteur
Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
article
2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC), Dec 2020, Guangzhou, China. pp.1-8, ⟨10.1109/EUC50751.2020.00008⟩
Accès au bibtex
BibTex
titre
Chaining model transformations to develop a system model verification tool : : application to capella state machines and data flows models
auteur
Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas
article
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, Apr 2020, Brno Czech Republic, Czech Republic. pp.1654-1657, ⟨10.1145/3341105.3374093⟩
Accès au bibtex
BibTex
titre
Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink
auteur
Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas
article
8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02866122/file/Chaining_Model_Transformations_to_Verify_Capella_Models__modelSward___short__%282%29.pdf BibTex

2019

Journal articles

titre
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures
auteur
Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci-Piergiovanni, Chokri Mraidha
article
Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Accès au bibtex
BibTex
titre
From real-time design model to RTOS-specific models: a model-driven methodology
auteur
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
article
International Journal of Embedded Systems, 2019, 11 (6), pp.738. ⟨10.1504/IJES.2019.103991⟩
Accès au bibtex
BibTex

Conference papers

titre
A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters
auteur
Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
article
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, France. pp.568-576, ⟨10.1109/MODELS-C.2019.00087⟩
Accès au bibtex
BibTex
titre
Parametric exploration for tuning a sailboat control law
auteur
Goulven Guillou, Emilien Lavigne, Jean-Philippe Babau
article
14th National Conference on Software and Hardware Architectures for Robots Control (SHARC'19), Jul 2019, Montpellier, France
Accès au bibtex
BibTex
titre
A Model-Driven Framework for WPS Development
auteur
Jean-Philippe Babau
article
Computational Methods in Water Resources (CMWR), Jun 2019, Saint-Malo, France
Accès au bibtex
BibTex
titre
Sailboat Routing with Multiple Objectives for Sailing Races
auteur
Goulven Guillou, Laurent Lemarchand, Jean-Philippe Babau
article
23rd Chesapeake Sailing Yacht Symposium, Mar 2019, Annapolis, United States
Accès au bibtex
BibTex

2018

Journal articles

titre
Bandwidth Allocation for Sharing Video in a Closed Domestic Network
auteur
Laurent Lemarchand, Jean-Philippe Babau
article
Journal of Communications and Networks, 2018, 20 (2), pp.168--181
Accès au bibtex
BibTex

Conference papers

titre
Robotic system testing with AMSA framework
auteur
Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
article
International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Workshop MDETOOLS, Oct 2018, Copenhague, Denmark
Accès au bibtex
BibTex
titre
ROS code generation from AMSA framework for robotic systems testing
auteur
Hamza El Baccouri, Emilien Lavigne, Goulven Guillou, Jean-Philippe Babau
article
13th National Conference on Software and Hardware Architectures for Robots Control (SHARC'18), Jun 2018, Saint Tropez, France
Accès au bibtex
BibTex
titre
AVS, a model-based racing sailboat simulator: application to wind integration
auteur
Emilien Lavigne, Goulven Guillou, Jean-Philippe Babau
article
3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018, Jun 2018, Faro, Portugal. pp.88-94, ⟨10.1016/j.ifacol.2018.06.242⟩
Accès au bibtex
BibTex
titre
QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System
auteur
Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau
article
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), May 2018, Singapore, France. pp.42-50, ⟨10.1109/ISORC.2018.00014⟩
Accès au bibtex
BibTex

2016

Conference papers

titre
ModifRoundtrip: A Model-Based tool to reuse legacy transformations
auteur
Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf
article
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint Malo, France
Accès au bibtex
BibTex
titre
Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation
auteur
B.L. Nabec, B.B. Hedia, Jean-Philippe Babau, M. Jan, H. Guesmi
article
2016 Forum on Specification and Design Languages (FDL), Sep 2016, Bremen, Germany. ⟨10.1109/FDL.2016.7880385⟩
Accès au bibtex
BibTex
titre
A Process for Evaluating Parametric Models for Mechanical Systems Simulation : the Case of a Sailboat
auteur
E. Lavigne, B. Piquemal, Adeline Bourdon, Simon Chesné, Goulven Guillou, Jean-Philippe Babau
article
Sofware and Hardware Architectures for Robots Control, Jun 2016, Brest, France
Accès au bibtex
BibTex
titre
ImocaGen: A Model-based Code Generator for Embedded Systems Tuning
auteur
Goulven Guillou, Jean-Philippe Babau
article
4th International Conference on Model-Driven Engineering and Software Development, Feb 2016, Rome, Italy. pp.390-396, ⟨10.5220/0005804103900396⟩
Accès au bibtex
BibTex

2015

Journal articles

titre
Recontextualisation de modèles par graphes de dépendance
auteur
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015
Accès au bibtex
BibTex
titre
A Model-driven Approach for the Generation of Customizable Model Migrations
auteur
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
Communications in Computer and Information Science, 2015, Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, 580, pp.67--81. ⟨10.1007/978-3-319-27869-8_4⟩
Accès au bibtex
BibTex

Conference papers

titre
Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study
auteur
Paola Vallejo, Mickaël Kerboeuf, Kevin Martin, Jean-Philippe Babau
article
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada
Accès au bibtex
BibTex
titre
IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle processus
auteur
Goulven Guillou, Jean-Philippe Babau
article
10th National Conference of Control Architectures of Robot (CAR'15), Jun 2015, Lyon, France
Accès au bibtex
BibTex
titre
Specification of Adaptable Model Migrations
auteur
Paola Vallejo, Mickael Kerboeuf, Jean-Philippe Babau
article
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, Feb 2015, Angers, France
Accès au bibtex
BibTex

Reports

titre
Formal framework of recontextualization by means of dependency graphs
auteur
Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
article
[Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01140107/file/ModifKeysGraph.pdf BibTex

2014

Journal articles

titre
IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus
auteur
Goulven Guillou, Jean-Philippe Babau
article
Revue des Nouvelles Technologies de l'Information, 2014, Avancées récentes dans le domaine des Architectures Logicielles, RNTI-L-7, pp.147-164
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01102839/file/39.pdf BibTex
titre
RTOS-Aware Refactoring for Portable Real-Time Design Models
auteur
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
article
Journal of Software, 2014, 9 (7), pp.1737-1748. ⟨10.4304/jsw.9.7.1737-1748⟩
Accès au bibtex
BibTex

Conference papers

titre
IMOCA: a Model-Based Code Generator for the Development of Multi-Platform Marine Embedded Systems
auteur
Goulven Guillou, Jean-Philippe Babau
article
MOQESM'14. International Conference of Quantitative Monitoring of Underwater Environment, Oct 2014, Brest, France
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01102862/file/stw14.pdf BibTex
titre
CdmCL, a Specific Textual Constraint Language for Common Data Model
auteur
Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
International Workshop on OCL and Textual Modelling, co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
Accès au bibtex
BibTex
titre
Efficient models configuration for an electric vehicle energy management software
auteur
Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
article
Euromicro Conference series on Software Engineering and Advanced Applications (SEAA), Aug 2014, Verona, Italy. pp.Pages 48-55, ⟨10.1109/SEAA.2014.80⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01001566/file/SEAA2014_-_Efficient_models_configuration_for_an_electric_vehicle_energy_management_software.pdf BibTex
titre
Dynamic Server Configuration for Multiple Streaming in a Home Network
auteur
Laurent Lemarchand, Isaac Armah-Mensah, Jean-Philippe Babau
article
International Conference on Embedded and Ubiquitous Computing, Aug 2014, Milan, Italy. pp 39--45, ⟨10.1109/EUC.2014.15⟩
Accès au bibtex
BibTex
titre
Integration of physical models in the ORQA framework for electric vehicle energy management
auteur
Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
article
Doctoral Symposium on Components and Architecture (WCOP), Jun 2014, Marcq-en-Baroeul, France. pp.7-12, ⟨10.1145/2601328.2601332⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01020135/file/WCOP-CompArch2014_-_Integration_of_Physical_Models_in_the_ORQA_Framework_for_Electric_Vehicle_Energy_Management.pdf BibTex
titre
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models
auteur
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
article
the 10th international ACM Sigsoft conference on Quality of software architectures, QoSA'14, Jun 2014, Lille, France. pp.139-144, ⟨10.1145/2602576.2602591⟩
Accès au bibtex
BibTex
titre
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems
auteur
Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau
article
9th IEEE International Symposium on Industrial Embedded Systems (SIES), 2014, Jun 2014, Pisa, Italy. pp.122-132, ⟨10.1109/SIES.2014.6871196⟩
Accès au bibtex
BibTex
titre
Génération de code multi-plates-formes pour la mise au point de modèles IMOCA
auteur
Goulven Guillou, Jean-Philippe Babau
article
CAL 2014. Conférence francophone sur l'Architecture Logicielle, Jun 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01102851/file/cal14.pdf BibTex

2013

Journal articles

titre
Resource Management for Multimedia Applications, Distributed in Open and Heterogeneous Home Networks
auteur
Maxime Louvel, Alain Plantec, Jean-Philippe Babau
article
Journal of Systems Architecture, 2013, 59 (3), pp.121-134. ⟨10.1016/j.sysarc.2013.01.003⟩
Accès au bibtex
BibTex
titre
Resource management for multimedia applications, distributed in open and heterogeneous home networks
auteur
Maxime Louvel, Alain Plantec, Jean-Philippe Babau
article
Journal of Systems Architecture, 2013, 59 (3), pp.121-134. ⟨10.1016/j.sysarc.2013.01.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01275907/file/jsa_armor.pdf BibTex
titre
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework
auteur
Juan Navas, Jean-Philippe Babau, Jacques Pulou
article
Science of Computer Programming, 2013, 8, pp.1073-1098. ⟨10.1016/j.scico.2012.08.004⟩
Accès au bibtex
BibTex

Conference papers

titre
Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability
auteur
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
7th MoDELS workshop on Models and Evolution, Sep 2013, Miami, United States. pp.1
Accès au bibtex
BibTex
titre
DPMP: A Software Pattern for Real-Time Tasks Merge
auteur
Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid
article
9th European Conference on Modelling Foundations and Applications, Jul 2013, Montpellier, France. pp.101-117, ⟨10.1007/978-3-642-39013-5_8⟩
Accès au bibtex
BibTex
titre
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
auteur
Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gerard
article
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
Accès au bibtex
BibTex
titre
ORQA: Modeling Energy and Quality of Service within AUTOSAR Models
auteur
Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
article
Quality of Software Architectures (QoSA), Jun 2013, Vancouver, Canada. pp.Pages 3-12, ⟨10.1145/2465478.2465488⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00852862/file/QoSA2013_-_ORQA_-_Modeling_Energy_and_Quality_of_Service_within_AUTOSAR_Models_-_Author_version.pdf BibTex
titre
IMOCA : une architecture à base de modes de fonctionnement pour une application de contrôle dans un environnement incertain
auteur
Goulven Guillou, Jean-Philippe Babau
article
CAL 2013. 7ième conférence francophone sur les architectures logicielles., May 2013, Toulouse, France
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01102659/file/imoca2.pdf BibTex
titre
Modif: Automating data migration for the reuse of legacy tools
auteur
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France
Accès au bibtex
BibTex

Reports

titre
A kernel transformation language for metamodel evolution and reversible model co-evolution
auteur
Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
article
2013
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00842789/file/microdif.pdf BibTex

2012

Conference papers

titre
A Hardware/Software CBSE Framework for RTOS Services: the Timing Service Case Study
auteur
Stéphane Rubini, Jean-Philippe Babau, Jalil Boukhobza
article
IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Dec 2012, Phaphos, Cyprus. pp.570--577
Accès au bibtex
BibTex
titre
A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages
auteur
Mickael Kerboeuf, Jean-Philippe Babau, V. Gaudel
article
Conférence : 6th MoDELS workshop on Models and Evolution., Oct 2012, Innsbruck, Austria. pp.P.P1-6
Accès au bibtex
BibTex
titre
Real-Time Design Models to RTOS-Specific Models Refinement Verification
auteur
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
article
5th MoDELS workshop on Model Based Architecting and Construction of Embedded Systems, Sep 2012, Innsbruck, Austria. pp.25-30
Accès au bibtex
BibTex
titre
VBR Video Abstraction for Home-Network Reservation
auteur
Laurent Lemarchand, Maxime Louvel, Jean-Philippe Babau
article
7th International Conference on Embedded and Multimedia Computing (EMC-12), Sep 2012, Gwangu, South Korea. pp.113-122, ⟨10.1007/978-94-007-5076-0_13⟩
Accès au bibtex
BibTex
titre
A MDD Approach for RTOS Integration on Valid Real-Time Design Model
auteur
Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid
article
38th Euromicro Conference on Software Engineering and Advanced Applications, Sep 2012, Cesme, Turkey. pp.9-16
Accès au bibtex
BibTex
titre
Optimizing the Deployment of Distributed Real-Time Embedded Applications
auteur
Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Laurent Lemarchand
article
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2012, Séoul, South Korea. pp.400-403
Accès au bibtex
BibTex
titre
Modèles et transformations de modèles pour l'introduction de la consommation énergétique dans le standard AUTOSAR
auteur
Borjan Tchakaloff, Sébastien Saudrais, Jean-Philippe Babau
article
Conférence en IngénieriE du Logiciel (CIEL), Jun 2012, Rennes, France. papier n°20
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00734226/file/CIEL2012-Tchakaloff-paper20.pdf BibTex

Reports

titre
A Mixed Integer Linear Programming formulations for optimizing timing performance during the deployment phase in real-time systems design
auteur
Asma Mehiaoui, Tucci-Piergiovanni Sara, Jean-Philippe Babau
article
2012
Accès au texte intégral et bibtex
https://cea.hal.science/cea-00811359/file/TechnicalReport120307AM.pdf BibTex

2011

Conference papers

titre
Organizational Configurations in Executable Enterprise Architecture Models
auteur
Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
article
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
Accès au bibtex
BibTex
titre
Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks: The CPU Use Case
auteur
Maxime Louvel, Julien Tous, Jean-Philippe Babau, Alain Plantec
article
Embedded and Ubiquitous Computing, EUC 2011, Oct 2011, Melbourne, Australia. pp.19-26
Accès au bibtex
BibTex
titre
A DSML for reversible transformations
auteur
Mickael Kerboeuf, Jean-Philippe Babau
article
11th OOPSLA Workshop on Domain-Specific Modeling, Oct 2011, Portland, United States. pp.1-6
Accès au bibtex
BibTex
titre
Domain Specific Language Modeling Facilities
auteur
Jean-Philippe Babau, Mickael Kerboeuf
article
5th MoDELS workshop on Models and Evolution, Oct 2011, Wellington, Nouvelle-Zélande. pp.1-6
Accès au bibtex
BibTex
titre
Implémentation Matérielle des Services d'un RTOS sur Circuit Reconfigurable
auteur
Pierre Olivier, Jalil Boukhobza, Jean-Philippe Babau, Damien Picard, Stéphane Rubini
article
Ecole d'été du temps réel, Aug 2011, Brest, France. pp.199
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00620070/file/ETR2011_camera.pdf BibTex
titre
Integrating Design and Runtime Variability Support into a System ADL
auteur
M. Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
article
7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
Accès au bibtex
BibTex
titre
An experiment of a MDE approach for the design of reusable DSL tools
auteur
Mickael Kerboeuf, Alain Plantec, Jean-Philippe Babau
article
journées sur l'Ingénierie Dirigée par les Modèles (IDM), Jun 2011, Lille, France. pp.25-30
Accès au bibtex
BibTex
titre
A Network Resource Management Framework for Multimedia Applications Distributed in Heterogeneous Home Networks
auteur
Maxime Louvel, P. Bonhomme, Jean-Philippe Babau, Alain Plantec
article
Advanced Information Networking and Applications, AINA 2011, Mar 2011, Singapour, Singapore. pp.724-731
Accès au bibtex
BibTex

2010

Conference papers

titre
An Optimized Run-time Evolution Infrastructure for Component-Based Embedded Systems
auteur
Juan Navas, Jean-Philippe Babau, Jacques Pulou
article
BENEVOL, Dec 2010, Lille, France
Accès au bibtex
BibTex
titre
RT-simex: retro-analysis of execution traces
auteur
Julien Deantoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon
article
SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Accès au bibtex
BibTex
titre
A Component-based Run-time Evolution Infrastructure for Resource-Constrained Embedded Systems
auteur
Juan Navas, Jean-Philippe Babau, Jacques Pulou
article
Generative Programming and Component Engineering, Oct 2010, Eindhoven, Netherlands. pp.73-82
Accès au bibtex
BibTex
titre
Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications
auteur
Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau
article
WIP session, Real-time and networked embedded systems track, Sep 2010, Bilbao, Spain
Accès au bibtex
BibTex

Book sections

titre
Model integration for formal qualification of timing-aware software data acquisition components
auteur
Jean-Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain
article
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
Accès au bibtex
BibTex

2009

Journal articles

titre
Qinna: a component-based framework for runtime safe resource adaptation of embedded systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
Scalable Computing : Practice and Experience, 2009, 10 (3), pp.253-264
Accès au bibtex
BibTex
titre
SAIA : une utilisation conjointe du génie logiciel et des méthodes formelles
auteur
Julien Deantoni, Jean-Philippe Babau
article
En vue - Lettre d'information de l'INSA de Lyon, 2009, 26
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00587097/file/IF_juin_2010_SAIA.pdf BibTex

Conference papers

titre
Formal modelling framework of data acquisition software using a synchronous approach for timing analysis
auteur
Lionel Morel, Jean-Philippe Babau, Belgacem Ben Hedia
article
30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Oct 2009, Mrągowo, Poland. pp.1-8
Accès au bibtex
BibTex
titre
Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development
auteur
Juan Navas Mantilla, Jean-Philippe Babau
article
EPS'09, Aug 2009, Canada. pp.514-519
Accès au bibtex
BibTex
titre
Minimal yet Effective Reconfiguration Infrastructures in Component-Based Embedded Systems
auteur
Juan Navas Mantilla, Jean-Philippe Babau, O. Lobry
article
SINTER'09, Aug 2009, Netherlands. pp.43-48
Accès au bibtex
BibTex
titre
Optimizing Component-Based Embedded Software
auteur
Olivier Lobry, Juan Navas, Jean-Philippe Babau
article
2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems(CORCS09), Jul 2009, Seattle, United States. pp.491-496
Accès au bibtex
BibTex
titre
Component-Based Real-Time Operating System for Embedded Applications
auteur
Frédéric Loiret, Juan Navas, Jean-Philippe Babau, Olivier Lobry
article
12th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'09), Jun 2009, East Stroudsburg, United States. pp.209-226
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00437949/file/Loiret_Navas_Babau_Lobry-CBSE09.pdf BibTex
titre
Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00349918/file/aiccsa2009_gonnord_babau_with_copyright.pdf BibTex

2008

Conference papers

titre
Runtime resource assurance and adaptation with Qinna framework : a case study
auteur
Jean-Philippe Babau, Laure Gonnord
article
Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
Accès au bibtex
BibTex
titre
Detecting wormhole attacks in wireless networks using local neighborhood information
auteur
Wassim Znaidi, Marine Minier, Jean-Philippe Babau
article
19th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'08, Sep 2008, Cannes, France. pp.1-5
Accès au bibtex
BibTex

Reports

titre
Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
auteur
Laure Gonnord, Jean-Philippe Babau
article
[Research Report] RR-6565, INRIA. 2008
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00289937/file/RR6565.pdf BibTex
titre
Resource management with Qinna framework : the remote viewer case study
auteur
Laure Gonnord, Jean-Philippe Babau
article
[Technical Report] RR-6562, INRIA. 2008
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00288593/file/RR-6562.pdf BibTex
titre
An Ontology for Attacks in Wireless Sensor Networks
auteur
Wassim Znaidi, Marine Minier, Jean-Philippe Babau
article
[Research Report] RR-6704, INRIA. 2008
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00333591/file/RR-6704.pdf BibTex

2007

Documents associated with scientific events

titre
Architectures logicielles pour les systèmes embarqués temps réel
auteur
Jean-Philippe Babau, Julien Deantoni
article
Ecole d'été temps réel, Sep 2007, Nantes, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00587164/file/JPB_JDA_ETR07.pdf BibTex

2006

Conference papers

titre
SAIA: safe deployment of sensors based real time application
auteur
Julien Deantoni, Jean-Philippe Babau
article
Workshop on Models and Analysis for Automotive Systems (held in conjunction with RTSS), Dec 2006, Rio de Janeiro, Brazil
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00587178/file/deantoni_babau_MAMAS.pdf BibTex
titre
Model driven engineering method for SAIA architecture design
auteur
Julien Deantoni, Jean-Philippe Babau
article
Ingénierie Dirigée par les Modèles, Jun 2006, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00587200/file/IDM06_deantoni_babau_CR.pdf BibTex

2005

Conference papers

titre
A MDA-based approach for real time embedded systems simulation
auteur
Julien Deantoni, Jean-Philippe Babau
article
Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications, Oct 2005, Washington, DC, USA, United States. pp.257--264, ⟨10.1109/DISTRA.2005.2⟩
Accès au bibtex
BibTex
titre
Validating temporal properties of a deployed application with an MDA approach
auteur
Jean-Louis Houberdon, Jean-Philippe Babau, Isabelle Augé-Blum, Pierre Combes
article
International Workshop in Modeling and Analysis of Real-Time and Embedded Systems (MARTES) in conjuction with ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. pp.1-10
Accès au bibtex
BibTex
titre
A MDA Approach for Systems Dedicated to Process Control
auteur
Julien Deantoni, Jean-Philippe Babau
article
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2005, hong kong, China. pp.567--570, ⟨10.1109/RTCSA.2005.11⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
auteur
Jean-Philippe Babau
article
Autre [cs.OH]. INSA de Lyon, 2005
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00502510/file/hdr.pdf BibTex

Other publications

titre
SAIA : Sensors/Actuators Independent Architecture -- A showcase through the Martian Task Specifications
auteur
Julien Deantoni, Jean-Philippe Babau
article
2005
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00587210/file/Deantoni_MartianTask.pdf BibTex
titre
CiberMouse design: a case study for SAIA model reuse
auteur
Julien Deantoni, Jean-Philippe Babau
article
2005
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00587184/file/deantoni_babau_cibermouse.pdf BibTex

Books

titre
Model Driven Engineering for Distributed Real-Time Embedded Systems
auteur
Sébastien Gerard, Jean-Philippe Babau, Joël Champeau
article
Hermes Science Publishing, pp.Non renseigné, 2005
Accès au bibtex
BibTex

2002

Books

titre
Actes de l'école d'été MDA for Embedded System developpement
auteur
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard
article
Actes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
Accès au bibtex
BibTex
titre
Editeurs des actes de l'école d'été MDA for Embedded System developpement
auteur
Jean-Philippe Babau, Joël Champeau, Sébastien Gérard
article
Non renseigne, pp.Non renseigne, 2002
Accès au bibtex
BibTex

1998

Journal articles

titre
Méthodologie d'analyse temporelle des applications temps réel à contraintes strictes
auteur
Jean-Philippe Babau, Francis Cottet
article
Journal Européen des Systèmes Automatisés (JESA), 1998, 1998 (56), pp.581--608
Accès au bibtex
BibTex