Download Architecture and deployment of services of assistance to the person PDF

TitleArchitecture and deployment of services of assistance to the person
Author
LanguageEnglish
File Size7.2 MB
Total Pages166
Table of Contents
                            Abstract
Résumé
Contents
General introduction
Chapter 1 Context, Requirements and State-of-the-Art Review
	1.1. Introduction
	1.2. Ambient Assisted Living
	1.3. Home Automation
	1.4. Requirements categorization
	1.5. Expected Contribution of this thesis
	1.6. State-of-the-Art Review
	1.7. Conclusions
Chapter 2 Characteristics and needs for fault tolerance and reconfiguration modeling
	2.1. The expected direction of work
	2.2. Reconfiguration concept and system elements definitions
	2.3. Fault tolerance
	2.4. Service failure approaches
	2.5. System Abstract formalization
	2.6. Fault Tree Analysis
	2.7. Proposition of a dynamic reconfiguration approach
	2.8. Illustrative example
	2.9. Conclusion
Chapter 3 System design, analysis and behavior workflow
	3.1. Introduction
	3.2. System workflow
	3.3. System design model structure
	3.4. System’s analysis modeling process
	3.5. System’s behavior
	3.6. Illustrative example
	3.7. Conclusions
Chapter 4.Proposition of a Bayesian-based fault analysis approach
	4.1. Proposition of a Bayesian-based fault analysis approach
	4.2. Proposed approach based on FTA
	4.3. Illustrative example
	4.4. Conclusion
Chapter 5.Workflow verification and proposed experimental validation
	5.1. Introduction
	5.2. Proposition of a verification framework
	5.3. Proposition of validation framework
	5.4. Conclusions
Chapter 6Conclusions and perspectives
	6.1. Conclusions
	6.2. Perspectives
Bibliography
Personal publications
Table of figures
Appendix A
                        
Document Text Contents
Page 1

HAL Id: tel-01429092
https://tel.archives-ouvertes.fr/tel-01429092

Submitted on 6 Jan 2017

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

Architecture and deployment of services of assistance to
the person

Molham Darwish

To cite this version:
Molham Darwish. Architecture and deployment of services of assistance to the person. Automatic.
Université de Bretagne Sud, 2016. English. �NNT : 2016LORIS411�. �tel-01429092�

https://tel.archives-ouvertes.fr/tel-01429092
https://hal.archives-ouvertes.fr

Page 2

THESE / UNIVERSITE DE BRETAGNE-SUD
sous le sceau de l’Université Bretagne Loire

pour obtenir le titre de:
DOCTEUR DE L’UNIVERSITE DE BRETAGNE-SUD

Mention: STIC
Ecole doctorale SICMA

Thèse soutenue le 12 septembre 2016,

devant le jury composé de :



M. Jean-Paul Haton

Professeur des Universités, Université Henri Poincaré, Nancy 1/

Rapporteur



M. Eric Zamaï

MCF-HDR, Institut national polytechnique de Grenoble / Rapporteur



M. Alexandre Abellard

MCF – Université de Toulon / Examinateur



M. Guy Gogniat

Professeur des Universités, Université Bretagne Sud / Examinateur



M. Alain Hillion

Professeur, Télécom Bretagne / Examinateur



M. Eric Senn

MCF-HDR, Université Bretagne Sud / Directeur de thèse



M. Christophe Lohr

MCF, Télécom Bretagne / Invité



M. Florent De Lamotte

MCF, Université Bretagne Sud / Invité

Architecture et déploiement
de services d'aide à la
personne

présentée par :

DARWISH Molham
Lab-STICC



Architecture et déploiement de services d'aide à la personne Molham Darwish 2016

Page 83

System design, analysis and behavior workflow






Page 82




Design Model of the service

“sitting at the living room at night”

FTA Model of the service

“sitting at the living room at night”

T
r
a

n
sfo

r
m

a
tio

n


r
u

le


Considering the given service “sitting at the living room at night” which is composed of the two

principal components, the “Light1” and the “Heater”. The component “Heater” has an alternative

component “AC”. Figure 3.11 illustrates the application of the design model-to-FTA model

transformation rule, given in the algorithm 3.1, to generate the FTA model of the service “sitting at the

living room at night”, which conforms to the FTA Meta-Model, from the design model.







After performing the analysis phase, a verification scenario is performed on the analysis model

generated to check if the proposed system model is valid or if it needs to be revised.

The verification step is conducted by carrying out a model checking based on the generated

analysis model of the FTA.


Model checking consists of verifying whether a model satisfies a given property (often expressed

in temporal or modal logic). Model checking implies the fully automated property proving. When a

property does not hold on a model, the user gets a counterexample. Model checking requires expressing

models using formalisms.

Several possible approaches allow conducting this task [Hostettler et al, 2011].

Figure 3.12 illustrates an extract of the model checker of the generated FTA model. This model

checker, developed in Python, performs a mathematical computation of the service global decision

indicator, based on the information obtained about the failures probability of the corresponding

components and the importance factors appended to each component.

The main functionality in this algorithm lies in lines 31-45, where the decision function is

calculated, based on the calculation of the basic events probability of failure and the importance factor,

to study the influence of the basic event on the top event (the service functioning state).

The computational equations are developed in the next chapter. Whereas, a detailed verification

approach is proposed in chapter 5.

Figure 3.11. The application of design model-to-FTA model

Architecture et déploiement de services d'aide à la personne Molham Darwish 2016

Page 84

System design, analysis and behavior workflow






Page 83










































3.5. System’s behavior

Modeling the system and building its design helps the designer to understand how the system will

work [Few, 1996]. The system’s behavior introduces a conceptual model building, constructing a

system’s diagram to describe how the designer thinks the system will behave.

In the system behavior process, we aim at performing an examination of the system, by examining

its services functioning states. By examining the service state, we mean to realize an assessment of the

deliverance issue of the service, to the end user, following the predefining scenarios of service

execution.

When the service is defined, and coupled with the corresponding components, as well as the

alternative components (scenarios), we need to verify that this given service reaches the delivering

issue, if it is executed, whatever the scenario it follows.

For this reason, we need to establish a relative representation of the service accomplishment

trajectory, from the starting point, through each included component and alternative scenarios, to the

deliverance point.

The best tool to build a conceptual model, representing and evaluating the success functioning of

the system states, is based on the use of Petri Nets modeling language allowing to simulate how each

system service will be executed through its constituting components (with the alternative components).

A Petri net is one of several mathematical modeling languages for the description of distributed

systems behavior. A Petri net is defined as a directed bipartite graph in which the nodes represent the

transitions (i.e. events that may occur, signified by bars) and places (i.e. conditions, signified by circles,

representing the availability of the component during the service deliverance). The directed arcs

describe which places are pre- and/or post-conditions for which transitions (signified by arrows) [Desel

& Juhás, 2001].

Figure 3.12. Extract of the FTA model Checker

Architecture et déploiement de services d'aide à la personne Molham Darwish 2016

Page 165

Experimental validations












Page 164





In the same manner, the component “Bathroom light” has the functionality model for the

service S2 “Using the washbasin”, illustrated in the figure A.7.

























The generated fault tree analysis XML model for the service S4 “Cooking the dinner”, which

is generated by the transformation rule from the design model to the fault tree analysis model, is

illustrated in figure A.8.






























































Figure A.8. The Fault tree analysis model of service S4

Figure A.7. XML model for the component C6 functioning in the service S2

Architecture et déploiement de services d'aide à la personne Molham Darwish 2016

Page 166

Experimental validations

Page 165


Figure A.9 presents the FTA graphical representation of the service S4.

The behavior analysis model generated by the transformation rule from the design model to

the behavior model is illustrated in figure A.10 for the service S3 “Have a dinner”.

Figure A.9. The FTA presentation of the service S4 using FaultCAT

Figure A.10.The behavior model and the Petri Net presentation of the service S3 using PetriNetSim

Architecture et déploiement de services d'aide à la personne Molham Darwish 2016

Similer Documents