Academic literature on the topic 'Validation des exigences'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Validation des exigences.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Validation des exigences"
1
Bezzaz, Yasmine, Glorian Sorensen, and Nadia Motii. "An investigation of the validity of the Job Demands/Resources scale in the Moroccan context." Revue Management & Innovation N° 3, no. 1 (2021): 35–51. http://dx.doi.org/10.3917/rmi.203.0035.
Full textAbstract:
L’objectif de cet article est de présenter les analyses de validation de l’échelle de mesure des exigences/ressources du travail (Job demands/resources scale) dans le contexte marocain. Pour parer à une absence de validation dans ce dernier, nous avons administré l’enquête à 346 employés dans 72 entreprises marocaines de secteurs variés. L’évaluation des propriétés psychométriques de cet outil a abouti à 7 facteurs fiables regroupés en deux facteurs principaux appuyés par la théorie des exigences et des ressources. Les résultats montrent une fiabilité acceptable, ceci est d’un intérêt capital pour la mesure des perceptions des travailleurs des caractéristiques de leur emploi.
2
Grizeau, B. "Validation des techniques d’immunohistochimie de mise en évidence de HER-2 dans le cancer du sein. Exigences pour l’accréditation Cofrac." Annales de Pathologie 31, no. 5 (2011): S166. http://dx.doi.org/10.1016/j.annpat.2011.09.106.
Full text
3
Séby, Fabienne, Jean Dumont, Christine Gleyzes, Mathieu Menta, Véronique Vacchina, and Maïté Bueno. "Analyse de formes chimiques et de nanoparticules dans les échantillons d’eau : méthodes analytiques, préconcentration et validation." Revue des sciences de l’eau 28, no. 1 (2015): 27–32. http://dx.doi.org/10.7202/1030004ar.
Full textAbstract:
Il est maintenant reconnu que la mesure de la concentration totale d’un élément ne permet pas d’obtenir d’information fiable sur son impact environnemental et sa toxicité, ces éléments pouvant être présents sous différentes formes chimiques ou à l’état de nanoparticules (NPs). Il est alors nécessaire de faire appel à des techniques de fractionnement en taille pour les NPs ou à des analyses de spéciation permettant d'identifier et doser les différentes formes chimiques des éléments. Cette approche nécessite de disposer de protocoles d’échantillonnage, de conservation et de préparation d’échantillon stricts qui ne modifient pas la répartition des formes chimiques, notamment. Étant donné les nouvelles exigences des normes, cette approche nécessite également des outils analytiques de plus en plus précis, sensibles et robustes. Le couplage de techniques séparatives basées sur la chromatographie (liquide ou gazeuse) ou le fractionnement de flux, d’une part, et la spectrométrie de masse à plasma induit (ICP MS), d’autre part, présente un réel potentiel pour ces analyses. Ces approches sont détaillées d’une manière générale en termes de potentiels et de performances analytiques et des applications sont présentées pour différents éléments (As, Hg, Sn, Cr ou Sb). Au travers de ces différents exemples, sont particulièrement abordés :
4
Amrouche, Fethia, Bouziane Mahmah, Maiouf Belhamel, and Hocine Benmoussa. "Modélisation d’une pile à combustible PEMFC alimentée directement en hydrogène-oxygène et validation expérimentale." Journal of Renewable Energies 8, no. 2 (2005): 109–21. http://dx.doi.org/10.54966/jreen.v8i2.856.
Full textAbstract:
La pile à combustible (PAC) est connue depuis longtemps comme un convertisseur d’hydrogène en énergie (électrique + thermique) possédant de très bons rendements, les recherches sur cette technologie se développent partout dans le monde de manière considérable. Les raisons sont bien connues: la réponse aux contraintes environnementales, aux problèmes posés par la production centralisée d’électricité, la nécessité d’avoir des alternatives énergétiques (vecteur hydrogène) et certaines exigences technologiques spécifiques telles que les applications spatiales, sous-marines, électroniques portables, alimentation électrique de sites isolés et de microsystèmes. Il est certain que nous assisterons dans les prochaines décennies à l’émergence de la filière hydrogène dans notre vie quotidienne comme vecteur énergétique. Le choix de la technologie des piles à combustible à membrane échangeuse de protons (PEMFC) est implicite vu les performances intéressantes (faible poids, robuste, électrolyte solide, démarrage rapide, large gamme de puissance de 1 W à10 MW, etc.). Il est donc important de pousser encore plus loin les efforts de recherche/développement autour de cette technologie pour pouvoir la maîtriser et étendre son application. Cet article présente les résultats de la modélisation de la cinétique électrochimique et la production électrique des piles à combustible PEMFC alimentée directement en gaz pur (hydrogène et oxygène) et la validation expérimentale grâce à une base de données établie au niveau du ‘’Laboratoire d’Hydrogène en Réseau – CDER‘’, dans le but d’exploiter et d’améliorer les modèles électrochimiques existants.
5
Bouteiller, Dominique, and Patrick Gilbert. "La diffusion de l’instrumentation de la gestion des compétences en Amérique du Nord depuis David C. McClelland." Articles 71, no. 2 (2016): 224–46. http://dx.doi.org/10.7202/1036608ar.
Full textAbstract:
Cet article s’intéresse aux prédicteurs de laperformance utilisés dans les organisations pour gérerleurs ressources humaines. Il amorce la réflexion à cetteétape charnière que fut la publication, en 1973, del’article de David McClelland préconisant l’usage ducritère de la compétence plutôt que celui del’intelligence dans les processus de sélection.L’article tente de tracer le devenir de ce nouveauprédicteur jusqu’à nos jours et d’explorer dequelle façon la théorie des compétencess’est traduite en modèles appliqués dans le mondeprofessionnel. Basé sur une analyse de la littératurenord-américaine, ainsi que sur des études de cas enentreprise (n=150), l’article montre le passage progressifd’une approche « inductive »,inspirée de la démarche scientifique et basée surdes analyses approfondies du travail et descompétences-clés, à une démarche« déductive » basée surl’usage de dictionnaires de compétences,déjà formatés et répondant aux exigences dela pratique. Si la façon d’y parvenir est trèsdifférente, l’objectif est le même : obtenir unréférentiel de compétences traduisant le mieuxpossible les exigences de l’emploi et permettant de reconfigurerplusieurs pratiques en gestion des ressources humaines, telles que lasélection, la formation ou la gestion des carrières. Dansles faits, bon nombre d’entreprises ont pris l’habituded’utiliser simultanément et encomplémentarité les deux approches dans une formehybride. Le recours aux dictionnaires permet de dégagerl’espace des possibles et d’identifier rapidement lescompétences les plus critiques dans un cadre participatifdestiné à faciliter l’appropriation de ladémarche. Le travail plus analytique sur certainescompétences, à l’aide des entrevues baséessur les comportements, facilitera la validation de certaines opinionsà priori. À travers ce parcours, les auteurs soulignentles enjeux qui accompagnent le passage d’une théorieà son application pratique. En conclusion, ils se demandent sile « pari » de McClelland a ététenu et soulèvent la question des prédicteurs àvenir, en signalant plus particulièrement le concept de talentqui tend actuellement à remplacer celui de compétence.
6
Demers, Mireille, and John Tivendell. "Les bottines suivent-elles les babines? Validation d’un modèle de congruence pour expliquer la santé, la satisfaction et la performance au travail." Ad machina: l'avenir de l'humain au travail, no. 3 (March 1, 2020): 72–98. http://dx.doi.org/10.1522/radm.no3.1100.
Full textAbstract:
Les organisations d’aujourd’hui doivent composer avec des exigences de performance de plus en plus élevées tout en prônant le bien-être et la satisfaction de leurs employés. En effet, gérer les problèmes de santé psychologique au travail est devenu pour ces organisations un défi redoutable. Sachant que les modèles actuels ne répondent pas à la demande, la présente étude propose un modèle innovateur fondé sur la congruence des perceptions pour expliquer les extrants individuels tels que la santé mentale, la satisfaction et la performance, ainsi que les extrants organisationnels tels que la productivité et l’efficacité organisationnelles. Le modèle proposé, fondé sur le concept d'autocontradiction de Higgins et sur la théorie de congruence de Caplan, explore les relations triadiques de la congruence des perceptions de l'employé à propos des caractéristiques du travail et celles de l’organisation. L’étude a permis de rejoindre 201 travailleurs francophones âgés de 19 à 70 ans qui ont répondu à un questionnaire quantitatif. Le présent article expose les résultats de cette recherche et leurs implications, tout en suggérant l’importance de réduire les écarts extrêmes de perceptions pour améliorer la santé et la satisfaction des employés ainsi que l’efficacité et la productivité des organisations.
7
Munck, Anne, David Cheillan, Marie-Pierre Audrezet, David Guenet, and Frédéric Huet. "Dépistage néonatal de la mucoviscidose." médecine/sciences 37, no. 5 (2021): 491–99. http://dx.doi.org/10.1051/medsci/2021051.
Full textAbstract:
Le dépistage néonatal (DNN) de la mucoviscidose a permis une prise en charge multidisciplinaire très précoce des nourrissons et a amélioré le pronostic de cette maladie. Il a connu, en une vingtaine d’années, un développement international spectaculaire. Les performances du DNN national français, réalisé depuis 2002, répondent aux exigences des standards européens en termes de valeur prédictive positive et de sensibilité. Nous pouvons noter, en particulier, un nombre très faible de cas en attente de conclusion, un pourcentage très élevé de tests de la sueur réalisés et d’identification des mutations du gène cystic fibrosis transmembrane conductance regulator (CFTR), un ratio important de cas de mucoviscidose par rapport aux cas de diagnostics non conclus, ainsi qu’une stratégie efficace pour repérer les faux-négatifs. Une nouvelle organisation du DNN français a été mise en place. Il est donc capital de maintenir l’efficacité du processus ainsi mis en place, du nouveau-né en maternité jusqu’au diagnostic dans des centres de ressources et de compétences de la mucoviscidose, avec le recueil exhaustif des données et leur validation.
8
Hassaine, Linda, Issam Abadlia, Antar Beddar, Fateh Abdoune, and Mohamed Rida Bengourina. "Contrôle Avancé des Onduleurs Photovoltaïques Connectés au Réseau." Journal of Renewable Energies 24, no. 2 (2021): 181–201. http://dx.doi.org/10.54966/jreen.v24i2.980.
Full textAbstract:
L’énergie solaire photovoltaïque (PV) est parmi les énergies renouvelables la plus utilisée pour la production de l’énergie électrique. Le point le plus important en ce qui concerne l'intégration des systèmes photovoltaïques au réseau est le convertisseur de puissance, notamment les onduleurs qui ne sont pas tout à fait capables de fonctionner en mode avancé. Les nouvelles techniques en développement permettent d'améliorer les performances des onduleurs en assurant l'intégration correcte des systèmes photovoltaïques en tenant compte des caractéristiques du réseau. D’où, des exigences pour le contrôle avancé de l'onduleur connecté au réseau permettent le contrôle complet de l'énergie photovoltaïque fournie, toute en assurant une bonne qualité d’énergie, un faible Taux de Distorsion Harmonique (THD) des courants injectés dans le réseau et le contrôle de la puissance active et réactive. Ce papier présente, les configurations, la classification et les topologies des différents types d’onduleurs PV connectés au réseau. Un résumé concis des méthodes de contrôle pour les onduleurs monophasés et triphasés est également présenté. Un banc d’essai a été réalisé pour la validation expérimentale des techniques de contrôle proposées et développées.
9
Simar, Carine, Julie Pironom, Damien Tessier, Christelle Nsambu, and Julien Masson. "Validation transculturelle d’une échelle de mesure des compétences sociales chez les élèves des 8 à 12 ans." Revue Education, Santé, Sociétés, Vol. 7, No. 1, Volume 7, Numéro 1 (November 30, 2020): 125–39. http://dx.doi.org/10.17184/eac.3865.
Full textAbstract:
La notion de compétences psychosociale (CPS) a été introduite par l’OMS en 1993 et définie comme « la capacité d’une personne à répondre avec efficacité aux exigences et aux épreuves de la vie quotidienne. C’est la capacité d’une personne à maintenir un état de bien-être subjectif qui lui permet d’adopter un comportement approprié et positif à l’occasion d’interactions avec les autres, sa culture, son environnement. ». Aujourd’hui, les compétences psychosociales bénéficient de plus en plus de recherches et sont reconnues comme un déterminant solide du bien-être et donc plus largement de la santé des élèves. Si des programmes scolaires permettant de les développer voient le jour, il semblerait qu’il n’existe pas d’échelle psychométrique permettant de les mesurer. Cet article propose donc la validation d’une échelle de mesure de la compétence « sociale » des CPS, en langue française, pour un public âgé d’au moins 8 ans. Pour ce faire, un recueil auprès de 614 élèves de cycle 3 (CM1-CM2-6ème), âgés de 8 à 12 ans (moyenne = 9,71 ans et écart-type = 0,81) a été mené lors de l’année scolaire 2017-2018 dans le cadre d’un projet de recherche-intervention sur le développement des CPS. Les élèves ont complété un questionnaire auto-administré en classe créé à partir d’outils connexes existants. Après un traitement statistique (validité, fiabilité), il ressort que les propriétés psychométriques de l’échelle de mesure CPS relatives à la compétence « sociale » sont bonnes et permettent de la valider.
10
Larouche, Marie-Claude, Anik Meunier, and Nicole Lebrun. "Ressources muséales, TIC et univers social au primaire : résultats d’une recherche collaborative." Articles 47, no. 2 (2012): 171–92. http://dx.doi.org/10.7202/1013122ar.
Full textAbstract:
Cette recherche collaborative porte sur l’utilisation, l’application et l’intégration des ressources pédagogiques en ligne du musée McCord dans l’enseignement de l’univers social au troisième cycle du primaire. La première partie fait état du peu de ressources pédagogiques en ligne pour répondre adéquatement aux besoins et aux exigences du milieu scolaire. Elle identifie également des liens entre les technologies de l’information et de la communication (TIC) et le programme de formation au primaire pour soutenir le développement des compétences dans le domaine de l’univers social. Nous traitons ensuite de la place de plus en plus importante qu’occupent les ressources muséales dans l’enseignement et l’apprentissage et, plus particulièrement, de l’expertise du musée McCord en ce domaine. La deuxième partie décrit la méthode de recherche développée, ainsi que la démarche d’élaboration, de mise à l’essai et de validation des ressources pédagogiques en ligne sur le site du Musée. La troisième partie présente les résultats à propos de l’appropriation des ressources, l’apprentissage des élèves et la pertinence des ressources web. Enfin, en quatrième partie, nous formulons quelques recommandations en vue d’une intégration efficace et efficiente en milieu scolaire des ressources pédagogiques en ligne dont il est question dans cette étude.
Dissertations / Theses on the topic "Validation des exigences"
1
Chabot, Martial. "Tests automatisés dirigés par les exigences pour systèmes cyber-physiques." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM056/document.
Full textAbstract:
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<br>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
2
Yangui, Rahma. "Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires." Thesis, Ecole centrale de Lille, 2016. http://www.theses.fr/2016ECLI0003/document.
Full textAbstract:
La sécurité est un enjeu majeur dans le cycle de développement des systèmes critiques, notamment dans le secteur du transport ferroviaire. Cette thèse vise la modélisation, la vérification et la validation des règles d'exploitation ferroviaires au regard des exigences de sécurité. Ces règles ont pour but de définir les autorisations de déplacement des trains sur des lignes ferroviaires nationales équipées du système européen de gestion du trafic ferroviaire (ERTMS). De manière analogue, on trouve les concepts liés aux autorisations dans la description des politiques de contrôle d'accès des systèmes d'information. Par conséquent, nos contributions portent sur l'adaptation d'une approche UML/B pour le contrôle d'accès des systèmes d'information afin de modéliser et de valider les règles d'exploitation ferroviaires. Dans un premier temps, nous avons adapté le modèle Role Based Access Control (RBAC) sur une étude de cas ferroviaire extraite des règles d'exploitation appliquées sur la ligne à grande vitesse LGV Est-Européenne en France. La plate-forme B4MSecure nous a permis de modéliser ces règles à l'aide d'un profil UML de RBAC inspiré de SecureUML. Ensuite, ces modèles sont transformés en des spécifications B qui ont été enrichies par des propriétés de sécurité ferroviaire et soumises à des activités de vérification et de validation formelles. Aux concepts du modèle RBAC, le modèle Organization Based Access Control (Or-Bac) introduit la notion d'organisation, au centre de ce modèle, et la notion de contexte. Nous avons donc proposé d’utiliser ce modèle en tant qu’extension du modèle RBAC dans l’optique d’une interopérabilité ferroviaire en ERTMS<br>The safety is a major issue in the development cycle of the critical systems, in particular in the rail transportation sector. This thesis aims at the modeling, the verification and at the validation of the railway operating rules with regard to the safety requirements. These rules intend to define the authorizations of trains movement on national railway lines equipped with the European Rail Traffic Management System (ERTMS). In a similar way, we find the concepts of authorizations in the description of access control policies of information systems. Consequently, our contributions concern the adaptation of an UML/B approach for the access control of information systems to model and validate the railway operating rules. At first, we adapted the Role Based Access Control (RBAC) model on a railway case study extracted from the operating rules applied on the LGV-Est-Européenne line in France. The B4MSecure platform enables the modeling of these rules by means of a UML profile of RBAC inspired by SecureUML. Then, these models are transformed into B specifications. which are enhanced by railway safety properties and formally verified and validated. In addition to the concepts of the RBAC model, the Organization Based Access Control (Or-Bac) model introduces the notion of organization, in the center of this model, and the notion of context. We have therefore proposed to use this model as extension of the RBAC model in the context of railway interoperability in ERTMS
3
Defossez, François. "Modélisation discrète et formelle des exigences temporelles pour la validation et l'évaluation de la sécurité ferroviaire." Phd thesis, Ecole Centrale de Lille, 2010. http://tel.archives-ouvertes.fr/tel-00584005.
Full textAbstract:
Le but de ce rapport est de présenter une méthode globale de développement à partir de spécifications informelles, depuis la modélisation graphique des exigences temporelles d'un système ferroviaire critique jusqu'à une implantation systématique au moyen de méthodes formelles. Nous proposons d'utiliser ici les réseaux de Petri temporels pour décrire le comportement attendu du logiciel de contrôle-commande à construire.Tout d'abord nous construisons un modèle des exigences p-temporel prenant en compte toutes les contraintes que doit vérifier le système. Nous proposons des outils et des méthodes capables de valider et de vérifier ce modèle. Ensuite, il s'agit de construire un modèle de processus solution en réseau de Petri t-temporel. Ce modèle illustre des exigences techniques relatives à un choix technologique ou architectural. L'objectif est double : tout d'abord il est nécessaire de vérifier la traçabilité des exigences ; ensuite, il faut vérifier que l'ensemble des exigences sources sont bien implémentées dans la solution préconisée et dans sa mise en oeuvre. Enfin, nous proposons une approche visant à transformer de façon systématique le modèle de processus en machine abstraite $B$ afin de poursuivre une procédure formelle $B$ classique. Finalement, le cas d'étude du passage à niveau, composant critique dans le domaine de la sécurité ferroviaire est décrit
4
Defossez, François. "Modélisation discrète et formelle des exigences temporelles pour la validation et l’évaluation de la sécurité ferroviaire." Thesis, Ecole centrale de Lille, 2010. http://www.theses.fr/2010ECLI0004/document.
Full textAbstract:
Le but de ce rapport est de présenter une méthode globale de développement à partir de spécifications informelles, depuis la modélisation graphique des exigences temporelles d'un système ferroviaire critique jusqu'à une implantation systématique au moyen de méthodes formelles. Nous proposons d'utiliser ici les réseaux de Petri temporels pour décrire le comportement attendu du logiciel de contrôle-commande à construire.Tout d'abord nous construisons un modèle des exigences p-temporel prenant en compte toutes les contraintes que doit vérifier le système. Nous proposons des outils et des méthodes capables de valider et de vérifier ce modèle. Ensuite, il s'agit de construire un modèle de processus solution en réseau de Petri t-temporel. Ce modèle illustre des exigences techniques relatives à un choix technologique ou architectural. L'objectif est double : tout d'abord il est nécessaire de vérifier la traçabilité des exigences ; ensuite, il faut vérifier que l'ensemble des exigences sources sont bien implémentées dans la solution préconisée et dans sa mise en oeuvre. Enfin, nous proposons une approche visant à transformer de façon systématique le modèle de processus en machine abstraite $B$ afin de poursuivre une procédure formelle $B$ classique. Finalement, le cas d'étude du passage à niveau, composant critique dans le domaine de la sécurité ferroviaire est décrit<br>The introduction of new European standards for railway safety, coupled with an increasing use of software technology changes the method of development of critical railway systems. Indeed, new systems have to be at least as good as the previous ones. Therefore the appropriate safety level of critical systems has to be proved in order to obtain the necessary approval from the authorities. Accordingly a high level of reliability and correctness must be reached by the use of mathematical proofs and then formal methods. We focus on the treatment of the temporal requirements in the level crossing case study which is modelled with p-time Petri nets, and on the translation of this model in a more formal way by using the B method. This paper introduces a methodology to analyse the safety of timed discrete event systems. First, our goal is to take out the forbidden state highlighted by a p-time Petri net modelling. This model deals with the requirements of the considered system and has to contain all the constraints that have to be respected. Then we aim at describing a process identified as a solution of the system functioning. This method consists in exploring all the possible behaviours of the system by means of the construction of state classes. Finally, we check if the proposed process corresponds to the requirements model previously built.Our case-study is the level crossing, a critical component for the safety of railway systems
5
Sayar, Imen. "Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0030/document.
Full textAbstract:
Le développement de spécifications formelles correctes pour des systèmes et logiciels commence par l’analyse et la compréhension des besoins du client. Entre ces besoins décrits en langage naturel et leur spécification définie dans un langage formel précis, un écart existe et rend la tâche de développement de plus en plus difficile à accomplir. Nous sommes face à deux mondes distincts. Ce travail de thèse a pour objectif d’expliciter et d’établir des interactions entre ces deux mondes et de les faire évoluer en même temps. Par interaction, nous désignons les liens, les échanges et les activités se déroulant entre les différents documents. Parmi ces activités, nous présentons la validation comme un processus rigoureux qui démarre dès l’analyse des besoins et continue tout au long de l’élaboration de leur spécification formelle. Au fur et à mesure du développement, des choix sont effectués et les retours des outils de vérification et de validation permettent de détecter des lacunes aussi bien dans les besoins que dans la spécification. L’évolution des deux mondes est décrite via l’introduction d’un nouveau besoin dans un système existant et à travers l’application de patrons de développement. Ces patrons gèrent à la fois les besoins et la spécification formelle associée ; ils sont élaborés à partir de la description de la forme des besoins. Ils facilitent la tâche de développement et aident à éviter les risques d’oublis. Quel que soit le choix, des questions se posent tout au long du développement et permettent de déceler des lacunes, oublis ou ambiguïtés dans l’existant<br>The development of correct formal specifications for systems and software begins with the analysis and understanding of client requirements. Between these requirements described in natural language and their specification defined in a specific formal language, a gap exists and makes the task of development more and more difficult to accomplish. We are facing two different worlds. This thesis aims to clarify and establish interactions between these two worlds and to evolve them together. By interaction, we mean all the links, exchanges and activities taking place between the different documents. Among these activities, we present the validation as a rigorous process that starts from the requirements analysis and continues throughout the development of their formal specification. As development progresses, choices are made and feedbacks from verification and validation tools can detect shortcomings in requirements as well as in the specification. The evolution of the two worlds is described via the introduction of a new requirement into an existing system and through the application of development patterns. These patterns manage both the requirements and their associated formal specifications ; they are elaborated from the description of the form of the requirements in the client document. They facilitate the task of development and help to avoid the risk of oversights. Whatever the choice, the proposed approach is guided by questions accompanying the evolution of the whole system and makes it possible to detect imperfections, omissions or ambiguities in the existing
6
Collart-Dutilleul, Simon. "Réseaux de Petri P-temporels: Modélisation et validation d'exigences temporelles." Habilitation à diriger des recherches, Université des Sciences et Technologie de Lille - Lille I, 2008. http://tel.archives-ouvertes.fr/tel-00364666.
Full textAbstract:
Le corps de ce travail concerne la modélisation des systèmes à événements discrets. Il s'intéresse par ailleurs en quasi exclusivité à la gestion des contraintes de temps de séjour. Mes travaux de thèse ont comporté la constitution du cahier des charges en amont et les applications en aval d'un outil de modélisation des exigences temporelles : Les Réseaux de Petri P-temporels. L'ensemble de mes travaux de recherche a été développé dans le but d'asseoir l'utilisation de cet outil. Un premier axe a été de positionner l'outil par rapport à ceux de l'état de l'art. Une deuxième tâche a été de prouver un certains nombre de propriétés mathématiques dans l'optique de permettre des applications industrielles efficaces. Au delà de la stricte recherche de propriété, l'extension du champ applicatif, vers le domaine du ferroviaire par exemple, a pris une part très importante. Une troisième activité a débouché sur la caractérisation des limites du modèle et la proposition d'extension fonctionnelle ou de rapprochement de l'outil de modélisation vers des modèles existants. Ce modèle concerne donc les Systèmes à Evénements Discrets où l'on rencontre des contraintes de temps de séjour maximum dans un état donné. C'est le cas de la galvanoplastie qui a été le premier support applicatif. Très rapidement, le champ des applications potentielles de l'outil a été élargi par des publications dans les domaines de l'industrie alimentaire. Les travaux se sont par ailleurs concentrés sur la partie commande, en supposant que la séquence des opérations avait déjà été fixée. Ils ont été appuyés par le travail de master de recherche de M.F. Karoui en 2004 (deux conférences ont été publiées dans la suite de son mémoire). Par ailleurs, l'expertise en supervision qui se trouvait au sein de l'équipe Système à Evénement Discret a été valorisée par le stage de master de T. Lecuru sur la supervision des ateliers automobiles en 2003. Ce travail a pris une autre ampleur avec la thèse de Jerbi Nabil sur la commande des ateliers à contraintes de temps soutenue en 2006 (3 publications de revue). Il se poursuit avec la thèse de Annis Mhalla. En 2006, F. Defossez soutient un master dans le domaine ferroviaire sur la gestion des exigences temporelles de sécurité. Ce dernier va s'inscrire en troisième année de thèse et a déjà publié 5 conférences. Ce travail ouvre un champ très important pour l'outil de modélisation que je porte. Par exmple, cela a amné la participation à un projet Européen. Ce projet SELCAT qui s'intéresse au passage à niveau et qui s'est terminé en juin 2008. Il se prolongera dans un projet national ANR accepté qui débutera autour de janvier 2009. En parallèle, un projet spécifique ayant trait aux outils de modélisation sur les chantiers est en cours avec la SNCF. Enfin, la thèse de Hedi Dhouibi a été l'occasion de proposer un nouveau modèle capable de généraliser certaines propriétés des Réseaux de Pétri P-temporels à des systèmes où le paramètre critique est différent du temps. Une validation industrielle sur des données réelles a pu être effectuée (soutenance en 2005). Elle fait l'objet de trois publications de revues internationales (acceptation en 2008).
7
Nebut, Clémentine. "Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles." Rennes 1, 2004. http://www.theses.fr/2004REN10099.
Full textAbstract:
La contribution de cette thèse est une approche de génération automatique de tests fonctionnels à partir des exigences, prenant en compte la maîtrise du coût de test, l'adaptabilité au contexte des lignes de produits, la compatibilité avec les pratiques industrielles et la complexité des logiciels réels. Notre approche se base sur un modèle de cas d'utilisation étendus, relié à un analyseur de langage naturel contrôlé en amont et un générateur de tests en aval. Le langage contrôlé rapproche la méthode des pratiques industrielles, et formalise assez les exigences pour les transformer en un modèle de cas d'utilisation simulables (via l'ajout de contrats interprétables). Des critères de test permettent alors de générer des objectifs de test de haut niveau, qui sont ensuite raffinés vers des cas de test en utilisant des scénarios. La variabilité dans les exigences est prise en compte à chaque niveau de la génération de tests, cette approche est donc adaptée aux lignes de produits.
8
Doumbia, Fassely. "Contribution à l'analyse de testabilité des systèmes réactifs temps réel : aide à la validation et à la vérification de systèmes." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM007.
Full textAbstract:
Les phases de validation et de vérification (V&V) des systèmes réactifs temps réel critique (de plus en plus complexes) sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance au cours du développement. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites : un test exhaustif est quasiment impossible à réaliser en raison de la taille et de la complexité des systèmes considérés. Dans ce contexte, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. L'effort de test caractérise tout autant l'élaboration des jeux de test que le diagnostic. Dans cette optique, nous avons défini deux méthodologies basées sur les concepts d'analyse de testabilité et les stratégies de test. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes réactifs spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS<br>Reactive real time systems are critical systems. These systems requirements validation and verification (V&V) activities are very important in terms of cost and time. Therefore, methods and tools that can alleviate and efficiently support V&V activities are of great interest for aeronautic domain. Functional testing is the most commonly used technique for these systems requirements V&V. But, testing methods present some limits: exhaustive test data generation is practically impossible because of the size and the complexity of these systems. In this way, controlling testing effort (complexity and cost) is major, but systems quality demands are very huge. Testing effort characterizes as well the tests definition as the diagnosis. In this perspective, we defined two methodologies based on testability analysis concepts and test strategies. The first methodology aims at guiding relevant functional tests definition and facilitating AIRBUS reactive systems SCADE data flow specification coverage analysis during the validation activities. The second methodology proposes methods supporting the verification activities (relevant tests definition for diagnosis and faulty component identification) based on functional testing on AIRBUS Final Assembly Line (FAL)
9
Doumbia, Fassely. "Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00481072.
Full textAbstract:
Les phases de validation et de vérification (V&V) des systèmes réactifs temps réel critique (de plus en plus complexes) sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance au cours du développement. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites : un test exhaustif est quasiment impossible à réaliser en raison de la taille et de la complexité des systèmes considérés. Dans ce contexte, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. L'effort de test caractérise tout autant l'élaboration des jeux de test que le diagnostic. Dans cette optique, nous avons défini deux méthodologies basées sur les concepts d'analyse de testabilité et les stratégies de test. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes réactifs spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS.
10
Mekki, Ahmed. "Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2." Thesis, Ecole centrale de Lille, 2012. http://www.theses.fr/2012ECLI0006/document.
Full textAbstract:
Les travaux développés dans cette thèse visent à assister le processus d’ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l’utilisateur durant l’expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l’ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d’incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L’idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d’observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d’observation (ou observateurs) ; chacun des patterns développés est relatif à un type d’exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d’accessibilité des états correspondants à la violation de l’exigence associée<br>The work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation
Books on the topic "Validation des exigences"
1
Yamamoto, Eric K. Prologue. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190878955.003.0001.
Full textAbstract:
This Prologue describes three stories concerning Korematsu. The first is told in late 2015 by U.S. judges. It reaches back to the Supreme Court’s 1944 ruling in Korematsu validating the World War II Japanese American removal and incarceration. And it discerns insights, maybe lessons, for America about fundamental freedoms sacrificed in the name of perceived exigency. The second story starts with Justice Jackson’s loaded weapon warning about expanding Korematsu’s principle to new purposes. In 2014, then-Supreme Court justice Antonin Scalia responded to a question about a possible U.S. mass exclusion or roundup of Muslims with a disturbing prophesy. The third story concerns Scalia’s it-could-happen-again prophesy and how the laws fall silent. That story is an amalgam of calls for mass Muslim exclusion and detention by government officials and Republican presidential candidates after the 2015 Paris and San Bernardino attacks—calls that partially coalesced in President Trump’s controversial 2017 exclusion-and-detention executive orders.
Book chapters on the topic "Validation des exigences"
1
HYGOUNENC, Emmanuel. "Validation des exigences." In Ingénierie des systèmes. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9108.ch7.
Full textAbstract:
Le processus de validation des exigences s’effectue pendant le processus de spécification des exigences et fait le lien entre les exigences et les besoins. La validation consiste à regarder si les exigences du système répondent bien aux besoins et posent correctement le problème.
2
HYGOUNENC, Emmanuel. "Vérification et validation de l’architecture physique." In Ingénierie des systèmes. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9108.ch11.
Full textAbstract:
Chaque activité d’ingénierie système doit être vérifiée et validée. Pour la conception physique, nous allons vérifier que l’architecture candidate met bien en œuvre les fonctions techniques de l’architecture fonctionnelle. Nous allons aussi valider que les exigences déclinées sur l’architecture candidate répondent bien aux exigences du système.
3
HYGOUNENC, Emmanuel. "Intégration, vérification et validation du système." In Ingénierie des systèmes. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9108.ch17.
Full textAbstract:
Ce chapitre aborde les différentes étapes d’intégration classique d’un système pour passer de la réalisation des composants au produit fini. Le but est de vérifier que le système répond bien à ses exigences et de valider que les besoins de l’environnement sont couverts en réalisant ses missions opérationnelles.
4
HYGOUNENC, Emmanuel. "Réaliser un modèle de spécification simulable." In Ingénierie des systèmes. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9108.ch15.
Full textAbstract:
Dans ce chapitre le lecteur apprendra à concevoir un modèle de monitoring qui lui permettra d’améliorer la qualité de ses exigences et de rendre répétable son processus de vérification et de validation, c’est-à-dire automatisable sur ses moyens de simulation et de test.
Conference papers on the topic "Validation des exigences"
1
Bushnell, Dennis M., and Siva Thangam. "Turbulence Modeling: A Brief Overview of Charles G. Speziale’s Contributions." In ASME/JSME 2003 4th Joint Fluids Summer Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/fedsm2003-45324.
Full textAbstract:
Charles Speziale was, throughout his career, associated almost exclusively with the academic community. His affiliations included Princeton, Stevens, Georgia Tech, ICASE, CTR, and Boston University. His collaborators during his career constitute a sizable portion of the “Movers and Shakers” in the Turbulence Modeling and Turbulence Computation Arenas. However and perhaps atypically for the era of the late 70’s to early 90’s he was interested in and focused on the exigencies/requirements arising from “Practical Applications”. The Research areas to which he contributed throughout his career are exceedingly broad in scope — allowing him to bring to the Turbulence Modeling problem a rich/continually-enriched background in continuum mechanics. These areas included non-Newtonian fluid dynamics, kinetic theory of gases, vortex dynamics and non-linear transition flow dynamics. This intellectual experience base enabled him to make serious and lasting contributions to the turbulence modeling areas of streamline curvature, rotational influences, renormalization group theory, large eddy simulation, dissipation rate equation development, wall region modeling, direct numerical simulation, compressibility influence, second order closure and a plethora of canonical criteria for modeling, calibration and validation.
2
Teodoru, Marian daniel, Unknown Unknown, and Daniel constantin Muraretu. "COMPUTERIZED ASSISTANCE FOR THE ATTENTION CONCENTRATION IN WEIGHTLIFTING ATHLETES." In eLSE 2013. Carol I National Defence University Publishing House, 2013. http://dx.doi.org/10.12753/2066-026x-13-231.
Full textAbstract:
Premises. In order to decipher the content particularities (difficult to distinguish through specifically human means) of the technical-tactical elements proper to weightlifting, we should use in athletes' assistance some advanced technologies. Weightlifting, because of its top performance exigencies, determines the training reconsideration. In this sense, we propose computerized assistance and video devices as research technical means within the specific training. Hypothesis. Computerized technology based on the AviSynth software utilization objectifies the concentration characteristics and the attention concentration optimum time. Objectives. To diagnose with the highest accuracy the attention concentration durations and moments in the weightlifter's specific behavior. Subjects. The research included 48 male subjects aged 19 to 21 years old, belonging to different sports clubs throughout the country. The selection criterion to make up our research sample was performance-based (we selected only the subjects with good results at the national level: 1st sports category, international class and master of sports). Methods. The research main method relied on computerized technology connected to the video technique. The AviSynth software allowed us to study the images of the actions performed by the athletes (both the specific technique and the associated behavior, in our case, the concentration times and moments). The present research was developed over two stages: administration of some questionnaires related to the attention concentration; the experiment in itself (for the validation). The recorded concentration times (for the two lifts) included both the successful and unsuccessful competitive attempts. Results. We statistically processed: the concentration time means (standard attempts); the concentration time means for all the weight classes, both in snatch and clean and jerk lifts. Conclusions. The concentration time duration influences the performance result. A longer concentration time leads to unsuccessful attempts. The concentration time consistency would be preferred. There are differences between the two lifts in relation to the concentration time. Computerized technology and, respectively, the AviSynth software provide the best premises for a multifactorial analysis, with a real impact on the top performance reaching.