Méthodologie de modélisation et d'évaluation d'applications réparties temps réel sûres de fonctionnement : application, dans le domaine automobile, à l'électronique embarquée et à l'informatique manufacturière

Abstract : Automotive electronic embedded systems, and control systems of vehicle manufacturing, are characterised by hard constraints of time and of dependability. We are interested in this document to the introduction of communication networks in these applications, and propose a methodology to assess such applications. This methodology pro vides a modelling formalism and a framework for assessment methods. The first part of the document justifies our work. After giving some necessary definitions (chapter 1), applications in both domains (embedded systems and manufacturing computer systems) are characterised and synthesised (chapter 2). The second part of the document presents the modelling and assessment methodologies. The modelling formalism integrates the notions of Application Model, Architectures (Functional 'Architecture, Resource Architecture, Operational Architecture), and properties (Characteristics and Constraints). The framework is able to integrate methods of characterics evaluation, of constraints verification, or of application models comparison. The third part of the document describes through examples, the conception, the integration in the framework, and the use, of assessment methods. The chapter 4 presents some temporal valuation methods of communication profiles (mainly based on CAN and ASI networks). The chapter 5 shows dependability assessment methods (ordinal assessment of faults, failure assessment of communication profiles, assessment of fault tolerance solutions based on replication). The fourth part describes a software tool implementing the methodology (chapter 6), and its application in a case study (chapter 7).
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/INPL_T_1997_PHILIPPE_C.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01751369
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 1:17:51 PM
Last modification on : Tuesday, January 29, 2019 - 1:21:50 AM

Identifiers

  • HAL Id : tel-01751369, version 1

Collections

Citation

Christophe Philippe. Méthodologie de modélisation et d'évaluation d'applications réparties temps réel sûres de fonctionnement : application, dans le domaine automobile, à l'électronique embarquée et à l'informatique manufacturière. Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1997. Français. ⟨NNT : 1997INPL097N⟩. ⟨tel-01751369⟩

Share

Metrics

Record views

10