1 |
Impact of automated validation on software model qualityTufvesson, Hampus January 2013 (has links)
Model driven development is gaining momentum, and thus, larger and more complex systems are being represented and developed with the help of modeling. Complex systems often suffer from a number of problems such as difficulties in keeping the model understandable, long compilation times and high coupling. With modeling comes the possibility to validate the models against constraints, which makes it possible to handle problems that traditional static analysis tools can't solve. This thesis is a study on to what degree the usage of automatic model validation can be a useful tool in addressing some of the problems that appear in the development of complex systems. This is done by compiling a list of validation constraints based on existing problems, implementing and applying fixes for these and measuring how a number of different aspects of the model is affected. After applying the fixes and measuring the impact on the models ,it could be seen that validation of dependencies can have a signicant impact on the models by reducing build times of the generated code. Other types of validation constraints require further study to decide what impact they might have on model quality.
|
2 |
Validation of ModelicaML modelsGatla, Goutham January 2012 (has links)
In the world of modeling, Model Validation plays a crucial role. A model editor is not said to becomplete without Validation. ModelicaML is a Modeling Language extended from a subset of UMLand SysML, developed under OpenModelica Project. It is defined to provide time-discrete andtime-continuous models. Papyrus Model Editor is extended to support for ModelicaML usingModelicaML Eclipse plug-in. This plug-in comes with Modelica Code Generator.Previously, ModelicaML plug-in had a prototype of validation which provided only Batch-modevalidation. The validation is used to be done by the Modelica compiler after the code generation phase.Each time the user tried to validate the model; first Modelica code is generated and then validated. Thistype of validation misses certain validation rules to validate due to the conversion from theModelicaML model to Modelica code.The goal of this thesis is to implement Model Validation done at model editor level with both Batch andLive mode validation. This can be done by developing an Eclipse plug-in which does the ModelValidation. This plug-in uses the EMF Validation framework for implementing the constraints andvalidation on ModelicaML models.
|
3 |
Tests automatisés dirigés par les exigences pour systèmes cyber-physiques / Requirement driven automated tests for cyber-physical systemsChabot, Martial 30 October 2018 (has links)
Aujourd’hui, de nombreux grands industriels de différents domaines se sont lancés dans la conception de produits intelligents pour répondre aux nouveaux besoins du marché. La conception de ces systèmes est de plus en plus complexe, puisqu’ils sont composés de nombreux composants physiques pouvant être contrôlés par des applications s'exécutant sur des processeurs. Afin d'assister cette conception multi-disciplines, la solution que nous proposons dans cette thèse est de diriger la modélisation et la conception du système par la prise en compte des scénarios de test qui devront être utilisés pour valider ses exigences. La méthode préconisée suggère de raisonner au niveau système et de commencer le processus de conception par la formalisation des tests de validation. En d'autres termes, il s'agit en particulier de préciser le(s) critère(s) d’acceptation de l’exigence ainsi que le scénario de test nécessaire pour le(s) vérifier. Formaliser ainsi les tests permet notamment d'analyser la formulation des exigences elles-mêmes et d'y lever toute ambiguïté. Nous proposons un modèle générique de la vue structurelle de l'infrastructure de test, et un profil UML associé. La vue comportementale est modélisée sous forme de diagrammes de séquences SysML. Les interfaces de l'infrastructure de test fournissent des contraintes de testabilité pour le système à concevoir. Nous avons développé un outil, ARES (Automatic geneRation of Executable tests from SysML), qui transforme automatiquement cette spécification structurelle/comportementale des tests en scénarios simulables ou exécutables. Ceux-ci, analogues par construction, seront utilisés pour valider des modèles simulables du système (Matlab/Simulink) puis lors du processus de vérification finale du produit (avec un environnement TestStand). Nous présentons l'application de cet outil sur diverses études de cas associées à des produits Schneider Electric. / Nowadays, many major manufacturers in different fields are working towards the design of smart products to meet new market needs. The design of these systems is increasingly complex, as they are composed of many physical components controlled by applications running on processors. In order to support this multi-disciplinary design, the solution we propose in this thesis is to guide the system modeling and design by taking into account the test scenarios that will be used to validate its requirements. The method that we propose suggests reasoning at the system level and starting the design process by formalizing validation tests. In other words, it amounts to specifying the acceptance criterion(s) for the requirement as well as the test scenario necessary to verify it. Formalizing the tests in this way makes it possible to analyze the formulation of the requirements themselves and to remove any ambiguity. We propose a generic model of the structural view of the test infrastructure, and an associated UML profile. The behavioral view is modeled as SysML sequence diagrams. The test infrastructure interfaces provide testability constraints for the system to be designed. We have developed a tool, ARES (Automatic GeneRation of Executable Tests from SysML), which automatically transforms this structural/behavioral specification of the tests into simulatable or executable scenarios. These scenarios, analogous by construction, will be used to validate simulatable models of the system (Matlab/Simulink), then during the process of final verification of the product (with a TestStand environment). We present the application of this tool on various case studies associated with Schneider Electric products.
|
4 |
Mis-reporting of food intake by UK adultsO'Reilly, Leona January 2001 (has links)
No description available.
|
5 |
Methods of quantitative model validation based on model parameter distortion with applications to the nuclear industryLi, C. L. R. January 1988 (has links)
No description available.
|
6 |
Traduction et validation transculturelle du questionnaire Sources of Sport-Confidence : questionnaire auprès d'une population canadienne-françaiseAllard, Geneviève January 2004 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
7 |
Enseignement introductif de l'algèbre et validationBarallobres, Gustavo January 2005 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
|
8 |
Réaménagement des friches industrielles en milieu urbain : approche communicationnelle systémique pour une amélioration de la décision des maîtres d'ouvrage / Brownfields redevelopment in urban area : systemic communicational approach for the improvement of project owner's decisionValeyre, Thomas 11 December 2014 (has links)
Les friches industrielles en milieu urbain représentent un grand potentiel de redéveloppement urbain mais l’aménagement sur les sites et sols polluées complexifie la prise de décision. Ces décisions sont basées sur des informations fournies par un grand nombre d’acteurs. Une méthode d’étude par la systémique communicationnelle a été retenue. Afin de modéliser ce système pour le réaménagement des friches industrielles, une méthodologie basée sur le retour d’expérience a été mise au point. Une grille a été construite dans le but de recueillir, pour chacune des sept phases des projets de réaménagement, les typologies d’acteurs, les typologies de données qu’ils acquièrent en urbanisme et en environnement et les problèmes que rencontrent ces acteurs. Enfin, un ensemble de règles permettant de modéliser l’évolution des données dans la dimension informationnelle a été défini. Les grilles de recueil ont été appliquées à trois terrains d’études. Une validation croisée des données par la méthode de triangulation en sciences humaines a été réalisée. Ces données a ensuite été utilisées pour modéliser le système communicationnel. Les résultats de la validation croisée ont montré que, les typologies d’acteurs et de données étaient fiables de par leur répétabilité. Cependant, des faiblesses ont été détectées en fin de projet : il a été difficile d’identifier les données utilisées. La structure du modèle a été étudiée et a montré que la structure des échanges était simple. Ensuite, les problèmes rencontrés par les différents acteurs ont été analysés. Ces problèmes sont principalement concentrés sur deux phases du projet : la première et la cinquième. Il a été démontré que les problèmes rencontrés sont liés à l’acquisition des données. Ce manque de données engendre des incertitudes pouvant remettre en cause le projet. En termes de perspectives, il faudrait réaliser des interviews complémentaires pour identifier les typologies manquantes en fin de projet. / Brownfields in urban areas have great potential for redevelopment of cities, but urbanization on contaminated sites complicates decision making. The decisions are based on information provided by a lot of stakeholders. A method based on the systemic of communication was chosen. A methodology based on the feedback was developed to model this system of brownfield redevelopment. A grid was built in order to analyze in each stages of redevelopment projects: the types of involved stakeholders; the types of data they collect in urban planning and environment; and problems faced by these actors. Finally, a set of rules to model the evolution of the data in the informational dimension was defined. The collection grids were applied for three fields of study. Cross-validation of the data by the method of triangulation was achieved. All types of data was used to set up the communicational system. The model was established and its structure has been analyzed. This study showed that the pattern of trade between stakeholders was simple. Then, the problems found by stakeholders were studied. Problems were highlighted mainly into two stages: the first and fifth stages corresponding respectively to the beginning of conception of projects and the beginning of preparation works. The problems encountered are mostly related to the collection of data. This lack of data generate big uncertainty that could affect the project limiting the alternative scenarios. The results of cross-validation shown that the types of stakeholders and data are valid because of their repeatability. However, weaknesses were detected at the end of the project: it was difficult to identify the data which was used. Perspectives would require to make further interviews to identify missing typologies of data at the end of project.
|
9 |
L'épuisement estudiantin : approche clinique, psychopathologique, épidémiologique et psychothérapeutique TCC du syndrome du burnout académique / Student exhaustion : a clinical, psychopathological, epidemiological and CBT psychotherapeutic approach of the Academic Burnout SyndromeFaye-Dumanget, Christine 14 December 2018 (has links)
Dans le champ de la santé mentale, la population étudiante constitue un groupe particulièrement vulnérable en termes de détresse ou de souffrance psychologique. En effet, les risques anxiodépressifs et addictifs font partie des troubles souvent identifiés chez ces jeunes adultes. Le stress est également particulièrement prégnant et l’épuisement pour cette classe d’âge représente la première cause de fragilité psychologique. Les recherches internationales qui s’intéressent à la santé psychique des étudiants décrivent ce phénomène sous le terme de syndrome de burnout académique ou burnout académique (BOA). Cette souffrance largement reconnue dans le milieu professionnel est transposable au monde des études et de la formation. Elle reflète un processus tridimensionnel dont les composantes sont l’épuisement psychique, le cynisme et la réduction ou la perte du sentiment d’efficacité lié aux études. Si de nombreux travaux internationaux s’intéressent au BOA, il n’existe pas d’outil validé en français, ce qui complique la possibilité de mener de telles études systématisées dans des pays francophones. L’objectif de ce travail consiste à rendre compte du phénomène d’un point de vue clinique (cas cliniques), à valider empiriquement un outil d’évaluation du burnout académique (validation psychométrique du Maslach Burnout Inventory-Student Survey (MBI-SS) sur un échantillon de 667 étudiants), à procéder à l’exploration épidémiologique du BOA et ses les liens avec certains facteurs psychopathologiques (anxiété, dépression) et processus adaptatifs (régulation émotionnelle, flexibilité mentale) avec un échantillon de 2260 étudiants provenant d’espaces francophones et enfin à proposer une prise en charge du BOA s’appuyant sur les Thérapies Comportementales et Cognitives. L’ensemble de ces études est discuté afin de mettre en exergue la particularité du BOA dans cette population et la caractéristiques d’une dimension du BOA, l’épuisement émotionnel, en tant que processus transdiagnostique. / The student population is a particularly vulnerable group in terms of distress or psychological suffering. Indeed, anxiety-depressive and addictive risks are often identified in these young adults. Stress is also particularly prevalent and exhaustion for this age group is the first leading cause of psychological fragility. International researches focusing on student psychic health refer to this phenomenon with the terms academic burnout syndrome or academic burnout (ABO). Burnout is widely recognized in professional environments and is transferable to other contexts, such as higher education and training. It reflects a three-dimensional process which includes mental exhaustion, cynicism and the reduction or loss of the sense of effectiveness associated with studies. Even if many international studies investigated ABO, no French validated tool is available, which complicates the possibility of conducting systematic studies in French-speaking countries. The objective of this work is to report on the phenomenon from a clinical point of view (clinical cases), to empirically validate an evaluation tool for academic burnout (psychometric validation of the Maslach Burnout Inventory Student Survey (MBI-SS) on a sample of 667 students), to carry out the epidemiological exploration of the ABO and its links with certain psychopathological factors (anxiety, depression) and adaptive processes ( emotional regulation, mental flexibility) with a sample of 2260 students from French-speaking areas and finally to propose a management of ABO based on Behavioral and Cognitive Therapies. All of these studies are discussed in order to highlight the particularity of the ABO in this population as well as the characteristics of one ABO dimension, the emotional exhaustion, as a transdiagnostic process.
|
10 |
Upgrade and validation of PHX2MCNP for criticality analysis calculations for spent fuel storage poolsLarsson, Cecilia January 2010 (has links)
<p>A few years ago Westinghouse started the development of a new method for criticality calculations for spent nuclear fuel storage pools called “PHOENIX-to–MCNP” (PHX2MCNP). PHX2MCNP transfers burn-up data from the code PHOENIX to use in MCNP in order to calculate the criticality. This thesis describes a work with the purpose to further validate the new method first by validating the software MCNP5 at higher water temperatures than room temperature and, in a second step, continue the development of the method by adding a new feature to the old script. Finally two studies were made to examine the effect from decay time on criticality and to study the possibility to limit the number of transferred isotopes used in the calculations.</p><p>MCNP was validated against 31 experiments and a statistical evaluation of the results was done. The evaluation showed no correlation between the water temperature of the pool and the criticality. This proved that MCNP5 can be used in criticality calculations in storage pools at higher water temperature.</p><p>The new version of the PHX2MCNP script is called PHX2MCNP version 2 and has the capability to distribute the burnable absorber gadolinium into several radial zones in one pin. The decay time study showed that the maximum criticality occurs immediately after the takeout from the reactor as expected.</p><p>The last study, done to evaluate the possibility to limit the isotopes transferred from PHOENIX to MCNP showed that Case A, a case with the smallest number of isotopes, is conservative for all sections of the fuel element. Case A, which contains only some of the actinides and the strongest absorber of the burnable absorbers gadolinium 155, could therefore be used in future calculations.</p><p>Finally, the need for further validation of the method is discussed.</p>
|
Page generated in 0.112 seconds