Model-based design

Résumé

Le Model-Based Design (MBD) est une méthode de gestion de projet informatique qui permet d'améliorer le développement d'un système. Alors qu'un développement classique est basé sur le cycle en V, l'approche MBD consiste à modéliser le système au plus tôt pour tester les choix stratégiques & techniques ("Check") dès le design du système ("Plan") tout en structurant et en enrichissant la communication entre les différentes équipes chargées du développement. Le coût de la modélisation est compensé par le gain en temps de développement, la convergence plus rapide de la solution et la réutilisation des modèles créés (parfois d'un facteur 10). Nécessitant un fort investissement initial, le Model-Based Design est essentiellement utilisé pour dimensionner les contrôleurs/régulateurs sur les projets complexes, à forte valeur ajoutée (aéronautique, automobile, industrie...). Méthodologie Le système à développer est décomposé en sous-systèmes jusqu'au niveau de détail souhaité. Ces m

Source officielle

https://fr.wikipedia.org/wiki/Model-based_design

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (42)

Publications associées

Chargement

Personnes associées (5)

Personnes associées

Chargement

Unités associées (4)

Unités associées

Chargement

Concepts associés (3)

Simulink est un logiciel de modélisation système multi-physique édité par l'entreprise américaine The MathWorks. Utilisation Simulink est une plate-forme de simulation multi-domaine et de mo

MATLAB (« matrix laboratory ») est un langage de script émulé par un environnement de développement du même nom ; il est utilisé à des fins de calcul numérique. Développé par la société The MathWorks,

LabVIEW (contraction de Laboratory Virtual Instrument Engineering Workbench) est le cœur d’une plate-forme de conception de systèmes de mesure et de contrôle, fondée sur un environnement de développem

Concepts associés

Chargement

Cours associés (1)

Cours associés

Chargement

Séances de cours associées (1)

Séances de cours associées

Chargement

Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography

Simon Kramer

This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamental aspects of cryptography. Namely, the security of communication (as opposed to security of storage) and cryptographic protocols (as opposed to cryptographic operators). The logical concepts explored are the following. PRIMARY CONCEPTS: The modal concepts of knowledge, norms, provability, space, and time. SECONDARY CONCEPTS: Individual and propositional knowledge, confidentiality norms, truth-functional and relevant (in particular, intuitionistic) implication, multiple and complex truth values, and program types. The distinguishing feature of CPL is that it unifies and refines a variety of existing approaches. This feature is the result of our wholistic conception of property-based (modal logics) and model-based (process algebra) formalisms. We illustrate the expressiveness of CPL on representative requirements engineering case studies. Further, we extend (core) CPL (qualitative time) with rational-valued time, i.e. time stamps, timed keys, and potentially drifting local clocks, to tCPL (quantitative time). Our extension is conservative and provides further evidence for Lamport's claim that adding real time to an untimed formalism is really simple. (C) 2008 Elsevier Inc. All rights reserved.

2008

Chargement

Logical concepts in cryptography

Simon Kramer

This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamental aspects of cryptography. Namely, the security of communication (as opposed to security of storage) and cryptographic protocols (as opposed to cryptographic operators). The primary logical concepts explored are the following: the modal concepts of belief, knowledge, norms, provability, space, and time. The distinguishing feature of CPL is that it unifies and refines a variety of existing approaches. This feature is the result of our wholistic conception of property-based (modal logics) and model-based (process algebra) formalisms.

EPFL2007

Chargement

This position paper provides a quick overview of the various behavioral specification techniques, from decision tables, finite state machines, Petri nets, and program design languages, to formal specification languages. It contrasts property based behavioral models (and languages) with model-based ones.

ACM Press1993

Chargement