Section: Other Grants and Activities
ArtistDesign European FP7 IST network of excellence
ArtistDesign is a European Network of Excellence on embedded system design, successor of Artist II in FP7. The objective for ArtistDesign is to build on existing structures and links forged in Artist II, to become a virtual Center of Excellence in Embedded Systems Design. This will be mainly achieved through tight integration between the central players of the European research community. The long-term vision for embedded systems in Europe, established in Artist II, will advance the emergence of Embedded Systems as a mature discipline. G. Gössler is the administrator of ArtistDesign for Inria .
Combest European FP7 IST STREP
Combest is a European STREP on formal component-based design of complex embedded systems(http://www.combest.eu ). Its goal is to develop a design theory for embedded systems, covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional properties.
Cesar European Artemisia project
Cesar is a European Artemisia project on cost-efficient methods and processes for safety relevant embedded systems(http://www.cesarproject.eu ). It
We are particularly involved in the following sub-programs:
Task Force Safety 1.5.1 (State of the art survey on safety and diagnosability for cost-efficient safety critical emebedded systems) and 1.5.2 (Identification of requirements for comon cross domain core safety and diagnosability techniques and methods).
Requirements Engineering, along with two other Inria teams (S4 and Triskell , from Inria Rennes). We shall work on contracts based design for traceability.