HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, February 3, 2016 - 5:50:40 PM
Last modification on : Wednesday, February 2, 2022 - 3:57:07 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