Skip to Main content Skip to Navigation
Theses

DEFINITION D'UNE METHODOLOGIE DE CONCEPTION DES SYSTEMES MECATRONIQUES SURS DE FONCTIONNEMENT

Abstract : The introduction of embedded electronic in car industry induced a technological revolution
that will last for years. Embedded electronic systems are more and more complex and their
features involve the adaptation and structuring of the whole design activities. Verification,
validation, design, and of course safety analysis should be integrated in a same process. First,
we identify a class of formalism able to represent the functional and behavioral aspects of the
system, and suited for hybrid and real time features. This model is the support of the
methodology. Then, we propose an exploitation of formal methods, such as model-checking,
to validate and check properties of the model and complement usual methods like tests and
simulations. Finally, we particularly emphasize the dependability aspects. A method, based on
the construction of an aggregated Markov graph, is developed. The advantage of this
approach is to be able to model and assess the reliability of a dynamic hybrid system. The
main steps consist in spliting up the dynamic of the system and the dynamic of the failure
process by the mean of the singular perturbation method. Then, we identify and we evaluate
variables of the system which interact with the failure dynamic. Simulation is used to estimate
these variables, because of its ability to handle complex systems. The variables are then
integrated in the aggregated Markov graph.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00126057
Contributor : Jean-François Aubry <>
Submitted on : Tuesday, January 23, 2007 - 2:57:23 PM
Last modification on : Friday, October 23, 2020 - 8:38:03 AM
Long-term archiving on: : Wednesday, April 7, 2010 - 2:28:35 AM

Identifiers

  • HAL Id : tel-00126057, version 1

Collections

Citation

Raphaël Schoenig. DEFINITION D'UNE METHODOLOGIE DE CONCEPTION DES SYSTEMES MECATRONIQUES SURS DE FONCTIONNEMENT. Automatique / Robotique. Institut National Polytechnique de Lorraine - INPL, 2004. Français. ⟨tel-00126057⟩

Share

Metrics

Record views

246

Files downloads

8322