Inria
/
Raweb 2010
Presentation of the Project S4
Logo Inria
S4
System Synthesis and Supervision, Scenarios
2010 Research Team Activity Report
Rennes - Bretagne-Atlantique
Field :
Algorithmics, Programming, Software and Architecture
Theme : Embedded and Real Time Systems
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Highlights of the year
Scientific Foundations
Application Domains
Software
InterSMV: A Symbolic Modal Interface Verification Tool
New Results
Petri Nets and their Synthesis
Heterogeneous Systems
Component-Based Design
Scheduling and Supervisory Control
Games, Logic and System Synthesis
Other Grants and Activities
Combest: Component-Based Embedded Systems Design Techniques
Disc: Distributed Supervisory Control of Large Plants
Synchronics: Language Platform for Embedded System Design
ARC (TP)I
Dissemination
Teaching, Committee Work and Organization of Scientific Events
Bibliography
Major publications
Publications of the year
References in notes
