Team Spades
Members
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2013 Team Activity Report
SPADES
Sound Programming of Adaptive Dependable Embedded Systems
Research centre: Grenoble - Rhône-Alpes

Field: Algorithmics, Programming, Software and Architecture
Theme: Embedded and Real-time Systems
Keywords: Component Programming, Embedded Systems, Fault Tolerance, Formal Methods, Real-time