Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Formal Techniques for Component-based Design of Embedded Systems

Gregor Gössler 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Embedded systems have become ubiquitous - from avionics and automotive over consumer electronics to medical devices. Failures may entail material damage or compromise safety of human beings. At the same time, shorter product cycles, together with fast growing complexity of the systems to be designed, create a tremendous need for rigorous design techniques. The goal of component-based construction is to build complex systems from simpler components that are well understood and can be (re)used so as to accelerate the design process. This document presents a summary of the formal techniques for component-based design of embedded systems I have (co-)developed.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [232 references]  Display  Hide  Download
Contributor : Gregor Gössler <>
Submitted on : Wednesday, February 3, 2016 - 5:50:40 PM
Last modification on : Monday, February 15, 2021 - 3:52:02 PM
Long-term archiving on: : Saturday, November 12, 2016 - 7:08:53 AM


  • HAL Id : tel-01267041, version 1



Gregor Gössler. Formal Techniques for Component-based Design of Embedded Systems. Embedded Systems. Grenoble University, 2014. ⟨tel-01267041⟩



Record views


Files downloads