Systems Modeling Language

vignette|Collage des diagrammes SysML Systems Modeling Language - SysML en abrégé - est un langage de modélisation spécifique au domaine de l'ingénierie système. Il permet la spécification, l'analyse, la conception, la vérification et la validation de nombreux systèmes et systèmes-de-systèmes. À l'origine, SysML a été développé dans le cadre d'un projet de spécification open source, et inclut une licence open source pour sa distribution et son utilisation. SysML se définit comme une extension d'un sous-ensemble d'UML (Unified Modeling Language) via l'utilisation du mécanisme de profil UML. Apports de SysML par rapport à UML SysML, spécialisé dans la modélisation de systèmes, offre aux ingénieurs systèmes plusieurs améliorations notables par rapport à UML, qui est plus centré sur le logiciel : *la sémantique de SysML est plus riche et flexible ; SysML impose moins de restrictions liées à la vision d'UML centrée sur le logiciel, et ajoute deux nouveaux types de diagrammes:

À 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 (25)

Publications associées

Chargement

Personnes associées (2)

Personnes associées

Chargement

Unités associées (1)

Unités associées

Chargement

Concepts associés (6)

Concepts associés

Chargement

Cours associés (5)

Cours associés

Chargement

Séances de cours associées (4)

Séances de cours associées

Chargement

Bidirectional transformation between BIP and SysML for visualisation and editing

Leandro Kieliger, Clément Jean Maurice Nussbaumer

When it comes to designing software, the classic procedure consists of writing code that complies with the projects requirements first, and then to extensively test for bugs and defects. Although this approach is valid and can produce correct results, it is both time consuming and error prone. Moreover, depending on the time of detection, errors can turn out to be very difficult to correct. Model-based design however allows for verification prior to the coding task. The component-based approach allows to master complexity by structuring systems hierarchically into sub-components where each of them can be designed and validated individually. Despite this approach leading to an increased initial cost of development, it has the significant advantage of detecting and correcting problems early in the life cycle of a project, when errors are relatively inexpensive to fix. Using the BIP framework and its semantics, it is possible to develop models which are correct by construction. This further reduces testing and validation costs. In this project we experimented the possibility of visually expressing the structure of a BIP model in a modeling language. We call this conversion the forward transformation while modification of the BIP code upon changes made to the SysML model is called the backward transformation. The results are illustrated by two transformations: one, done step-by-step, for a relatively simple BIP model and one, more complex, which contains nested components and which was used in the context of the CubETH project.

2017

Chargement

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Jinzhi Lu, Xiaochen Zheng

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipment. At the same time, in academia, research articles about MBSE come into being and grow rapidly. In this paper, keywords and full-texts of 143 high quality articles related to MBSE field are extracted from relevant journals of IEEE and INCOSE communities, and the research contents of MBSE field are visualized and analyzed by using a thirdparty Python WordCloud library. The research focuses on: (a) identifying related concepts of MBSE; (b) exploring research contents of MBSE; (c) analyzing three pillars of MBSE: modeling languages, methods and tools based on articles. The results show that MBSE plays an important role in realizing system architecture design and developing system architecture models by applying modeling technology to support system requirements, design, analysis and evaluation, verification and validation in the whole life cycle of product development. SysML and OPM are the most popular modeling languages and modeling methods in MBSE research field respectively. This paper provides a technical route reference for exploring the current research field of MBSE by using WordCloud text analysis which is helpful to predict the future research of MBSE.

IEEE2022

Chargement

Cognitive twin construction for system of systems operation based on semantic integration and high-level architecture

Han Li, Jinzhi Lu

With the increasing complexity of engineered systems, digital twins (DTs) have been widely used to support integrated modeling, simulation, and decision-making of the system of systems (SoS). However, when integrating DTs of each constituent system, it is challenging to implement complexity management, interface definition, and service integration across DTs. This study proposes a new concept called cognitive twin (CT) to support SoS development and operation. CTs have been defined as DTs with augmented semantic capabilities for promoting the understanding of interrelationships be-tween virtual models and enhancing the decision-making. First, CTs aim to integrate the information description of DTs across constituent systems using a unified ontology and semantic modeling technique. Second, CTs provide integrated simulations among DTs for decision-making of the SoS based on a high-level architecture (HLA). Finally, through reasoning ontology models, CTs provide decision-making options for the operations of real constituent systems. A case study on unmanned aerial vehicles (UAVs) landing on unmanned surface vehicles (USVs) is used to verify the flexibility of this approach. From the results, we find that the CT based on the proposed ontology provides a unified formalism of DTs across UAVs and USVs. Moreover, the reasoning based on the CT provides decision-making capabilities for UAVs by implementing cognitive computing to select target USVs for landing.

IOS PRESS2022

Chargement

MGT-411: Innovation management

This is a collection of lectures on "structured innovation systems," codified approaches to stimulating and managing the process of innovation. Some of the systems to be covered may be Design Thinking, Open Innovation, Crowdsourcing, Lean Innovation, and other structured innovation systems.

MICRO-406: Products design & systems engineering

This course will cover all the aspects of product design and system engineering from learning relevant methods to the actual implementation in a hands-on practice of product development.

CS-472: Design technologies for integrated systems

Hardware compilation is the process of transforming specialized hardware description languages into circuit descriptions, which are iteratively refined, detailed and optimized. The course presents algorithms, tools and methods for hardware compilation and logic synthesis.

UML (informatique)

Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation d

Ingénierie des systèmes

L'ingénierie des systèmes ou ingénierie système est une approche scientifique interdisciplinaire, dont le but est de formaliser et d'appréhender la conception et la validation de systèmes complexes.

Langage de modélisation

Un langage de modélisation est un langage artificiel qui peut être utilisé pour exprimer de l'information ou de la connaissance ou des systèmes dans une structure qui est définie par un ensemble coh