HYCOMES - 2014 - Annual activity report

HYCOMES

HYCOMES - 2014

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

Previous |

Home | Next next

Section: Partnerships and Cooperations

International Initiatives

Inria International Partners

Informal International Partners

Extending beyond the context of the Modrio project (see section 8.3.1 , the Hycomes team is collaborating with the team of Dassault Systems, located in Lund (Sweden), in charge of developping Dymola, one of the major software tools in the Modelica community.

Previous |

Home | Next next