Spelling suggestions: "subject:"goal oriented"" "subject:"coal oriented""
61 |
Goal-Oriented Adaptivity using Unconventional Error Representations / Adaptabilité ciblée basée sur des représentations d'erreur non classiquesDarrigrand, Vincent 01 September 2017 (has links)
Dans un contexte d'adaptabilité ciblée, l'erreur commise sur une quantité d'intérêt peut être représentée grâce aux erreurs globales des problèmes direct et adjoint. Cette représentation de l'erreur est majorée par la somme des indicateurs d'erreurs élémentaires. Ces derniers sont alors utilisés pour produire des raffinements de maillage optimaux. Dans ces travaux, nous proposons de représenter l’erreur du problème adjoint via un opérateur alternatif. L’avantage principal de notre approche est que lorsque l'on choisit correctement l'opérateur alternatif, la majoration correspondante de l'erreur à la quantité d'intérêt devient plus précise, pour autant l'adaptabilité issue de l'utilisation de ces nouveaux indicateurs s'en trouve améliorée. Ces représentations peuvent être employées pour concevoir des algorithmes adaptatifs en espace (h), en ordre d’approximation (p) ou les deux (hp), basés sur la norme d’énergie ou bien ciblés sur une quantité d'intérêt. Bien que la méthode puisse être appliquée à une large gamme de problèmes, nous nous concentrons tout d’abord sur des problèmes unidimensionnels (1D), comme le problème d’Helmholtz et le problème de convection-diffusion stationnaire à convection dominante. Les résultats numériques en 1D montrent que, pour les problèmes de propagation d'ondes, les avantages de notre méthode sont notoires lorsque l'on considère l'opérateur de Laplace pour la représentation de l'erreur. Plus précisément, les majorations issues de la nouvelle représentation sont plus précises que celles provenant de la méthode classique et ce si l'on considère l'énergie globale ou bien une quantité d'intérêt particulière. Le phénomène est d’autant plus notable lorsque l'erreur de dispersion (pollution) est significative. Le problème 1D de convection-diffusion stationnaire à convection dominante avec des conditions limites de Dirichlet homogènes présente une couche limite qui produit une perte de stabilité numérique. La nouvelle représentation d'erreur délivre des majorations plus précises. Lorsqu’appliquée à une p-adaptabilité ciblée, la représentation d'erreur alternative permet une capture plus efficace la couche limite, malgré les oscillations numériques parasites existantes. Devant ces résultats encourageants, nous nous penchons sur l'équation d'Helmholtz à deux et trois dimensions (2D et 3D). Nous montrons, au travers de multiples simulations numériques, que les majorations fournies par les représentations d'erreur alternatives sont plus précises que celle de la représentation classique. Lorsque l'on utilise les indicateurs d'erreur alternatifs, un processus naïf de p-adaptabilité ciblée converge, tandis que dans les mêmes conditions, la méthode classique échoue et requiert l'utilisation d'un opérateur de projection ou d'autre techniques pour récupérer la convergence. Dans ce travail, nous fournissons également des directives pour déterminer les opérateurs qui fournissent des représentations d’erreur induisant de majorations précises. Des résultats similaires sont aussi établis tant pour un problème 2D de convection-diffusion stationnaire à convection dominante que pour des problèmes 2D ayant des coefficients de matériaux discontinus. Nous considérons un problème de diagraphie ultra-sonique en cours de forage pour illustrer l'applicabilité de la méthode proposée. / In Goal-Oriented Adaptivity (GOA), the error in a Quantity of Interest (QoI) is represented using global error functions of the direct and adjoint problems. This error representation is subsequently bounded above by element-wise error indicators that are used to drive optimal refinements. In this work, we propose to replace, in the error representation, the adjoint problem by an alternative operator. The main advantage of the proposed approach is that, when judiciously selecting such alternative operator, the corresponding upper bound of the error representation becomes sharper, leading to a more efficient GOA. These representations can be employed to design novel h, p, and hp energy-norm and goal-oriented adaptive algorithms. While the method can be applied to a variety of problems, in this Dissertation we first focus on one-dimensional (1D) problems, including Helmholtz and steady state convection-dominated diffusion problems. Numerical results in 1D show that for the Helmholtz problem, it is advantageous to select the Laplace operator for the alternative error representation. Specifically, the upper bounds of the new error representation are sharper than the classical ones used in both energy-norm and goal-oriented adaptive methods, especially when the dispersion (pollution) error is significant. The 1D steady state convection-dominated diffusion problem with homogeneous Dirichlet boundary conditions exhibits a boundary layer that produces a loss of numerical stability. The new error representation based on the Laplace operator delivers sharper error upper bounds. When applied to a p-GOA, the alternative error representation captures earlier the boundary layer, despite the existing spurious numerical oscillations. We then focus on the two- and three-dimensional (2D and 3D) Helmholtz equation. We show via extensive numerical experimentation that the upper bounds provided by the alternative error representations are sharper than the classical ones. When using the alternative error indicators, a naive p-adaptive process converges, whereas under the same conditions, the classical method fails and requires the use of the so-called Projection Based Interpolation (PBI) operator or some other technique to regain convergence. We also provide guidelines for finding operators delivering sharp error representation upper bounds. / En un contexto de adaptatividad orientada a un objetivo, el error en una cantidad de interés está representado a través de los errores globales de los problemas directo y adjunto. Esta representación del error se acota superiormente por una suma de indicadores de error de cada elemento. Estos se utilizan para producir refinamientos óptimos. En este trabajo, proponemos representar el error del problema adjunto utilizando un operador alternativo. La principal ventaja de nuestro enfoque es que cuando se elige correctamente dicho operador alternativo, la correspondiente cota superior se vuelve más cercana al error en la cantidad de interés, lo que permite una adaptatividad más eficiente. Estas representaciones pueden ser utilizadas para diseñar algoritmos adaptativos en h, p o hp, basados en la norma de la energía o para aproximar una cantidad de interés específica. Aunque el método propuesto se puede aplicar a una amplia gama de problemas, en esta tesis doctoral nos centramos primero en problemas unidimensionales (1D), tales como el problema de Helmholtz y el problema estacionario de convección-difusión con convección dominante. Los resultados numéricos en 1D muestran que, para los problemas de propagación de ondas, las ventajas de este método son notorias cuando se considera el operador de Laplace para la representación del error. Específicamente, las cotas superiores derivadas de la nueva representación son más cercanas a la cantidad de interés que las del método convencional. Esto es cierto tanto para la norma de la energía global como para una cantidad de interés particular, especialmente cuando el error de dispersión es significativo. El problema estacionario 1D de convección-difusión con convección dominante y con condiciones de Dirichlet homogéneas tiene una capa límite que produce una pérdida de estabilidad numérica. La nueva representación del error proporciona cotas superiores más cercanas a la cantidad de interés. Cuando se aplica a un algoritmo adaptativo en p orientado a un objetivo, la representación alternativa del error captura antes la capa límite, a pesar de las existentes oscilaciones numéricas no físicas. En esta tesis doctoral, también nos centramos en la ecuación de Helmholtz en dos y tres dimensiones (2D y 3D). Mostramos a través de múltiples experimentos numéricos que las cotas superiores proporcionadas por las representaciones alternativas del error son más cercanas a la cantidad de interés que cuando uno considera la representación clásica. Al utilizar los indicadores alternativos del error, un algoritmo adaptativo en p sencillo converge, mientras que en las mismas condiciones, el método convencional falla y requiere el uso de operadores de proyección o de otras técnicas para recuperar la convergencia. En este trabajo, también determinamos operadores que proporcionan representaciones del error que inducen cotas superiores más ajustadas. Establecemos resultados similares tanto para el problema estacionario de convección-difusión con convección dominante en 2D como para problemas 2D con materiales discontinuos. Finalmente, se considera un problema sónico en pozos petrolíferos para ilustrar la aplicabilidad del método propuesto.
|
62 |
Det mångsidiga uppdraget : Fritidspedagoger som riktar sig mot skola såväl som fritidshem / The versatile assignment : Leisure-time educators aimed at both school and leisure-timeMolina, Enzo, Truedsson, Veronica January 2017 (has links)
Den historiska bakgrunden och tidigare forskningen kring vårt ämne pekar på en återkommande problematik inom fritidshemmet och fritidspedagogsyrket. Problematiken utgörs av en tvetydig syn på hur man ska tolka eller uppfatta det fritidspedagogiska uppdraget. Studiens syfte är därför att undersöka de målorienterade handlingar som utövas av fritidspedagoger i olika kontexter. Därmed utformar vi vår egna definition av uppdraget genom dessa målorienterade handlingar. Vi har valt att genomföra ett fältarbete av etnografisk karaktär som bygger på observationer som har ägt rum på en skola. Den här metoden anknyts till vår teori, Roger Säljös tolkning av den sociokulturella teorin, som utgår ifrån det praktiska som framträder genom kommunikativa och fysiska handlingar. Dessutom har vi genomfört informella samtal när vi har velat förtydliga fritidspedagogernas handlingar. Vår undersökning visar att fritidspedagogerna utövar ett mångsidigt uppdrag som beroende på situationen använder sig av fyra olika arbetssätt och därmed omväxlande riktar sig mot såväl skola som fritidshem. Vi uppfattar inte fritidspedagogernas uppdrag som tvetydigt, vilket den tidigare forskning vi tagit del av uppmärksammar, utan vårt resultat visar att fritidspedagogerna utövar ett tydligt uppdrag som både är målorienterat och mångsidigt. / The historical background and previous studies on our subject point to a recurrent problem in the leisure education sector. The problem consists of an ambiguous view of how the leisuretime educators should interpret or perceive their assignment. The purpose of the study is therefor to investigate the goal-oriented actions performed by leisure-time educators, in different contexts. Thus we develop our own definition of the assignment through these goaloriented actions. We have chosen to carry out a field work of ethnographic character based on observations that have taken place in a school. This method is linked to our theory, Roger Säljö's interpretation of socio-cultural theory, which is based on the practical that´s emerging through communicative and physical actions. Furthermore we have completed informal conversations when we have wished to clarify the leisure-time educator’s actions. Our study shows that the leisure-time educators execute a versatile assignment which, depending on the situation, uses four different ways of working. These approaches vary in terms of both school and leisure-time. We do not perceive the task of the leisure-time educators as ambiguous as previous studies have shown. Our results, on the other hand, show that leisure-time educators perform a clear assignment that is both goal-oriented and versatile.
|
63 |
Un robot curieux pour l’apprentissage actif par babillage d’objectifs : choisir de manière stratégique quoi, comment, quand et de qui apprendre / A Curious Robot Learner for Interactive Goal-Babbling : Strategically Choosing What, How, When and from Whom to LearnNguyen, Sao Mai 27 November 2013 (has links)
Les défis pour voir des robots opérant dans l’environnement de tous les jours des humains et sur unelongue durée soulignent l’importance de leur adaptation aux changements qui peuvent être imprévisiblesau moment de leur construction. Ils doivent être capable de savoir quelles parties échantillonner, et quelstypes de compétences il a intérêt à acquérir. Une manière de collecter des données est de décider par soi-même où explorer. Une autre manière est de se référer à un mentor. Nous appelons ces deux manièresde collecter des données des modes d’échantillonnage. Le premier mode d’échantillonnage correspondà des algorithmes développés dans la littérature pour automatiquement pousser l’agent vers des partiesintéressantes de l’environnement ou vers des types de compétences utiles. De tels algorithmes sont appelésdes algorithmes de curiosité artificielle ou motivation intrinsèque. Le deuxième mode correspond au guidagesocial ou l’imitation, où un partenaire humain indique où explorer et où ne pas explorer.Nous avons construit une architecture algorithmique intrinsèquement motivée pour apprendre commentproduire par ses actions des effets et conséquences variées. Il apprend de manière active et en ligne encollectant des données qu’il choisit en utilisant plusieurs modes d’échantillonnage. Au niveau du metaapprentissage, il apprend de manière active quelle stratégie d’échantillonnage est plus efficace pour améliorersa compétence et généraliser à partir de son expérience à un grand éventail d’effets. Par apprentissage parinteraction, il acquiert de multiples compétences de manière structurée, en découvrant par lui-même lesséquences développementale. / The challenges posed by robots operating in human environments on a daily basis and in the long-termpoint out the importance of adaptivity to changes which can be unforeseen at design time. The robot mustlearn continuously in an open-ended, non-stationary and high dimensional space. It must be able to knowwhich parts to sample and what kind of skills are interesting to learn. One way is to decide what to exploreby oneself. Another way is to refer to a mentor. We name these two ways of collecting data sampling modes.The first sampling mode correspond to algorithms developed in the literature in order to autonomously drivethe robot in interesting parts of the environment or useful kinds of skills. Such algorithms are called artificialcuriosity or intrinsic motivation algorithms. The second sampling mode correspond to social guidance orimitation where the teacher indicates where to explore as well as where not to explore. Starting fromthe study of the relationships between these two concurrent methods, we ended up building an algorithmicarchitecture with a hierarchical learning structure, called Socially Guided Intrinsic Motivation (SGIM).We have built an intrinsically motivated active learner which learns how its actions can produce variedconsequences or outcomes. It actively learns online by sampling data which it chooses by using severalsampling modes. On the meta-level, it actively learns which data collection strategy is most efficient forimproving its competence and generalising from its experience to a wide variety of outcomes. The interactivelearner thus learns multiple tasks in a structured manner, discovering by itself developmental sequences.
|
64 |
English as a medium of instruction: the relationship between motivation and English second language proficiencyMadileng, Mary Mmatsatsi 06 1900 (has links)
In order to research the limited English proficiency of First Year National Intermediate Certificate students at the Further Education and Training College of Ekurhuleni West, the researcher investigated various motivation variables, namely:
* socio-psychological factors
* learner factors
* parental involvement and
* contextual factors related to the influence of the school and classroom
A review of literature and empirical research methods were used to this effect. The literature review revealed that instrumental and integrative motivation, self-determination and goal orientedness, parental support and school and classroom context factors contributed to the development of ESL proficiency.
A motivation questionnaire and an English proficiency test were administered to the participants. The results indicated no significant relationship between the learner's level of ESL proficiency and motivation variables. These findings form the basis for recommending specific guidelines for possible directions for future research. / Linguistics and Modern Languages / M.A. (Specialisation in Applied Linguistics)
|
65 |
On the alignment between goal models and enterprise models with an ontological accountCardoso, Evellin Cristine Souza 16 December 2009 (has links)
Submitted by Priscila Oliveira (priscila.b.oliveira@ufes.br) on 2016-07-12T12:40:28Z
No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
cp128327.pdf: 6590453 bytes, checksum: 5654758329fe7af83bec07339d8a3ffb (MD5) / Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2016-08-15T18:10:11Z (GMT) No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
cp128327.pdf: 6590453 bytes, checksum: 5654758329fe7af83bec07339d8a3ffb (MD5) / Made available in DSpace on 2016-08-15T18:10:11Z (GMT). No. of bitstreams: 2
license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
cp128327.pdf: 6590453 bytes, checksum: 5654758329fe7af83bec07339d8a3ffb (MD5) / Business process modelling basically comprises an activity whose main goal is to provide a formalization of business processes in an organization or a set of cooperating organizations (Recker, et al., 2006) (van der Aalst, et al., 2003). By modelling an organization’s business processes, it is possible to capture how the organization coordinates the work and resources with the aim of achieving its goals and strategies (Sharp, et al., 2001). Since business processes and goals are intrinsically interdependent, establishing an alignment between the process and the goal domains arises as a natural approach.
This thesis reports on a real-life exploratory case study in which we investigated the relationship between the elements of the enterprise (modeled in the ARIS framework) and the goals (modeled in the Tropos framework and modeling language) which are attained by these elements. The case study has been conducted in the Rheumatology Department of a University Hospital in Brazil. In the course of the case study, we have identified the need of splitting this effort into three phases: the elicitation phase (in which goal models and business process models are captured from the organizational domain), the harmonization phase (in which the goal domain is structured for alignment according to the business processes structures that will support it) and the alignment phase (in which the relationships between the goal domain and the elements of the organizational domain are established).
In order to investigate the relation between goals and enterprise elements, we propose an ontological account for both architectural domains. We recognize the importance in considering the business process as the means for implementing an enterprise’s strategy, but we do not exclude the remaining enterprise elements. Furthermore, we are concerned with both the identification of the relationships and with a classification for their nature.
|
66 |
Threat Analysis Using Goal-Oriented Action Planning : Planning in the Light of Information FusionBjarnolf, Philip January 2008 (has links)
An entity capable of assessing its and others action capabilities possess the power to predict how the involved entities may change their world. Through this knowledge and higher level of situation awareness, the assessing entity may choose the actions that have the most suitable effect, resulting in that entity’s desired world state. This thesis covers aspects and concepts of an arbitrary planning system and presents a threat analyzer architecture built on the novel planning system Goal-Oriented Action Planning (GOAP). This planning system has been suggested for an application for improved missile route planning and targeting, as well as being applied in contemporary computer games such as F.E.A.R. – First Encounter Assault Recon and S.T.A.L.K.E.R.: Shadow of Chernobyl. The GOAP architecture realized in this project is utilized by two agents that perform action planning to reach their desired world states. One of the agents employs a modified GOAP planner used as a threat analyzer in order to determine what threat level the adversary agent constitutes. This project does also introduce a conceptual schema of a general planning system that considers orders, doctrine and style; as well as a schema depicting an agent system using a blackboard in conjunction with the OODA-loop.
|
67 |
Contribution à une méthode de raffinement de maillage basée sur le vecteur adjoint pour le calcul de fonctions aérodynamiques / Contribution to a mesh refinement method based on the adjoint vector for the computation of aerodynamic outputsBourasseau, Sébastien 14 December 2015 (has links)
L’adaptation de maillage est un outil puissant pour l’obtention de simulations aérodynamiques précises à coût limité. Dans le cas particulier des simulations visant au calcul de fonctions aérodynamiques (efforts, moments, rendements...), plusieurs méthodes dites de raffinement ciblé (ou, en anglais, « goal-oriented ») basées sur le vecteur adjoint de la fonction d’intérêt ont été proposées. L’objectif de la thèse est l’extension d’une méthode de ce type basée sur la dérivée totale dJ/dX de la grandeur aérodynamique d’intérêt, J, par rapport aux coordonnées du maillage volumique, X. Les trois méthodes usuelles de calcul de gradient discret – la méthode de différentiation directe, la méthode adjointe-"paramètres" et la méthode adjointe-"maillage" évaluant dJ/dX – ont tout d’abord été étudiées et codées dans le logiciel elsA de l’ONERA pour des maillages non-structurés, pour des écoulements compressibles de fluide parfait et des écoulements laminaires. La seconde étape du travail a consisté à créer un senseur local θ basé sur dJ/dX qui identifie les zones du maillage volumique où la position des nœuds a une forte incidence sur l’évaluation de la fonction J. Ce senseur sert d’indicateur pour l’adaptation de différents maillages, pour différents régimes d’écoulement (subsonique, transsonique, supersonique), pour des configurations d’aérodynamique interne (aube et tuyère) et externe (profil d’aile). La méthode proposée est comparée à une méthode de raffinement ciblée très populaire (Venditti et Darmofal, 2001) et à une méthode de raffinement basée sur les caractéristiques de l’écoulement (ou, en anglais, « feature-based ») ; elle conduit à des résultats très satisfaisants. / Mesh adaptation is a powerful tool to obtain accurate aerodynamic simulations with limited cost. In the specific case of computation of aerodynamic functions (forces, moments, efficiency ...), goal-oriented methods based on the adjoint vector have been proposed. The aim of the thesis is the extension of a method of this type based on the total derivative dJ/dX of the aerodynamic output of interest, J, with respect to the volume mesh coordinates, X. The three common methods for calculating discrete gradient – the direct differentiation method, the parameter-adjoint method and mesh-adjoint method evaluating dJ/dX – have been studied first and coded in the elsA ONERA software for unstructured grids, for compressible inviscid and laminar flows. The second part of this work was has been to define a local sensor θ based on dJ/dX in order to identify zones where the volume mesh nodes position has a strong impact on the evaluation of the function J. This sensor is the selected indicator for different mesh adaptations for different flow regimes (subsonic, transonic, supersonic) for internal (blade and nozzle) and external (wing profile) aerodynamic configurations. The proposed method is compared to a well-known goal-oriented method (Darmofal and Venditti, 2001) and to a feature-based method ; it leads to very consistent results. very consistent results.
|
68 |
Semantic Analysis of Web Pages for Task-based Personal Web InteractionsManjunath, Geetha January 2013 (has links) (PDF)
Mobile widgets now form a new paradigm of simplified web. Probably, the best experience of the Web is when a user has a widget for every frequently executed task, and can execute it anytime, anywhere on any device. However, the current method of programmatically creating personally relevant mobile widgets for every user does not scale. Creation of these mobile web widgets requires application programming as well as knowledge of web-related protocols. Furthermore, these mobile widgets are also limited to smart phones with data connectivity and such smart phones form just about 15% of the mobile phones in India. How do we make web accessible on devices that most people can afford? How does one create simple relevant tasks for the numerous diverse needs of every person? In this thesis, we attempt to address these issues and propose a new method of web simplification that enables an end-user to create simple single-click widgets for a complex personal task - without any programming. The proposed solution enables even low-end phones to access personal web tasks over SMS and voice. We propose a system that enables end users to create personal widgets via programming-by-browsing.
A new concept called Tasklets to represent a user’s personal interaction, and a notion of programming over websites using a Web Virtual Machine are presented. Ensuring correct execution of these end user widgets posed interesting problems in web data mining and required us to investigate new methods to characterize and semantically model browser-based interactions. In particular, an instruction set for programming over web sites, new domain-specific similarity measures using ontologies, algorithms for frequent-pattern mining of web interactions and change detection with a proof of its NP-completeness are presented. A quantitative metric to measure the interaction complexity of web browsing and a method of classifying relational data using semantics hidden in the schema are introduced as well. This new web architecture to enable multi-device access to user's personal tasks over low-end phones was piloted with real users, as a solution named SiteOnMobile, and has received very positive response.
|
69 |
Rozpočtová politika vlády ČR v letech 2008-2013 / Czech government budget policy in years 2008-2013Píchalová, Nikol January 2013 (has links)
Diploma thesis deals with analysis of income and expenditure aspect of state budget, deficit and public debt during 2008-2013 period, following Global financial and economic crisis and its induced governmental countermeasures. It then explains Goal oriented budgeting implementation process into Ministry of defense for the same period. The first chapter is dedicated to explaining theoretical background of budgeting process and enumeration of basic budgeting methods. The second part deals with state budget, concrete income and expense analysis including state deficit and public debt. The last chapter describes Goal oriented budgeting implementation process into Ministry of defense and evaluation of its basic problems. The conclusion of the thesis combines the acquired knowledge and sets conclusions and recommendations.
|
70 |
Ontologies pour la gestion de sécurité ferroviaire : intégration de l'analyse dysfonctionnelle dans la conception / Ontologies for railway safety management : integration of the dysfunctional analysis into the designDebbech, Sana 14 October 2019 (has links)
La sécurité-innocuité est une propriété émergente des systèmes critiques de sécurité (SCS), notamment les systèmes ferroviaires. Cet aspect émergent complexifie leur processus du développement et nécessite un raisonnement judicieux permettant de diminuer les dangers. Cette thèse propose une approche ontologique qui intègre les activités de sécurité dès les premières phases de conception des SCS. Ce cadre structuré offre une harmonisation sémantique entre les domaines impliqués, tels que l'ingénierie de sécurité et l'Ingénierie des Exigences Dirigée par les Buts (IEDB). La logique métier intégrée dans cette approche est validée par des cas d'étude ferroviaires d'accidents réels et d'une mission télé-opérée. Dans un premier temps, nous avons proposé une ontologie d'analyse dysfonctionnelle appelée DAO et fondée sur l'ontologie de haut niveau UFO. DAO considère les aspects sociaux-techniques et environnementaux des SCS et intègre les différents types de fautes et de propriétés cognitives liés respectivement aux défaillances techniques et aux erreurs humaines. Le modèle conceptuel de DAO est exprimé en OntoUML et formalisé en langage OWL afin de fournir un support de raisonnement. Ensuite, un pont sémantique est établi entre les mesures de sécurité, les buts de sécurité et les exigences de sécurité par le développement d'une ontologie de gestion de sécurité orientée-but, appelée GOSMO. La gestion des décisions de sécurité s’appuie sur la réinterprétation du modèle de contrôle d'accès Or-Bac d'un point de vue sécurité-innocuité. Afin d'assurer la cohérence globale des exigences, GOSMO permet de structurer la gestion des évolutions des exigences et leur traçabilité. / Safety is an emergent property of safety critical systems (SCS), including railway systems. This emergent aspect exacerbates their development process and requires a thorough reasoning to reduce hazards. This thesis proposes an ontological approach that integrates safety activities from the early design stages of SCS. This structured framework provides a semantic harmonization between the involved domains, such as safety engineering and Goal Oriented Requirements Engineering (GORE). The business logic integrated in this approach is validated by real rail accident scenarios and a remotely operated task. At first, we proposed a dysfunctional analysis ontology called DAO and based on the high-level ontology UFO. DAO considers the socio-technical and environmental aspects of SCS and integrates the different types of faults and cognitive properties that are respectively related to technical failures and human errors. The DAO conceptual model is expressed in OntoUML and formalized in OWL language in order to provide a reasoning support. Then, a semantic bridge is established between safety measures, safety goals and safety requirements through the development of a goal-oriented security management ontology, called GOSMO. The management of safety decisions is based on the reinterpretation of the Or-Bac access control model from a safety point of view. In order to ensure the overall consistency of requirements, GOSMO allows structuring the management of requirements changes and their traceability
|
Page generated in 0.0695 seconds