IEEE Organizations related to Systems Modeling Language

Back to Top

No organizations are currently tagged "Systems Modeling Language"



Conferences related to Systems Modeling Language

Back to Top

No conferences are currently tagged "Systems Modeling Language"


Periodicals related to Systems Modeling Language

Back to Top

No periodicals are currently tagged "Systems Modeling Language"


Most published Xplore authors for Systems Modeling Language

Back to Top

Xplore Articles related to Systems Modeling Language

Back to Top

REQDL: A Requirements Description Language to Support Requirements Traces Generation

2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 2017

It is important to manage traceability between requirements and other artifacts, including stakeholders, sources, and system development elements. Requirements are often expressed independently from those artifacts using textual and model approaches. This fact makes hard and tedious the inference of trace links between them. This paper proposes a new Domain Specific Language (DSL), called REQDL, for describing requirements, and at ...


A Structure-Behavior Coalescence Method for Integrating SysML Internal Block Diagram with Activity Diagram

2019 IEEE 10th Control and System Graduate Research Colloquium (ICSGRC), 2019

SysML uses the internal block diagram (IBD) and the activity diagram (AD) to describe the structure and behavior of a system respectively. Since IBD and AD are heterogeneous and separate models, they are prone to inconsistencies between them, often referred to as model multiplicity problems. This paper proposes a model singularity structure-behavior coalescence (SBC) IBD-AD process algebra to solve the ...


Verification of HMI for an automated driving system by using a driving simulator

2018 IEEE International Conference on Consumer Electronics (ICCE), 2018

This paper introduces a project activity to design and verify human-machine interface (HMI) to safely realize the driving delegation between the driver and the automated driving system (ADS) in a transportation system, based on analysis of system of systems operational design domain where the constituent systems interact, including the vehicle with ADS, the ego vehicle driver, and external systems, such ...


Analysis of a driver and automated driving system interaction using a communicating sequential process

2015 IEEE International Symposium on Systems Engineering (ISSE), 2015

This study presents an analysis of the interaction between a driver and an automated driving system (ADS) using a communicating sequential process (CSP). Level 3 of automated vehicles requires that drivers are able to take control from the ADS in emergency situations. To allow this, the interactions between the driver and ADS must be treated as part of the safety ...


A systematic investigation of tools in model based system engineering for embedded systems

2016 11th System of Systems Engineering Conference (SoSE), 2016

Model Based System Engineering (MBSE) approach has been frequently used for embedded systems as it is highly supportive for early design verification. However, selection of appropriate tools to perform various MBSE activities is always challenging. In this paper, 61 contemporary research works have been investigated through Systematic Literature Review (SLR). Consequently, 39 significant MBSE tools have been presented. This facilitates ...


More Xplore Articles

Educational Resources on Systems Modeling Language

Back to Top

IEEE-USA E-Books

  • REQDL: A Requirements Description Language to Support Requirements Traces Generation

    It is important to manage traceability between requirements and other artifacts, including stakeholders, sources, and system development elements. Requirements are often expressed independently from those artifacts using textual and model approaches. This fact makes hard and tedious the inference of trace links between them. This paper proposes a new Domain Specific Language (DSL), called REQDL, for describing requirements, and at the same time, capturing bi-directional traceability data, which concerns especially SYSML modeling elements. Using REQDL expressions, we aim at assisting the traceability operation by applying a model-to-model transformation of both REQDL and SYSML constructs. The main result is the generation of requirements trace models, which incorporate intention and viewpoint concepts in conformance with a predefined trace metamodel. We use a car cooling system to illustrate the paper contributions.

  • A Structure-Behavior Coalescence Method for Integrating SysML Internal Block Diagram with Activity Diagram

    SysML uses the internal block diagram (IBD) and the activity diagram (AD) to describe the structure and behavior of a system respectively. Since IBD and AD are heterogeneous and separate models, they are prone to inconsistencies between them, often referred to as model multiplicity problems. This paper proposes a model singularity structure-behavior coalescence (SBC) IBD-AD process algebra to solve the inconsistency between IBD and AD. In this model singularity SBC IBD-AD process algebra, both IBD and AD are its projected views, so the inconsistency between IBD and AD naturally disappears.

  • Verification of HMI for an automated driving system by using a driving simulator

    This paper introduces a project activity to design and verify human-machine interface (HMI) to safely realize the driving delegation between the driver and the automated driving system (ADS) in a transportation system, based on analysis of system of systems operational design domain where the constituent systems interact, including the vehicle with ADS, the ego vehicle driver, and external systems, such as surrounding mobilities, information communication systems, and traffic infrastructure systems. The system model of ADS designed is utilized to build a driving simulator to be used for HMI verification.

  • Analysis of a driver and automated driving system interaction using a communicating sequential process

    This study presents an analysis of the interaction between a driver and an automated driving system (ADS) using a communicating sequential process (CSP). Level 3 of automated vehicles requires that drivers are able to take control from the ADS in emergency situations. To allow this, the interactions between the driver and ADS must be treated as part of the safety system. In an emergency situation, the ADS must know the driver's current state, to judge whether to hand over control of driving. If the ADS cannot monitor this successfully, the driver may be inappropriately given control of the vehicle. In this study, the driver and the ADS were treated as a concurrent system in a system of systems, in which both operated independently, while interacting through a human machine interface. A CSP model was built to describe the interactions between them, and these were analyzed using model checking. The CSP model was based on analysis using System Modeling Language. A simple four- stage model of human information processing was used to describe the driver's state transitions. The study contributes to the analysis of the interactions between an ADS and the behavior of a driver, and will help designers of automated vehicles.

  • A systematic investigation of tools in model based system engineering for embedded systems

    Model Based System Engineering (MBSE) approach has been frequently used for embedded systems as it is highly supportive for early design verification. However, selection of appropriate tools to perform various MBSE activities is always challenging. In this paper, 61 contemporary research works have been investigated through Systematic Literature Review (SLR). Consequently, 39 significant MBSE tools have been presented. This facilitates practitioners and researchers to select appropriate MBSE tools according to their requirements.

  • On the use of model transformation for requirements trace models generation

    Requirements traceability is handled in order to help stakeholders understanding existing dependencies between requirements and development artifacts. In this paper, we aim at taking advantage from system engineering and model-driven engineering field in order to automatically generate trace links from SYSML models. Our approach establishes a transformation of requirement diagrams and design diagrams into a trace model. The input SYSML model is compliant with the SYSML4TRACEABILITY profile that helps in capturing all traceability data before performing the transformation. The generated trace model is compliant with a trace meta-model and depicts various links between requirements and design artifacts so as to ensure requirement traceability at different levels of granularity. We experiment this approach by extracting requirements traces relevant to the anti-lock braking system.

  • Formal methods for a system of systems analysis framework applied to traffic management

    Formal methods for systems and system of systems engineering (SoSE) can bring precision to architecting and design, and increased trustworthiness in verification; but they require the use of formal languages that are not broadly comprehensible to the various stakeholders. The evolution of Model Based Systems Engineering (MBSE) using the Systems Modeling Language (SysML) lies in a middle ground between legacy document-based SoSE and formal methods. SysML is a graphical language but not a formal language. Initiatives in the Object Management Group (OMG), such as the development of the Foundational Unified Modeling Language (fUML) seek to bring precise semantics to object- oriented modeling languages. Following the philosophy of fUML, we offer a framework for associating precise semantics with Unified Modeling Language (UML) and SysML models essential for SoSE architecting and design. Straightforward methods are prescribed to develop the essential models and to create semantic transformations between them. Matrix representations can be used to perform analyses that are concordant with the system of UML or SysML models that represent the system or SoS. The framework and methods developed in this paper are applied to a Traffic Management system of systems (TMSoS) that has been a subject of research presented at previous IEEE SoSE conferences.

  • A hierarchical set of SysML Model-based objects for tolerance specification

    Modern engineering systems are getting complex and integrate multi-physical objects. The Model-Based System Engineering (MBSE) seems to be the best way to manage complex system design and the Systems Modeling Language (SysML) may be considered one of the computer languages to perform the designing of a complex system. MBSE also seems to be a valid solution to integrate tolerance specification into design process. In particular, in the present work SysML is used to create a set of libraries containing simple and complex volumes, primary datum and tolerance zones, according to ASME Y14.5M and ISO 1101 standards. The generation of these libraries is based on the Technologically and Topologically Related Surfaces (TTRS) model and uses the set of thirteen positioning constraints able to represent every condition between assembly features. The paper summarizes the characteristics of the created SysML objects, able to represent Datum, Datum Reference Frame (DRF) and tolerance zones. In particular, the Datum included in ASME Y14.5-M are modelled. Then, all the tolerance zones included in both standards are modelled. Finally, a three-step procedure is summarized to preliminary illustrate the way of use the developed set of SysML objects.

  • Towards Improved Requirements Engineering with SysML and the User Requirements Notation

    The Systems Modeling Language (SysML) is a popular and standardized UML profile for systems engineering applications. In addition to seven conventional UML diagram types, SysML supports requirement diagrams and tables that can be used to capture requirements, their attributes, and their relationships. However, several important concepts such as goals and contributions are not predefined in SysML, hindering the reasoning about tradeoffs and adaptation, especially in emerging socio-cyber-physical systems such as smart cities. In this paper, we provide a preliminary investigation of different ways of combining SysML with the User Requirements Notation (URN), a standard that focuses on the modeling and analysis of goals and scenarios. We argue that SysML and URN are complementary and synergistic, and that their combination enables new requirements modeling, analysis, and management opportunities for new types of systems. Examples of potential integration approaches are discussed, briefly assessed, and illustrated with existing tools for SysML, URN, and requirements management.

  • Study and analysis of micro smart grid using the modeling language SysML

    This paper presents an analysis and modeling of a micro-smart grid using the systems modeling language SysML. Worldwide, a large number of environmental problems are associated with the energy production. However, global warming, greenhouse gases, Co2 emissions and climate change are the most significant impacts of energy generation damage. Solving these environmental issues, in the context of optimizing our resources and developing in a more sustainable way, will be a great challenge. This challenge calls for introducing renewable energy sources. Therefore, the deployment of smart grid can provide a very interesting answer to the objectives of using renewable energies. In this work, we start with introducing smart grids systems. Next, we describe the systems modeling language SysML. Subsequently, a graphical description of the functionality of a microgrid system based on SysML diagrams are shown here. Finally, some conclusions are presented.



Standards related to Systems Modeling Language

Back to Top

No standards are currently tagged "Systems Modeling Language"


Jobs related to Systems Modeling Language

Back to Top