Relevant bibliographies by topics / Conception et vérification systèmes

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Conception et vérification systèmes'

Author: Grafiati
Published: 4 June 2021
Last updated: 2 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Conception et vérification systèmes.'

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 "Conception et vérification systèmes"

1

Riley, BL, KL Robinson, J. Gamble, DT Finegood, D. Sheppard, TL Penney, and A. Best. "Passer de la connaissance à l’action pour résoudre des problèmes complexes : aperçu de l’examen de neuf cas internationaux." Promotion de la santé et prévention des maladies chroniques au Canada 35, no. 3 (May 2015): 51–58. http://dx.doi.org/10.24095/hpcdp.35.3.01f.

Full text
Abstract:
Introduction La résolution de problèmes complexes du type de la prévention des maladies chroniques présente des défis particuliers pour la création et le transfert de connaissances, soit le passage de la connaissance à l’action (PCA). Les approches axées sur le PCA respectant les principes de la pensée systémique sont jugées prometteuses, mais les stratégies pour les mettre en place ne sont pas bien comprises. Dans cet article, nous présentons les résultats d’une analyse de plusieurs approches systémiques axées sur le PCA dans le but de déterminer comment optimiser leur mise en oeuvre et leur efficacité. Méthodologie Un groupe consultatif de cinq personnes a choisi neuf initiatives représentant une diversité d’enjeux et de formes organisationnelles. Pour chaque cas, l’information a été recueillie à partir de documents et par l’entremise d’entrevues téléphoniques avec des personnes-ressources de chaque organisation. Après la vérification des descriptions de cas, une analyse inductive a été effectuée à la fois pour chaque cas et entre les cas. Résultats Ces cas ont révélé cinq lignes directrices permettant de passer de la conception de systèmes de PCA à leur mise en oeuvre : 1) établir et entretenir des relations, 2) coproduire et organiser les connaissances, 3) créer des boucles de rétroaction, 4) les encadrer comme des interventions systémiques plutôt que comme des projets et 5) envisager des variations dans le temps et selon les lieux. Conclusion Les résultats de cette analyse contextuelle constituent un départ modeste pour transformer en résultats concrets les concepts systémiques de PCA. L’utilisation des stratégies mises au jour pourrait améliorer le PCA pour la résolution de problèmes complexes en matière de santé publique. Les stratégies elles-mêmes pourront bénéficier de l’évolution d’une science visant à comprendre l’adaptation et l’apprentissage constant des politiques et des interventions pratiques, ce qui renforcera les relations durables et comblera les lacunes des systèmes, et pas simplement celles des données probantes. Les approches systémiques de PCA tireront également des bénéfices d’évaluations rigoureuses.
APA, Harvard, Vancouver, ISO, and other styles
2

Kornblum, Elisabeth. "Etude comparative de différents systèmes de rapports d'auto-évaluation portant sur le respect, par les Etats, de leurs obligations internationales(II)." Revue Internationale de la Croix-Rouge 77, no. 812 (April 1995): 155–82. http://dx.doi.org/10.1017/s0035336100092753.

Full text
Abstract:
La procédure permettant de rendre compte de la mise en œuvre des traités de désarmement est appelée «vérification». Un des buts essentiels de la vérification est d'instaurer des rapports de confiance entre anciens adversaires, tout particulièrement les Etats-Unis et l'ex-URSS.Il n'existe pas de définition générale, officielle et universellement reconnue de la vérification, mais celle-ci comporte les éléments suivants:a) l'existence d'une obligation, dont il faut vérifier qu'elle est remplie et respectée;b) le recueil d'informations sur le respect de cette obligation;c) l'analyse, l'interprétation et l'évaluation — d'un point de vue technique, juridique et politique;d) une évaluation du respect ou du non-respect de l'obligation, qui met un terme à l'exercice de vérification. Bien qu'il puisse apparaître comme une conséquence logique de l'exercice, l'examen des réactions à envisager en cas d'éventuelle violation d'une obligation ne fait pas partie intégrante de la vérification.
APA, Harvard, Vancouver, ISO, and other styles
3

Jovanovic, S., and S. Weber. "Modélisation SystemC-TLM de systèmes à base de processeur." J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.

Full text
Abstract:
Nous présentons un ensemble de travaux pratiques qui seront dispensés au sein du Master EEA - Électronique Embarquée à l'université de Lorraine dans le cadre du module « Modélisation SystemC ». Ces TP sont destinés à initier les étudiants à la modélisation de systèmes et circuits numériques en SystemC-TLM et sont organisés autour de la suite logicielle open source Eclipse et de la chaine de compilation gcc pour la simulation, test et vérification.
APA, Harvard, Vancouver, ISO, and other styles
4

Boniol, Frédéric, Gérard Bel, and Jérôme Ermont. "Trois approches pour la modélisation et la vérification de systèmes embarqués." Techniques et sciences informatiques 22, no. 5 (May 1, 2003): 539–69. http://dx.doi.org/10.3166/tsi.22.539-569.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Nasri, Ohtman, Marie-Anne Lefebvre, Hervé Guéguen, and Janan Zaytoon. "Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art." Journal Européen des Systèmes Automatisés 41, no. 7-8 (December 30, 2007): 855–83. http://dx.doi.org/10.3166/jesa.41.855-883.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Winograd, Terry. "Heidegger et la conception des systèmes informatiques." Intellectica. Revue de l'Association pour la Recherche Cognitive 17, no. 2 (1993): 51–78. http://dx.doi.org/10.3406/intel.1993.1438.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Beaumont, B., A. Simonin, and E. Giguet. "Conception et fabrication des systèmes de chauffage." Revue Générale Nucléaire, no. 1 (January 2007): 62–63. http://dx.doi.org/10.1051/rgn/20071062.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Carluec, Bernard, Michel Lecomte, and Pascal Anzieu. "Les systèmes hybrides - Besoins et principes de conception." Revue Générale Nucléaire, no. 2 (March 1999): 27–31. http://dx.doi.org/10.1051/rgn/19992027.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

DEDIEU, B., J. AUBIN, G. DUTEURTRE, G. ALEXANDRE, J. VAYSSIERES, P. BOMMEL, B. FAYE, et al. "Conception et évaluation de systèmes d’élevage durables en régions chaudes." INRAE Productions Animales 24, no. 1 (March 4, 2011): 113–28. http://dx.doi.org/10.20870/productions-animales.2011.24.1.3244.

Full text
Abstract:
Les démarches de conception et d’évaluation de systèmes d’élevage innovants en régions chaudes doivent prendre en compte les spécificités de ces systèmes. Outre les caractéristiques des milieux, ces spécificités tiennent à l’importance des fonctions non productives des troupeaux et à la complexité des modes de gestion de l’accès aux ressources (mobilité notamment). Nous discutons les démarches de conception en utilisant les notions de cristallisation, de plasticité et de développement des systèmes innovants et présentons les bases de l’évaluation (environnementale, filière, technico-économique) et ses fonctions dans le processus de conception. Nous illustrons la conception réglée ou innovante appuyée sur de la modélisation à l’aide d’exemples aux Antilles (élevage caprin, polyculture-élevage, avec une composante biotechnique forte), à la Réunion (élevage laitier avec une démarche participative de construction du modèle avec les agriculteurs) et en Amazonie (composante décisionnelle incluant les équilibres et interaction entre activités d’élevage et culture - démarche participative avec les acteurs territoriaux). La diversité des cas souligne les enjeux de la conception et de l’évaluation : prise en compte de la diversité des systèmes dans leurs composantes techniques et humaines, participation des acteurs à la démarche, développements biotechniques et clarification des processus décisionnels, réflexion sur des indicateurs adaptés et pertinents pour les éleveurs et les territoires dans lesquels ils s’insèrent.
APA, Harvard, Vancouver, ISO, and other styles
10

Halley, Paule. "La vérification environnementale : réflexions sur l'émergence des modes d'autorégulation." Les Cahiers de droit 40, no. 3 (April 12, 2005): 621–43. http://dx.doi.org/10.7202/043563ar.

Full text
Abstract:
Actuellement, il se produit une multiplication des engagements et des initiatives des entreprises dans le domaine de l’environnement. Par exemple, elles adoptent des chartes pour un développement durable et des codes de conduite en matière de protection environnementale, ou elles y adhèrent, et elles mettent en avant de nouveaux processus de mise en évidence et de gestion environnementale des risques industriels. Ces initiatives ont ceci de particulier qu'elles relèvent de la sphère privée et d'engagements volontaires. En se développant hors de la sphère du droit, elles demeurent peu connues des juristes. La présente étude s'intéresse aux initiatives privées les plus notoires dans le secteur de l'environnement, à savoir les systèmes de gestion environnementale (SGE) et différentes formes de procédure de vérification environnementale. Les caractéristiques de ces modes d'autorégulation sont exposées en insistant sur la vérification environnementale. L'auteure se penche également sur les liens qui unissent ces processus d'autorégulation privés au droit de l'environnement et aux objectifs du développement durable.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Conception et vérification systèmes"

1

Boukhebouze, Mohamed. "Gestion de changement et vérification formelle de processus métier : une approche orientée règle." Lyon, INSA, 2010. http://theses.insa-lyon.fr/publication/2010ISAL0016/these.pdf.

Full text
Abstract:
Le travail proposé dans cette thèse traite de la flexibilité de la modélisation et la vérification des processus métier. L’objectif étant, de permettre, d’une part, une modélisation souple qui prend en compte la nature dynamique des éléments d’un processus métier ; et d’autre part, la vérification du déroulement du processus pour s’assurer de son bon fonctionnement. Pour atteindre cet objectif, nous avons entrepris, dans le cadre de cette thèse, des recherches qui visent la construction d’un modèle de processus basé sur un nouveau pattern de règles appelé ECAPE-M. Ce modèle permet de décrire un processus métier d’une manière déclarative, en utilisant un ensemble de règles ECAPE. Le formalisme ECAPE est considéré dans nos travaux comme une extension du formalisme ECA, initialement défini par Evénement – Condition – Action, avec une post condition pour contrôler l’exécution de l’action d’une règle et lancer une action de compensation dans le cas ou l’exécution n’est pas valide et avec un post événement pour décrire explicitement les événements qui seront générés par l’exécution de l’action de la règle pour construire un graphe d’exécution du processus. Le modèle ECAPE-M permet non seulement l’expressivité de la nature dynamique des différents éléments d’un processus métier mais aussi la vérification du bon fonctionnement d’un processus. Nous proposons de considérer le modèle ECAPE-M selon trois plans d’abstraction : Le plan métier où les processus sont définis par un ensemble de règles ECAPE. Nous proposons ici un nouveau langage, appelé ECAPE-L, qui utilise une syntaxe basée sur XML, pour décrire les éléments des processus métier. Ce nouveau langage déclaratif est proche des langages d’exécution impératifs de processus tels que BPEL et XPDL car il peut être exécuté par un moteur de règles qui interprète les différentes instructions. Le plan comportemental où une démarche de gestion du changement d’une règle dans le modèle ECAPE-M est mise au point. Cette démarche consiste à définir les relations entre les différentes règles, et traduire l’ensemble des règles et relations en un graphe orienté appelé graphe d’impact. L’analyse de ce graphe permet de déterminer l’ensemble des règles impactées par un changement et d’estimer le coût de changement d’une règle en terme de nombre d’opérations de changement. Le plan opérationnel où le modèle d’un processus ECAPE-M est traduit en un réseau de Pétri coloré appelé ECAPE-net afin de modéliser la sémantique d’exécution du processus. Notre contribution est validée par l’élaboration de l’architecture d’une plateforme de modélisation et d’analyse de processus métier appelé BP-FAMA (Business Process Framework for Agility of Modeling and Analysis)
Efficient organizations need to ensure that their business processes are flexible so that these processes can easily accommodate changes in regulations and policies. Appropriate techniques to model and verify these processes are required. In this manuscript, we present a rule-based model, called ECAPE-M, that aims at improving the management of business processes in terms of flexibility and verification. This model extends the Event-Condition-Action (ECA) model and suggests formal tools for verification purposes. In this approach, the logic of a process is defined with a set of business rules that correspond to the policies in the organization. Each business rule is represented using the Event-Condition-Action-Post-condition-post-Event (ECAPE) formalisms. The representation of our rule-based approach requires a new declarative language that will offer the necessary syntax and semantics to describe ECAPE rules and the core elements in a business process. These elements are participants, variables, and activities. For this reason, we propose a new the rule-based business process definition language called ECAPE-L, which has an XML-based syntax to describe business processes in declarative way. An advantage of the ECAPE-M is that a process can be easily translated into a graph of rules. This graph is used to first, look into the changes of rules by checking the relationships between the rules and second, estimate cost changes in a process. Another advantage of the ECAPE-M is the translation of a process into a new colored Petri net called ECAPE net. An ECAPE net is used to check if a process satisfies some properties such as no Deadlock, and no Livelock. Finally, we proposed the BP-FAMA as an integration environment of the different elements we proposed. This environment consists of different tools namely:Business Rules Definer; Business Rules behavior analyzer and Business Rules simulator
APA, Harvard, Vancouver, ISO, and other styles
2

Braunstein, Cécile. "Conception incrémentale, vérification de composants matériels et méthode d'abstraction pour la vérification de systèmes intégrés sur puce." Paris 6, 2007. http://www.theses.fr/2007PA066577.

Full text
Abstract:
Cette thèse traite de la vérification formelle par model checking de systèmes intégrés sur puce. Nous proposons d'abord une méthode de conception incrémentale pour la vérification d'un composant matériel. Cette méthode est un cadre de conception par ajouts successifs de nouveaux comportements. Nous avons montré que cette méthode assure la non-régression d'un composant tout au long de sa conception. D'autre part, cette méthode permet aussi de faire évoluer la spécification d'un composant en prenant en compte les différentes fonctionnalités ajoutées au cours de la conception. Nous avons ensuite particularisé cette approche pour la conception et la vérification d'architectures pipelines. Cette méthode a été utilisée avec succès pour laconception de convertisseurs de protocole. La vérification par model-checking d'un système intégré sur puce se confronte au problème d'explosion combinatoire. Les techniques d'abstractions sont des méthodes efficaces pour alléger ce problème. Nous exposons un algorithme d'abstraction basé sur la spécification de chaque composant. Cet algorithme construit une structure de Kripke représentant un sous-ensemble des formules CTL tirées de la spécification. Cette construction se place dans un contexte de raffinement d'abstraction guidé par l'étude du contre-exemple produit par le model checker. Les premières expérimentations que nous avons réalisées montrent un gain considérable en temps de vérification et un accroissement conséquent de la taille du système vérifié. Ces résultats nous confortent sur l'intérêt de cette méthode d'abstraction.
APA, Harvard, Vancouver, ISO, and other styles
3

Lewicki, Alexandre. "Conception de modèles haut niveau pour l'optimisation et la vérification de systèmes Bluetooth." Nice, 2008. http://www.theses.fr/2008NICE4110.

Full text
Abstract:
Les différents travaux de recherche présentés dans cette thèse portent sur la conception de modèles fonctionnels à haut niveau d’abstraction ainsi que leur utilisation dans un flot de conception de systèmes sans fil. La Méthodologie de Conception des Systèmes Embarqués (MCSE) a été expérimentée pour la conception des circuits et systèmes dédiés à la technologie Bluetooth. La première partie de la thèse présente la méthodologie MCSE et son application dans la conception d’un système comportant un capteur de température distant et relié par Bluetooth. A partir des spécifications de l’application, les modèles fonctionnels ont été élaborés et raffinés après différentes étapes successives. Les modèles ont ensuite été traduits à l’aide de SystemC, une librairie C++ permettant de décrire les systèmes aux niveaux matériels et logiciels. Les modèles ont ensuite été exploités dans le cadre de simulation de réseaux sans fil. Ces résultats peuvent être utilisés suivant 3 différents axes : l’analyse de protocole, l’analyse de performances et l’exploration d’architecture. La deuxième partie du travail a été d’introduire les modèles fonctionnels dans le cadre d’un environnement de vérification matérielle avant fabrication. Deux environnements ont été mis en place pour les concepteurs du circuit ainsi que pour les ingénieurs de vérification. Cette technique permet de simuler et stresser le circuit de manière plus avancée, notamment grâce à la possibilité d’écrire des tests plus complets
The different works conducted in this thesis were to design high level functional models that were used in a wireless system design flow. The MCSE methodology was followed to design those models and the results have been used for Bluetooth technology system design and verification. The first part of the work presents the MCSE methodology that has been used for the design of the models. Starting from the specification of a concrete use case, a temperature sensor, we designed a functional model of the system with successive refinement steps. The models were then translated in SystemC, a C++ library that allows describing both hardware and software parts of a system. The results of the exploitation of the models in a wireless network simulation can be used for protocol analysis, performance analysis and performance exploration. The second part of the work was to introduce the functional models in a hardware verification environment. Two different techniques for design engineers and verification engineers have been settled. This technique brings enhanced verification features with the possibility to write complex tests
APA, Harvard, Vancouver, ISO, and other styles
4

Wiels, Virginie. "Modularité pour la conception et la validation formelles de systèmes." Toulouse, ENSAE, 1997. http://www.theses.fr/1997ESAE0001.

Full text
Abstract:
Structuration et compositionnalité sont des besoins importants dans le domaine des techniques formelles pour maîtriser la taille et la complexité des spécifications. Nous proposons un formalisme qui permet de spécifier des systèmes de façon modulaire, mais aussi d'exploiter la structure des spécifications pour réaliser des vérifications modulaires. Un outil de spécification (Moka) est associé à ce formalisme et peut être combiné avec des outils de démonstration logique existants. L'approche est illustrée sur trois applications de domaines différents. Nous mettons d'abord l'accent sur les besoins d'un cadre à la fois structuré, expressif et qui permette d'utiliser des outils de vérificétion et de validation. Pour répondre à ces besoins, nous proposons de combiner la logique temporelle (pour l'expressivité et les outils de vérification) avec des technqiues algébriques (pour la structuration). Nous présentons ensuite l'approche qui combine le calcul de modules défini par Ehrig et Mahr avec une logique temporelle. Elle s'appuie sur les travaux de Fiadeiro et Maibaum utilisant la théorie des catégories pour leur "Object Calculus". L'outil associé utilise les aspects constructifs de la théorie des catégories pour mettre en oeuvre les modules de spécification et les opérations de composition. L'approche est illustrée par une application au domaine des télécommunications. Les aspects vérification sont enfin abordés : nous expliquons comment le formalisme peut être utilisé pour faire de la vérification modulaire et l'intérêt d'interfacer l'outil Moka avec un outil de démonstration logique (ici TRIO). Deux autres applications sont présentées : un mécanisme de tolérence aux fautes et un système de contrôle de commandes d'avion.
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Yinling. "Conception et vérification du système d'Information pour la maintenance aéronautique." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEI133.

Full text
Abstract:
Le soutien opérationnel est l’un des aspects les plus importants pour la maintenance aéronautique. Il vise essentiellement à fournir un portefeuille de services permettant d’implémenter la maintenance avec un niveau élevé d’efficacité, de fiabilité et d’accessibilité. L’une des principales difficultés du support opérationnel est qu’il n’existe pas de plate-forme intégrant tous les processus de maintenance des avions afin de réduire les coûts et d’améliorer le niveau de service. Il est donc nécessaire de réaliser un système autonome de maintenance des avions dans lequel toutes les informations de maintenance peuvent être collectées, organisées, analysées et gérées de manière à faciliter la prise de décision. Pour ce faire, une méthodologie innovante a été proposée, qui concerne la modélisation, simulation, vérification formelle et analyse des performances du système autonome mentionné. Trois axes ont été abordés dans cette thèse. Premier axe concerne la conception et simulation d'un système autonome pour la maintenance aéronautique. Nous proposons une conception innovante d'un système autonome prenant en charge la prise de décision automatique pour la planification de la maintenance. Deuxième axe vise la vérification de modèles sur des systèmes de simulation. Nous proposons une approche plus complète de la vérification des comportements globaux et des comportements opérationnels des systèmes. Troisième axe porte sur l'analyse de la performance des systèmes de simulation. Nous proposons une approche consistant à combiner un système de simulation à base d’agent avec une approche « Fuzzy Rough Nearest Neighbor », afin de mettre en œuvre la classification et prévision efficaces des pannes pour la maintenance des avions avec des données manquantes. Finalement, des modèles et systèmes de la simulation ont été proposés. Des expérimentations de la simulation illustrent la faisabilité de l’approche proposée
Operational support is one of the most important aspects of aeronautical maintenance. It aims to provide a portfolio of services to implement maintenance with a high level of efficiency, reliability and accessibility. One of the major difficulties in operational support is that there is no platform that integrates all aircraft maintenance processes in order to reduce costs and improve the level of service. It is therefore necessary to build an autonomous aircraft maintenance system in which all maintenance information can be collected, organized, analyzed and managed in a way that facilitates decision-making. To do this, an innovative methodology has been proposed, which concerns modelling, simulation, formal verification and performance analysis of the autonomous system mentioned. Three axes were addressed in this thesis. The first axis concerns the design and simulation of an autonomous system for aeronautical maintenance. We offer an innovative design of an autonomous system that supports automatic decision making for maintenance planning. The second axis is the verification of models on simulation systems. We propose a more comprehensive approach to verifying global behaviours and operational behaviours of systems. The third axis focuses on the analysis of the performance of simulation systems. We propose an approach of combining an agent-based simulation system with the “Fuzzy Rough Nearest Neighbor” approach, in order to implement efficient classification and prediction of aircraft maintenance failures with missing data. Finally, simulation models and systems have been proposed. Simulation experiments illustrate the feasibility of the proposed approach
APA, Harvard, Vancouver, ISO, and other styles
6

Mbarek, Ons. "Une approche de modélisation au niveau système pour la conception et la vérification de systèmes sur puce à faible consommation." Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00837662.

Full text
Abstract:
Une solution de gestion de puissance d'un système sur puce peut être définie par une architecture de faible puissance composée de multiples domaines d'alimentation et de leur stratégie de gestion. Si ces deux éléments sont économes en énergie, une solution efficace en énergie peut être obtenue. Cette approche nécessite l'ajout d'éléments structurels de puissance et de leurs comportements. Une stratégie de gestion doit respecter les dépendances structurelles et fonctionnelles dues au placement physique des domaines d'alimentation. Cette relation forte entre l'architecture et sa stratégie de gestion doit être analysée tôt dans le flot de conception pour trouver la solution de gestion de puissance la plus efficace. De récentes normes de conception basse consommation définissent des sémantiques pour la spécification, simulation et vérification d'architecture de faible puissance au niveau transfert de registres (RTL). Mais elles manquent une sémantique d'interface de gestion des domaines d'alimentation réutilisable ce qui alourdit l'exploration. Leurs sémantiques RTL ne sont pas aussi utilisables au niveau transactionnel pour une exploration plus rapide et facile. Pour combler ces lacunes, cette thèse étend ces normes et fournit une étude complète des possibilités d'optimisation de puissance basées sur la composition et la gestion des domaines d'alimentation pour des modèles fonctionnels transactionnels utilisant un environnement commun USLPAF. USLPAF comprend une méthodologie alliant conception et vérification des modèles transactionnels de faible consommation, ainsi qu'une bibliothèque de techniques de modélisation et fonctions prédéfinies pour appliquer cette méthodologie.
APA, Harvard, Vancouver, ISO, and other styles
7

Tabart, Gilles. "Méthodes et outils pour l'aide à la conception et à la vérification du rendu graphique des systèmes interactifs." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1258/.

Full text
Abstract:
La conception de représentations graphiques dédiées à des systèmes interactifs critiques est complexe. Dans cette thèse, nous proposons en premier lieu une étude approfondie des problèmes perceptifs spécifiques aux rendus graphiques au travers de trois études expérimentales. Nous présentons ensuite une analyse de l'activité à laquelle se livrent les concepteurs d'interfaces critiques. À partir de ces analyses, nous proposons une démarche d'aide à la conception et à la vérification des rendus graphiques répondant aux besoins spécifiques des concepteurs. Cette démarche facilite l'exploration visuelle des solutions, ainsi que la mise en rapport de hiérarchies fonctionnelles avec des hiérarchies visuelles. Elle supporte une approche de conception itérative, centrée utilisateur et visant un accompagnement sur toute la durée de vie des systèmes. Nous proposons pour finir d'instrumenter cette démarche à l'aide d'outils interactifs, dont nous illustrons l'utilisation au travers d'études de cas lié à l'aéronautique (ATC)
Graphical representations are used in numerous field of activity as a way to convey information from an interactive system to its users. In some of these fields, the representation quality is vital: indeed, if users (like pilots or air-traffic controllers) have a bad perception of information, the consequences can be tragic. Graphical design and specification of such representations are complex because of the great amount and the diversity of graphical parameters to handle, because of the perceptual interactions between these parameters, and because of the need to manage multidisciplinary knowledge. We claim that these difficulties come also from a lack of tools and methods, which could enable a precise specification of graphical needs. The first part of our work deals with three experimental studies aimed at understanding in a deeper way the perceptive problems linked to the graphical rendering of interactive systems. Then, we expose an analysis of how the graphical designers confront critical interfaces design. Based on these analyses, we propose an approach responding to the specific designer's needs for their activity of designing and verifying the graphical rendering. This approach enables an easier visual exploration of solutions and an easier connection between functional and visual hierarchies. This is a user centered design and iterative approach that aims to follow a system during all its lifetime. Finally, we propose interactive tools that support this approach and we illustrate them with case studies
APA, Harvard, Vancouver, ISO, and other styles
8

Khemaja, Maha. "Scrables : un système de conception et d'exploitation de documents structurés." Toulouse 3, 1993. http://www.theses.fr/1993TOU30275.

Full text
Abstract:
Cette these s'inscrit dans le contexte des systemes de conception et d'utilisation assistee de documents. Elle decrit une approche et un outil appeles scrables (systeme de conception de rapports d'audit base sur un langage d'expression de structures). La conception des documents selon scrables est basee sur une description tres detaillee de leurs structures logiques et physiques. Grace a celles-ci, l'exploitation de ces documents selon une approche hypertexte est rendue possible. L'integration dans les documents de nouveaux types de liens, en particulier ceux qui sont specifiques aux documents d'audit a ete realisee. L'exploitation de la semantique liee a ces liens constitue une aide importante aux utilisateurs des documents. Certains de ces nouveaux types de liens ont ete introduits dans le but de permettre et de faciliter le recueil des connaissances a partir des documents, connaissances indispensables pour la mise en place d'un systeme intelligent d'aide a l'audit communicant avec les documents. Scrables est aujourd'hui complet, coherent et integre. Il est utilise par des auditeurs bancaires
APA, Harvard, Vancouver, ISO, and other styles
9

Hjiej, Omar. "Systèmes de traitements coopératifs : spécification et vérification formelles orientées par des considérations de performances." Toulouse 3, 1993. http://www.theses.fr/1993TOU30244.

Full text
Abstract:
Le developpement des systemes de traitements cooperatifs est une activite importante de l'informatique. Des techniques specifiques permettent de decrire et de verifier les proprietes fonctionnelles et quantitatives. Cependant, ces techniques sont dissociees et presentent des limites lorsque les systemes deviennent complexes. Une methodologie de specification formelle des composants logiciels en langage z est proposee. Le langage z est base sur la theorie des ensembles et la logique des predicats. Une specification z est composee de schemas, de trois types: etat, initialisation et operation. La puissance du formalisme a permis de developper une methodologie de verification logique automatique supportee par l'outil b. Lotos et estelle, candidates pour la conception des systemes cooperatifs, n'ont pas la flexibilite et la puissance de verification de z pour etablir plusieurs types de proprietes. Mais, le concept de point d'interaction qu'elles offrent pour decrire les frontieres entre processus concurrents, n'existe pas dans z. Aussi, z en a-t-il ete enrichi. La description z du processus offrant les operations d'interaction est operee par raffinages successifs bases sur des schemas d'abstraction. Le probleme de completude des operations est traite par resolution des predicats de pre-condition. L'interpretation des formes de concurrence offertes par z est analysee a l'aide des descriptions comportementales, decrites en csp, des differentes versions du modele du point d'interaction. La demarche d'evaluation de performance proposee tient a preserver la qualite des conceptions garanties par les techniques formelles de description. Par application d'un ensemble de regles, des reseaux de files d'attente codes en langage qnap2, sont generes a partir de specifications lotos annotees. Les resultats de performances sont obtenus grace aux annotations de duree et de probabilite associees respectivement aux actions et aux expressions de comportements composees par les constructeurs non deterministes de lotos
APA, Harvard, Vancouver, ISO, and other styles
10

Li, Yao. "Proposition d'extension à SystemC-AMS pour la modélisation, la conception et la vérification de systèmes mixtes analogiques-numériques." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066190.

Full text
Abstract:
Parmi les produits électroniques de l’industrie des semi-conducteurs, les applications mixtes numériques-analogiques (AMS) représentent une part de marché à forte croissance. Le principal problème pour la conception de systèmes AMS est l’absence de flot de conception standard, puisque les blocs AMS ne peuvent pas être synthétisés de façon systématique `a partir d’une spécification de haut niveau en l’absence d’information au niveau transistor. Par ailleurs, il est très difficile de modéliser les caractéristiques au niveau transistor dans des descriptions comportementales de plus haut niveau (système). Face à ces d´défis, nous proposons une plateforme de modélisation, de dimensionnement et de vérification unifiée. La plate-forme repose sur une méthode de dimensionnement ascendant des blocs analogiques et une approche de simulation descendante depuis le système jusqu’aux transistors. Les différents niveaux d’abstraction envisagés sont d´écrits grâce aux langages C/C ++ et SystemC-AMS. En outre, nous expliquons comment UVM-SystemC-AMS développé dans le cadre du projet européen FP7 VERDI, fournit une m´méthode pour la vérification des systèmes AMS avec des interactions HW / SW. Nous appliquons ces méthodes à deux circuits. Le premier est un circuit de conversion analogique numérique pipeline à 3 étages et 6 bits. Il présente une vue hiérarchique du processus de conception. Le second est un sous-système analogique d’un système implantable de télémétrie, qui inclut une boucle de rétroaction
Mixed-signal applications are among the fastest growing market segments in the electronics and semiconductor industry. This is driven by the growth opportunities in mobile communication, networking, power management, automotive, medical, imaging, and security applications, which all require analog and mixed-signal (AMS) content. One bottleneck exists if the designs include analog components together with digital ones. Digital design has a well-defined, top-down design methodology, but AMS design has traditionally been an ad hoc custom design process, it is more time-consuming interactive process and fully based on designerÕs expertise. The major difficulty is how to model the impact of circuit non-idealities and technology process variations on system- level performances.In this thesis, we present an unified modeling, design and verification platform with a fast sizing and biasing methodology. The proposed methodology propagates the circuit-level non- idealities into system-level simulations in a very natural way. The methodology synchronizes SystemC-AMS TDF MoC and electrical circuit simulator (SPICE), which enables to mix non- conservative system-level model with conservative nonlinear circuit netlist. Besides, we explain how UVM-SystemC-AMS developed in the FP7 Verdi project, provides an unified methodology for the verification of systems having interconnected AMS, HW/SW. In order to explore the effectiveness of the proposed methodology, two case studies are investigated: a 3-stage 6-bit ADC pipeline and a voltage regulator for an implantable telemetric system. The problem of hierarchical design is illustrated in the 3-stage 6-bit ADC pipeline while the problem of system architecture with feedback loop is illustrated in the implantable telemetric system
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Conception et vérification systèmes"

1

Gaston, S. J. Les petits systèmes informatiques: Contrôle et vérification. Toronto, Ont: Institut canadien des comptables agréés, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Systèmes d'exploitation: Conception et fonctionnement. Paris: Masson, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Analyse et conception de systèmes d'information. Montréal, Qué: McGraw-Hill, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Spécification et conception des systèmes: Études de cas. Paris: Masson, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Commission canadienne de sûreté nucléaire. Plan de vérification et de validation des facteurs humains. Ottawa, Ont: Commission canadienne de sûreté nucléaire, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Maniez, Jacques. Les langages documentaires et classificatoires: Conception, construction et utulisation dans les systèmes documentaires. Paris: Ed. d'Organisation, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mitilian, Gérard. Informatique: Méthode d'analyse pour la gestion et l'informatique. Paris: Edition Marketing, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Cegielski, Patrick. Conception de systèmes d'exploitation: Le cas Linux. 2nd ed. Paris: Eyrolles, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Morley, Chantal. Management d'un projet système d'information: Principes, techniques, mise en oeuvre et outils. 5th ed. Paris: Dunod, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Pichat, Étienne. Ingénierie des données: Systèmes d'information, modèles et bases de données. Paris: Masson, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Conception et vérification systèmes"

1

B. Evdokimov, Viarcheslav. "Conception marxiste et conception bourgeoise du parti politique." In Droit, institutions et systèmes politiques, 303–14. Presses Universitaires de France, 1988. http://dx.doi.org/10.3917/puf.colas.1988.01.0303.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chagnollaud, Dominique. "La conception gaullienne de l’État : une monarchie républicaine ?" In Droit, institutions et systèmes politiques, 43. Presses Universitaires de France, 1988. http://dx.doi.org/10.3917/puf.colas.1988.01.0043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Humbert, Pierre. "Usages et conception des TIC : proposition d’un modèle d’aide à la représentation de problème de conception." In Stratégies du changement dans les systèmes et les territoires, 427–39. Maison des Sciences de l’Homme d’Aquitaine, 2010. http://dx.doi.org/10.4000/books.msha.5721.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Coulibaly, Mantiaba, and Thierry Brugvin. "Systèmes de vérification et de normalisation des produits agricoles : quelle fiabilité sur le marché du commerce équitable ?" In Agro-ressources et écosystèmes, 341–57. Presses universitaires du Septentrion, 2012. http://dx.doi.org/10.4000/books.septentrion.9242.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ross, Eve, and Matthieu Deru. "Colline : un environnement collaboratif pour la conception d’un journal." In Stratégies du changement dans les systèmes et les territoires, 405–15. Maison des Sciences de l’Homme d’Aquitaine, 2010. http://dx.doi.org/10.4000/books.msha.5679.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mischler, Pierre, Henri Hocdé, Bernard Triomphe, and Bertrand Omon. "Conception de systèmes de culture et de production avec des agriculteurs : partager les connaissances et les compétences pour innover." In Systèmes de culture innovants et durables, 71–89. Éducagri éditions, 2008. http://dx.doi.org/10.3917/edagri.reau.2008.01.0071.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Darses, Françoise, and Florence Reuzeau. "24. Participation des utilisateurs à la conception des systèmes et dispositifs de travail." In Ergonomie, 405. Presses Universitaires de France, 2004. http://dx.doi.org/10.3917/puf.falzo.2004.01.0405.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Conception et vérification systèmes"

1

Tabart, Gilles. "Méthodes et outils pour la conception et la vérification du rendu des IHM." In the 19th International Conference of the Association Francophone d'Interaction Homme-Machine. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1541436.1541488.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ait-Ameur, Yamine, Idir Ait-Sadoune, Jean-Marc Mota, and Mickael Baron. "Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve." In the 18th international conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1132736.1132752.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Larrasquet, Jean-Michel, and Iban Lizarralde. "Complexité, systèmes et apprentissages. Une réflexion liée à la conception et à l'innovation." In the Ergonomie et Informatique Avancee Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868670.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Calvary, Gaelle, Anne-Marie Déry, Emmanuel Dubois, and Dominique L. Scapin. "Atelier de conception et d'evaluation de systèmes interactifs adaptables et/ou mixtes en evolution." In the 2nd French-speaking conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1102613.1102656.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Serna, Audrey, Hélène Pigot, Jérémy Bauchet, Sylvain Giroux, Vincent Rialle, Dany L-Desrochers, and Mounir Mokhtari. "Recommandations ergonomiques pour la conception de systèmes d'assistance cognitive dans les habitats intelligents." In the Ergonomie et Informatique Avancee Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868652.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Natouri, S., C. Lac, and A. Serhrouchni. "CCT, un modèle graphique pour la conception de systèmes résilients." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56116.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kurela, Michal. "Résolution des contradictions techniques dans la conception des systèmes de lancement." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61839.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zouari, Mohamed, Françoise André, and Maria-Teresa Segarra. "Support d'adaptation dynamique et distribuée dans la conception de systèmes de réplication de données." In the 5th French-Speaking Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1739268.1739281.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bouteruche, François, Eric Anquetil, Guillaume Deconde, and Eric Jamet. "Conception et évaluation expérimentale d'interfaces de saisie stylo pour systèmes mobiles de petites tailles." In the 17th conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1148550.1148585.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Conception et vérification systèmes' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography