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 metadatas

Cited literature [232 references]  Display  Hide  Download

https://hal.inria.fr/tel-01267041
Contributor : Gregor Gössler <>
Submitted on : Wednesday, February 3, 2016 - 5:50:40 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Long-term archiving on : Saturday, November 12, 2016 - 7:08:53 AM

Identifiers

  • HAL Id : tel-01267041, version 1

Collections

Citation

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

Share

Metrics

Record views

262

Files downloads

221