Skip to Main content Skip to Navigation
Theses

Maîtrise de la cohérence des modèles UML d'applications critiques, approche par l'analyse des risques liés au langage UML.

Abstract : UML language allows the description of complex computerized systems whose safety is often critical. During design of such applications, modelling faults can be introduced in UML diagrams representing several views of the system. These faults can lead to inconsistencies between diagrams and within a single diagram. In addition to the properties specific to the application, the models first have to be ensured to be consistent with respect to the properties induced by the use of the UML language. This tesis aims at proposing a framework of study of the actual version of the language (UML 2.0), adopting a risk management approach to consider the presence of inconsistencies. This work consists of two main steps. The first one is a risk analysis which implies an identification of the harmful events that are the inconsistencies, by the expression of the associated consistency rules. The analysis is then completed by a risk estimation of the use of each UML feature. This step led to the analysis of the UML specification and of the actual work concerning the definition and the checking of UML models consistency. Interviews and feedback have been done in order to estimate the probability of occurrence of an inconsistency and its severity, as well qualitatively as quantitatively. The last step addressed the assistance for the risk treatment, advocating the use of prevention and protection guidelines during the modelling of safety critical systems.
Complete list of metadatas

Cited literature [87 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00137009
Contributor : Jean-Pierre Seuma Vidal <>
Submitted on : Friday, March 16, 2007 - 2:06:44 PM
Last modification on : Monday, October 19, 2020 - 10:59:35 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 9:48:49 PM

Identifiers

  • HAL Id : tel-00137009, version 1

Citation

Jean-Pierre Seuma Vidal. Maîtrise de la cohérence des modèles UML d'applications critiques, approche par l'analyse des risques liés au langage UML.. Génie logiciel [cs.SE]. INSA de Toulouse, 2006. Français. ⟨tel-00137009⟩

Share

Metrics

Record views

342

Files downloads

1870