Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
sysml models
Vertaling van "sysml models" in Frans
modèles SysML
Many additional drawing and modeling tweaks to streamline creation of SysML models
De nombreux ajustements supplémentaires de dessin et de modélisation pour rationaliser la création de modèles SysML
Secondly, in order to keep the consistency between SysML models and formal models, methods for formal modeling and verification are proposed.
De plus, afin de maintenir la cohérence entre les modèles SysML et les modèles formels, des méthodes de modélisation et de vérification formelles sont proposées.
We propose a formal and incremental verification approach based on SysML models and interface automata to guide, by the requirements, the CBS designer to define a coherent system architecture that satisfies all proposed SysML requirements.
Nous proposons une approche de vérification formelle incrémentale basée sur des modèles SysML et des automates d'interface pour guider, par les exigences, le concepteur SBC afin de définir une architecture de système cohérente, qui satisfait toutes les exigences SysML proposées.
The work done during this thesis allowed the study and the realization of an original tooled approach to simulate and test such systems from SysML models within a In-the-Loop context.
Les travaux réalisés au cours de cette thèse ont permis l'étude et la réalisation d'une chaîne outillée originale permettant de simuler et de tester ce type de systèmes à partir de modèles SysML en contexte In-the-Loop.
In this methodology, that we called MISSyM, the design activity are executed on SysML models that we extended with profiles supporting the ISO/IEC/IEEE 15288 standard.
Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profils supportant le standard IEEE 15288.
In MISSyM, the design activities are realized on SysML models extended by profiles supporting the ISO/IEC/IEEE 15288 standard.
Dans MISSyM, les activités de conception sont réalisées sur des modèles SysML étendus par des profiles supportant le standard ISO/IEC/IEEE 15288.
In addition, this study presents the High Level Specification of Embedded Systems (HiLeS) to transform automatically the developed SysML models in embedded code and Petri nets.
De plus, cette étude présente le cadre de spécification de haut niveau des systèmes embarqués (HiLeS) pour transformer les modèles SysML développés en code source destinés à configurer le matériel intégré.
This approach is based on Model Driven Engineeringtechniques to irstly translate SysML models to systemC with the aim of simulation and to mapSysML behavioral diagrams to Promela/SPIN in order to verify temporal properties extracted fromthe requirements.
Cette approche est basée sur l'ingénierie dirigée par les modèles pour premièrement traduire des modèles SysML en SystemC afin de réaliser des simulations et deuxièmement traduire des diagrammes d'état SysML en Promela/SPINain de vérifier des propriétés temporelles extraites des exigences.
As an OMG UML 2.0 profile, SysML models are designed to be exchanged using the XML Metadata Interchange (XMI) standard.
En tant que profil UML 2, les modèles SysML peuvent être échangés en utilisant la dernière version d'XML Metadata Interchange (XMI).
Enterprise Architect enables you to develop SysML models quickly and simply, through a tightly integrated profile.
Enterprise Architect vous permet de développer des modèles de SysML rapidement et simplement, par un profil fermement intégré.
Model validation checks UML and SysML models against known rules from the specification, as well as any constraints defined within the model using the Object Constraint Language (OCL).
We apply this approach tothe analysis of SysML models, using an M2Mtransformation from SysML to a pivot language, an M2T transformation from this language toDiversity.
Nousavons appliqué cette approche à l'analyse desmodèles SysML, en utilisant une transformationM2M à partir de SysML vers un langage pivot, une transformation M2T à partir de ce langagevers Diversity.
The work done during this thesis allowed the study and the realization of an original tooled approach to simulate and test such systems from SysML models within a In-the-Loop context.
Les travaux réalisés au cours de cette thèse ont permis l'étude et la réalisation d'une chaîne outillée originale permettant de simuler et de tester ce type de systèmes à partir de modèles SysML en contexte In-the-Loop.
Synoniemen voor sysml models in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 14. Exact: 14. Verstreken tijd: 25 ms.
