Systems modeling language

The systems modeling language (SysML) is a general-purpose modeling language for systems engineering applications. It supports the specification, analysis, design, verification and validation of a broad range of systems and systems-of-systems. SysML was originally developed by an open source specification project, and includes an open source license for distribution and use. SysML is defined as an extension of a subset of the Unified Modeling Language (UML) using . The language's extensions were designed to support systems engineering activities. Contrast with UML SysML offers several systems engineering specific improvements over UML, which has been developed as a software modeling language. These improvements include the following:

SysML's diagrams express system engineering concepts better due to the removal of UML's software-centric restrictions and adds two new diagram types, requirement and parametric diagrams. The former can be used for requirements engineering;

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (25)

Related publications

Related people (2)

Related people

Related units (1)

Related units

Related concepts (6)

Related concepts

Related courses (5)

Related courses

Related lectures (4)

Related lectures

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

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

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

Unified Modeling Language

The unified modeling language (UML) is a general-purpose visual modeling language that is intended to provide a standard way to visualize the design of a system. UML provides a stan

Systems engineering

Systems engineering is an interdisciplinary field of engineering and engineering management that focuses on how to design, integrate, and manage complex systems over their life cycles. At its core,

Modeling language

A modeling language is any artificial language that can be used to express data, information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used fo

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.