• Main content
  • Site map
  • Accessibility
EN FR
Inria scientific annual reports
  • 2022
  • 2021
  • 2020
  • Archives
Log in to access more tools Inria
Inria scientific annual reports Inria
  • Log in to access more tools
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • 2022 2021 2020 2019 2018
    All archives
  • Site map
  • Legal notice
  • Accessibility - non conforme
  • FRENCH

    |

    ENGLISH

HYCOMES
  • PDF version
  • ePub version
  • PDF version
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
HYCOMES - 2014
HYCOMES - 2014
Inria
Team Hycomes
Members
Overall Objectives
Research Program
  • Hybrid Systems Modeling
  • Background on non-standard analysis
  • Contract-Based Design, Interfaces Theories, and Requirements Engineering
Application Domains
  • Modeling cyber-physical systems
  • Supporting requirements engineering for aeronautic systems design
New Software and Platforms
  • Mica: A Modal Interface Compositional Analysis Toolbox
  • Flipflop and TnF-C++: Test and Flip Net Synthesis Tools for the Automated Synthesis of Surgical Procedure Models
New Results
  • Highlights of the Year
  • A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
  • On the index of multi-mode DAE Systems
  • A Unifying View of Loosely Time-Triggered Architectures
Partnerships and Cooperations
  • Regional Initiatives
  • National Initiatives
  • European Initiatives
  • International Initiatives
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
Bibliography
  • Major publications
  • Publications of the year
  • References in notes
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • PDF version
  • ePub version
  • PDF version
Inria
Team Hycomes
Members
Overall Objectives
Research Program
  • Hybrid Systems Modeling
  • Background on non-standard analysis
  • Contract-Based Design, Interfaces Theories, and Requirements Engineering
Application Domains
  • Modeling cyber-physical systems
  • Supporting requirements engineering for aeronautic systems design
New Software and Platforms
  • Mica: A Modal Interface Compositional Analysis Toolbox
  • Flipflop and TnF-C++: Test and Flip Net Synthesis Tools for the Automated Synthesis of Surgical Procedure Models
New Results
  • Highlights of the Year
  • A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
  • On the index of multi-mode DAE Systems
  • A Unifying View of Loosely Time-Triggered Architectures
Partnerships and Cooperations
  • Regional Initiatives
  • National Initiatives
  • European Initiatives
  • International Initiatives
Dissemination
  • Promoting Scientific Activities
  • Teaching - Supervision - Juries
Bibliography
  • Major publications
  • Publications of the year
  • References in notes


up Home | Next next


2014 Team Activity Report
HYCOMES
Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Research centre: Rennes - Bretagne-Atlantique


Field: Algorithmics, Programming, Software and Architecture

Theme: Embedded and Real-time Systems
Keywords: Hybrid Systems, Embedded Systems, Modeling, Software Engineering
  • Site map
  • Legal notice
  • Accessibilité : partiellement conforme

version 2.6.2