Formal Techniques for Component-based Design of Embedded Systems

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 :
HDR
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

https://hal.inria.fr/tel-01267041
Contributeur : Gregor Gössler <>
Soumis le : mercredi 3 février 2016 - 17:50:40
Dernière modification le : mercredi 10 février 2016 - 14:33:02
Document(s) archivé(s) le : samedi 12 novembre 2016 - 07:08:53

Identifiants

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

Partager

Métriques

Consultations de
la notice

121

Téléchargements du document

104