Download for Windows Premium
-50% Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Suggesties: in sysml of sysml
Publiciteit
on SysML

Vertaling van "on SysML" in Frans

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
sur SysML
We also propose an original method for the declination of the dependability requirements based on fault trees and FMEAC, and an information model based on SysML in order to support our approach.
Nous proposons également une méthode originale de déclinaison d'exigences de sûreté de fonctionnement à base d'arbres de défaillances et d'AMDEC, ainsi qu'un modèle d'information basé sur SysML pour appuyer notre approche.
To validatethese requirements of a system, an environment to simulate and to check the properties is essential.In our work, we propose a methodology based on SysML combined with SystemC and Promela/SPINto specify and validate complex systems.
Pour valider ces exigences, un environnement permettant de simuler et vérifier ces propriétés est essentiel.Dans notre travail, nous proposons une méthodologie basée sur SysML et combinée avec SystemC et Promela/SPIN pour spéciier et valider des systèmes complexes.
Pascal Roques is co-founder of theSysML France association, and the author of the first book in French on SysML.
Pascal Roques est co-fondateur de l'association SysML France, et l'auteur du premier livre en français sur SysML.
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.
Sparx Systems has integrated a link with OpenModelica open source project to simulate and create graphs on SysML parametric models in its upcoming version 13, currently available in a beta preview.
Sparx Systems a réalisé une intégration avec l'outil open source OpenModelica pour simuler et générer des graphs sur des modèles paramétriques SysML dans la prochaine version 13 d'Enterprise Architect, dont un aperçu de la beta est disponible ici.
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.
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.
Our approach is completed by a verification phase which allows us to verify SysML requirements, expressed formallyby temporal properties, on SySML blocks.
Notre approche est complétée par une phase de vérification qui nous permet de vérifier les exigencesSysML, exprimées formellement par les propriétés temporelles, sur les blocs SySML.
This is useful for participants who follow VISEO/ PRFC training sessions on SysML with EA modelling tool.
Ce résumé des principaux concepts est utile notamment pour les participants aux formations SysML avec EA (cliquer ici pour plus d'informations sur cette formation).
We also propose an original method for the declination of the dependability requirements based on fault trees and FMEAC, and an information model based on SysML in order to support our approach.
Nous proposons également une méthode originale de déclinaison d'exigences de sûreté de fonctionnement à base d'arbres de défaillances et d'AMDEC, ainsi qu'un modèle d'information basé sur SysML pour appuyer notre approche.

Andere resultaten

Improved behavior of connectors on a SysML Parametric or Internal Block diagram to avoid potentially having pinned ends.
Comportement amélioré des connecteurs sur un diagramme SysML Paramétrique ou Internal Bloc pour éviter d'avoir potentiellement des fins épinglées.
Other tools... e.g. based on UML or SysML do not focus enough on interfaces.
Tous les autres outils que nous avons regardés, notamment ceux basés sur UML ou SysML n'offrent pas une approche centrée sur les interfaces.
This thesis proposes a modeling-based methodology for safe and secure design, based on the SysML-Sec Methodology, which involve new modeling and verification methods.
Cette thèse propose une méthodologie de modélisation pour une conception sûre et sécurisée, basée sur la méthodologie SysML-Sec, qui implique de nouvelles méthodes de modélisation et de vérification.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor on SysML in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
belt: strip of material worn around the waist
Ontdek het woord
belt
Publiciteit

Resultaten: 253. Exact: 10. Verstreken tijd: 101 ms.