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.
Type de document :
Embedded Systems. Grenoble University, 2014
Liste complète des métadonnées

Littérature citée [232 références]  Voir  Masquer  Télécharger
Contributeur : Gregor Gössler <>
Soumis le : mercredi 3 février 2016 - 17:50:40
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04
Document(s) archivé(s) le : samedi 12 novembre 2016 - 07:08:53


  • 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〉



Consultations de la notice


Téléchargements de fichiers