Project-Team:HYCOMES

Project-Team Hycomes

Team, Visitors, External Collaborators

Overall Objectives

Research Program

Hybrid Systems Modeling
Background on non-standard analysis
Contract-Based Design, Interfaces Theories, and Requirements Engineering

Highlights of the Year

New Software and Platforms

Demodocos
MICA
TnF-C++

New Results

Hybrid Systems Modeling and Verification
Contract-based Reasoning for Cyper-Physical Systems Design

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2018 | Presentation of the Project-Team HYCOMES | HYCOMES Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Software and Platforms

TnF-C++

Functional Description: TnF-C++ is a robust and portable re-implementation of Flipflop, developed in 2014 and integrated in the S3PM toolchain. Both software have been designed in the context of the S3PM project on surgical procedure modeling and simulation,

Contact: Benoît Caillaud

Previous |

Home | Next next