Search - Archive ouverte HAL Access content directly

Filter your results

51 Results
Image document

TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA

Youenn Corre , Jean-Philippe Diguet , Dominique Heller , Dominique Blouin , Loïc Lagadec et al.
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (1), pp.9
Journal articles hal-01172103v1

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Dominique Blouin , Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections hal-03022808v1

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models

Eric Senn , Lucie Bourdon , Dominique Blouin
4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers hal-03905633v1

RDAL: A new language for the definition and verification of requirements against AADL and other architecture models

Eric Senn , Dominique Blouin
NEPTUNE Workshop (Nice Environment with a Process and Tools Using Norms and Examples), May 2011, Paris, France
Conference papers hal-00760365v1

A MARTE to AADL Mapping

Eric Senn , Dominique Blouin
ACM/IEEE International Conference on Model Driven Engineerging, Oct 2010, Oslo, Norway
Conference papers hal-00760444v1
Image document

Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali , Moussa Amrani , Soumyadip Bandyopadhyay , Ankica Barisic , Fernando Barros et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168831v1
Image document

Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems

Ankica Barisic , Antonio Cicchetti , Ivan Ruchkin , Dominique Blouin
2021
Preprints, Working Papers, ... hal-03338607v1

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies

Istvan David , Eugene Syriani , Clark Verbrugge , Didier Buchs , Dominique Blouin et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers hal-02287520v1

AADL Requirements Annex Explored With FAA Handbook Example

Eric Senn , Dominique Blouin , Skander Turki
SAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Conference papers hal-00760436v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers hal-03905639v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni et al.
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers hal-02428017v1
Image document

State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Rima Al Ali , Moussa Amrani , Ankica Barisic , Fernando Barros , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2017
Reports hal-03168840v1

Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL

Dominique Blouin , Skander Turki , Eric Senn
SAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Conference papers hal-03219179v1

FPGA modeling for SoC design exploration

Dominique Blouin , Eric Senn , Robin Bonamy , Daniel Chillet , Sebastien Bilavarn et al.
HEART (International Workshop on Highly-Efficient Accelerators and Reconfigurable Technologies, Imperial college, Jun 2011, London, United Kingdom
Conference papers hal-00650630v1

An Extensible System-Level Power Consumption Analysis Toolbox for Model-Driven Design

Eric Senn , Dominique Blouin
8th IEEE International NEWCAS Conference, Jun 2010, Canada
Conference papers hal-00489770v1

An ontology for multi-paradigm modelling

Holger Giese , Dominique Blouin , Rima Al-Ali , Hana Mkaouar , Soumyadip Bandyopadhyay et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections hal-03219279v1

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Mauro Iacono , Bedir Tekinerdogan , Holger Giese et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections hal-03225338v1

Synchronization of Models of Rich Languages with Triple Graph Grammars

Dominique Blouin , Pierre Dissaux , Frank Singhoff , Alain Plantec , Jean-Philippe Diguet et al.
International Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
Conference papers hal-01083267v1

Energy and power consumption estimation for embedded applications and operating systems

Saadia Dhouib , Eric Senn , Jean-Philippe Diguet , Dominique Blouin , Johann Laurent et al.
Journal of Low Power Electronics, 2009, 5 (3)
Journal articles hal-00429454v1

An Efficient Framework for Power-Aware Design of Heterogeneous MPSoC

Rabie Ben Atitallah , Eric Senn , Daniel Chillet , Mickael Lanoe , Dominique Blouin et al.
IEEE Transactions on Industrial Informatics, 2013, 9 (1), pp.487-501. ⟨10.1109/TII.2012.2198657⟩
Journal articles hal-00921900v1

Early Verification of Embedded System Models using the Requirements Definition and Analysis Language Annex of the SAE AADL

Eric Senn , Dominique Blouin , Skander Turki
SAE 2012 Aerospace Electronics and Avionics Systems Conference, Oct 2012, Phoenix, United States
Conference papers hal-00760439v1

A benchmark of incremental model transformation tools based on an industrial case study with AADL

Hana Mkaouar , Dominique Blouin , Etienne Borde
Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles hal-03905646v1
Image document

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

Ankica Barisic , Dušan Savić , Rima Al-Ali , Ivan Ruchkin , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168834v1

Fast Template-based Heterogeneous MPSoC Synthesis on FPGA

Youenn Corre , Jean-Philippe Diguet , Loic Lagadec , Dominique Heller , Dominique Blouin et al.
9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
Conference papers hal-00780378v1

Functional Validation of AADL Models via Model Transformation to SystemC with ATL

Eric Senn , Dominique Blouin , Pierre Bomel , Mickael Lanoe
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
Conference papers hal-00760301v1
Image document

Functional Validation of AADL Models via Model Transformation to SystemC with ATL

Pierre Bomel , Dominique Blouin , Mickael Lanoe , Eric Senn
5th International Workshop on Model Based Architecting and Construction of Embedded Systems ACES 2012, Sep 2012, Innsbruck, Austria
Conference papers hal-00759904v1

Power and energy consumption estimations in model based design

Eric Senn , Jean-Philippe Diguet , Johann Laurent , Saadia Douhib , Skander Turki et al.
Martin Radetzki. Languages for Embedded Systems and their Applications, Springer, pp.1, 2009, Lecture Notes in Electrical Engineering series
Book sections hal-00370849v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-01649727v1
Image document

State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits , Rima Al-Ali , Moussa Amrani , Ankica Barisic , Fernando Barros et al.
[Research Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168832v1