Inria
/
Raweb 2009
Presentation of the Project S4
Logo Inria
S4
System Synthesis and Supervision, Scenarios
2009 Research Team Activity Report
Rennes - Bretagne-Atlantique
Area :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Introduction
Highlights of the year
Scientific Foundations
Application Domains
Software
InterSMV: A tool for the verification of symbolic modal interfaces
New Results
Petri nets and their Synthesis
Heterogeneous systems
Reactive components
Discrete event system synthesis and supervisory control
Other Grants and Activities
Synchronics: Language Platform for Embedded System Design
DOTS: Distributed Open and Timed Systems
SPEEDS: Speculative and Exploratory Design in Systems Engineering
Combest: Component-Based Embedded Systems Design Techniques
DISC: Distributed Supervisory Control of Large Plants
FAST: Planning Approaches and Software Verification
Dissemination
Participation to editorial boards and program committees
Teaching
Bibliography
Major publications
Publications of the year
References in notes