Sabine Wolny, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer,
The OMG standard Systems Modeling Language (SysML) has been on the market for about thirteen years. This standard is an extended subset of UML providing a graphical modeling language ... years, many publications have covered various aspects of SysML in different research fields. The aim of this ... is to conduct a systematic mapping study about SysML to identify the different categories of papers, (i) ... Softw Technol 64:1–18, 2015) to analyze SysML publications from 2005 to 2017. Our analysis revealed ... i) there is a growing scientific interest in SysML in the last years particularly in the research ...
Tópico(s): Systems Engineering Methodologies and Applications
2019 - Springer Science+Business Media | Software & Systems Modeling
Matthiesen, Heinz Schmidt, Moeser, Munker,
... model language is needed. The Systems Modeling Language (SysML) is a language for modeling these interdisciplinary technical ... system. This paper presents an educational concept for SysML focusing the students’ abilities. The concept is taught ... In their development project they have to use SysML for modeling – concepts, prototypes, validation and optimization. So the developed SysML workshop is at the very beginning of the ... project. The usage of software tools for modeling SysML isn’t part of this workshop. Goal of ...
Tópico(s): Safety Systems Engineering in Autonomy
2014 - Elsevier BV | Procedia CIRP
Russell S. Peak, Roger Burkhart, Sanford Friedenthal, Miyako W. Wilson, Manas Bajaj, Injoong Kim,
Abstract OMG SysML™ is a modeling language for specifying, analyzing, designing, and verifying complex systems. It is a general‐purpose graphical ... paper and its Part 2 companion show how SysML supports simulation‐based design (SBD) via tutorial‐like ... audience is end users wanting to learn about SysML parametrics in general and its applications to engineering ... particular. We include background on the development of SysML parametrics that may also be useful for other ... through models of simple objects that progressively introduce SysML parametrics concepts. To enhance understanding by comparison and ...
Tópico(s): Design Education and Practice
2007 - Wiley | INCOSE International Symposium
Manas Bajaj, Sanford Friedenthal, Ed Seidewitz,
ABSTRACT The OMG Systems Modeling Language™ (SysML®) was adopted in 2006 and has been used by many organizations to support their efforts to transition to a model‐based systems engineering (MBSE) approach. SysML v2 is the next generation Systems Modeling Language ... intended to address many of the limitations of SysML v1. This paper highlights how the SysML v2 language and the new standard Application Programming Interface (API) can enable MBSE and digital engineering. SysML v2 is being developed by the SysML v2 ...
Tópico(s): Simulation Techniques and Applications
2022 - Wiley | Insight
Pierre de Saqui‐Sannes, Ludovic Apvrille, Rob Vingerhoeds,
... has been commonly associated with the modeling language SysML (Systems Modeling Language), which offers a standardized notation, not a methodology of using it. SysML needs therefore to be associated with a methodology ... and open-source software TTool is associated with SysML. This paper focuses discussion on methodological issues, leading ... experience in real-time systems modeling. Modeling with SysML is more than just drawing the different diagrams. Associated tools offer possibilities to analyze SysML models for specific properties. In this paper, verification ...
Tópico(s): Security and Verification in Computing
2021 - American Institute of Aeronautics and Astronautics | Journal of Aerospace Information Systems
George‐Dimitrios Kapos, Vassilis Dalakas, Μάρα Νικολαϊδου, Dimosthenis Anagnostopoulos,
... complex systems. According to the systems modeling language (SysML) that is a standard for model-based system ... model. To validate complex system models defined in SysML, simulation is usually employed. There are numerous efforts to simulate SysML models using different simulation methods and tools. However, ... introduces DEVSys, an integrated framework for utilizing existing SysML models and automatically producing executable discrete event simulation ... DEVS) was employed, due to the similarities between SysML and DEVS, mainly in system structure description, and ...
Tópico(s): Business Process Modeling and Analysis
2014 - SAGE Publishing | SIMULATION
Margaret H. Hamilton, William R. Hackler,
Abstract OMG SysML™ is a general purpose systems modeling language adopted by OMG in May, 2006. Used for specifying, analyzing, designing, ... integration with a broad range of engineering analysis. SysML represents a subset of UML2 with extensions needed ... 2006). This paper provides an analysis of how SysML may be further enhanced by a more formal ... 001AXES™ (Hamilton April 1994). At the same time SysML provides 001AXES with a standardized based approach for ... can be used to address these problems for SysML users as well. Its preventative paradigm and how ...
Tópico(s): Service-Oriented Architecture and Web Services
2007 - Wiley | INCOSE International Symposium
... SysMLR v2). The requirements are specified in the SysML v2 Request for Proposal (RFP) that was issued ... one‐and‐a‐half‐year effort by the SysML v2 RFP Working Group to develop the requirements for SysML v2 that will improve support for model‐based ... to enhance the precision, expressiveness, and usability of SysML v2 relative to SysML v1. A complementary RFP entitled, “The SysML v2 API and Services RFP” is also being developed to enable interoperability between SysML modeling tools and other model‐based engineering tools.
Tópico(s): Simulation Techniques and Applications
2018 - Wiley | Insight
Thomas A. Johnson, Aleksandr A. Kerzhner, Christiaan J. J. Paredis, Roger Burkhart,
... we combine modeling constructs from systems modeling language (SysML) and Modelica to improve the support for model- ... has recently developed the systems modeling language (OMG SysML™). This visual modeling language provides a comprehensive set ... system requirements, structures, functions, and behaviors. Complementing these SysML constructs, the modelica language has emerged as a ... equation systems. In this paper, the synergy between SysML and Modelica is explored at three different levels: the definition of continuous dynamics models in SysML, the use of triple graph grammar based transformations ...
Tópico(s): Model-Driven Software Engineering Techniques
2011 - ASM International | Journal of Computing and Information Science in Engineering
Yue Cao, Yusheng Liu, Christiaan J. J. Paredis,
... based systems engineering (MBSE) and the modeling language SysML provide a novel means for the systematic design ... of the behavior models, are not supported by SysML which intends to create descriptive static design models. Therefore, extension should be made for SysML to support detailed hybrid behavior modeling and the transformation between hybrid models in SysML and executable simulation models in certain simulation environment. ... to explicitly model hybrid dynamic behavior based on SysML. The necessary simulation information is also formalized in ...
Tópico(s): Advanced Software Engineering Methodologies
2011 - Elsevier BV | Mechatronics
Russell S. Peak, Roger Burkhart, Sanford Friedenthal, Miyako W. Wilson, Manas Bajaj, Injoong Kim,
... papers present foundational principles of parametrics in OMG SysML™ and their application to simulation‐based design. Parametrics capabilities have been included in SysML to support integrating engineering analysis with system requirements, ... structure models. This Part 2 paper walks through SysML models for a benchmark tutorial on analysis templates ... models, such as stress models, are captured in SysML, and then executed by external tools including math ... physical behaviors, solution methods, and CAD/CAE tools. SysML and composable object (COB) techniques described in Part ...
Tópico(s): Model-Driven Software Engineering Techniques
2007 - Wiley | INCOSE International Symposium
Christian Nigischer, Sébastien Bougain, Rainer Riegler, Heinz Peter Stanek, Manfred Grafinger,
... of the development process. The Systems Modeling Language (SysML) can be utilized to establish a common system ... comparatively abstract level for all participating stakeholders. Although SysML models are able to encompass system information like ... the calculated results are automatically exchanged between the SysML modelling editor and the involved simulation tools. Hence, ... In general, the integration of simulation environments with SysML tools is mainly limited by two factors. First, as the tools available for modelling with SysML are legion, interface solutions are usually developed for ...
Tópico(s): Model-Driven Software Engineering Techniques
2021 - Elsevier BV | Procedia CIRP
Amal Ahmed Anda, Daniel Amyot,
... users and their contexts. The Systems Modeling Language (SysML) is frequently used to specify ordinary CPSs, whereas ... in SCPSs, and in particular those that integrate SysML with goal modeling. Method: A systematic literature review ... articles selected from five databases that use both SysML and goal models (17 techniques), SysML models only (11 techniques), or goal models only ( ... analysis support remains weak. The techniques that combine SysML and goal modeling offer interesting benefits by tracing goals to SysML (requirements) diagrams and influencing the generation of predefined ...
Tópico(s): Software Engineering Techniques and Practices
2021 - Wrocław University of Science and Technology | e-Informatica Software Engineering Journal
Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang,
... Development (MDD) in the safety-critical domain, the SysML language has been broadly used. Increasing complexity results in the formal verification of the SysML models of SC-CPS often faces the so- ... SC-CPS. Thus, this article proposes an integrated SysML modelling and verification approach to cover specification of nominal behaviour and safety. First, an extension of SysML is presented, in which the contract information (i.e. Assume and Guarantee) is extended for SysML block diagrams and a Safety Profile is proposed ...
Tópico(s): Advanced Software Engineering Methodologies
2021 - Taylor & Francis | Connection Science
Helna Wardhana, Ahmad Ashari, Anny Kartika,
... Diagrams are used by the System Modeling Language (SysML) to depict and model non-functional requirements, such ... accommodated in the Unified Modeling Language (UML). Nevertheless, SysML still lacks the capability to represent the semantic ... context of system design; hence, the transformation of SysML diagrams into OWL is needed. The current method of SysML Diagrams transformation into OWL is still done manually ... proposes a model that can automatically transform a SysML Requirement Diagram into an OWL file so that ...
Tópico(s): Business Process Modeling and Analysis
2020 - Science and Information Organization | International Journal of Advanced Computer Science and Applications
George‐Dimitrios Kapos, Anargyros Tsadimas, Christos Kotronis, Vassilis Dalakas, Μάρα Νικολαϊδου, Dimosthenis Anagnostopoulos,
Systems Modeling Language (SysML) is an object management group standard for systems-of-systems engineering. It enables the description of complex system models; ... via simulation. In this case, the transformation of SysML system models to executable simulation models for specific ... for addressing the challenges of seamless integration of SysML model simulation in model-based system engineering. In ... relations (QVT-R) standard, for the transformation of SysML models to executable simulation models, fully adhering model- ...
Tópico(s): Systems Engineering Methodologies and Applications
2019 - Institute of Electrical and Electronics Engineers | IEEE Transactions on Systems Man and Cybernetics Systems
Conrad Bock, Raphaël Barbau, Ion Matei, Mehdi Dadfarnia,
... and tests (such as the Systems Modeling Language, SysML). However, these languages must be used in conjunction ... common, based on earlier reviews. Then, we compare SysML to our simulation abstraction to find the parts of SysML closest to simulation modeling, and to identify simulation concepts missing from SysML. This leads to extensions of SysML to bridge the gaps, illustrated with an example application. Next, we address issues in translating extended SysML models to common simulation tools and languages, including ...
Tópico(s): Modeling and Simulation Systems
2017 - Wiley | Systems Engineering
Birgit Vogel‐Heuser, Daniel Schütz, Timo Frank, Christoph Legat,
This paper comprises a SysML-based approach to support the model-driven engineering (MDE) of Manufacturing Automation Software Projects (MASP). The Systems Modeling Language (SysML) is adapted to define the SysML-AT (SysML for automation), a specialized language profile that covers ( ... applications and properties of proprietary hardware components. Furthermore, SysML-AT supports an automated software generation for run- ... A prototypical tool support was realized for adapted SysML Parametric Diagrams (PD) inside an industrial automation software ...
Tópico(s): Advanced Software Engineering Methodologies
2014 - Elsevier BV | Mechatronics
Henric Andersson, Erik D. Herzog, Gert Johansson, Olof Johansson,
A Unified Modeling Language-Systems Modeling Language (UML-SysML) subset was the modeling notation selected for an ... In this paper, the rationale for selecting UML-SysML is given, along with a description of the ... as well as definition of functional chains with SysML. Furthermore, the connections to system implementation activities including ... discussed. The advantages and disadvantages of using UML-SysML from experience in an industrial context are reported. It is also described how UML-SysML is related to industrial research projects in the ...
Tópico(s): Simulation Techniques and Applications
2010 - Wiley | Systems Engineering
Henric Andersson, Erik D. Herzog, Gert Johansson, Olof Johansson,
... A Unified Modeling Language/Systems Modeling Language (UML/SysML) subset was the modeling notation selected for an ... In this paper, the rationale for selecting UML/SysML is given, along with a description of the ... as well as definition of functional chains with SysML. Furthermore, the connections to system implementation activities including ... discussed. The advantages and disadvantages of using UML/SysML from experience in an industrial context are reported. It is also described how UML/SysML is related to industrial research projects in the ...
Tópico(s): Technology Assessment and Management
2009 - Wiley | Systems Engineering
Kester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid,
... a single systems model in languages such as SysML that fully specify the system and which form the basis of all development effort. However, using SysML models for safety analysis has been restricted by ... ENCASE project (See acknowledgements.) has formulated a simple SysML profile that captures the information required to represent ... of failure modes to other parts of the SysML model. We describe our experience of integrating fault tree models within a SysML MBSE environment for critical systems development, and show ...
Tópico(s): Safety Systems Engineering in Autonomy
2019 - Springer Science+Business Media | Lecture notes in computer science
Albert Albers, Georg Moeser, Sven Revfi,
... continuous coupling of models, this paper shows how SysML model data can be used for the execution ... is created according to the FAS4M approach (with SysML/MechML), contains both functions and the components involved ... matrix can be derived automatically from the available SysML model data, in which each component is linked ... execution of the ETWA considerably with an existing SysML model but also to reduce possible sources of ... and the ETWA like the reuse of existing SysML models or the reuse of discarded concept ideas ...
Tópico(s): Product Development and Customization
2018 - Elsevier BV | Procedia CIRP
Μάρα Νικολαϊδου, George‐Dimitrios Kapos, Anargyros Tsadimas, Vassilis Dalakas, Dimosthenis Anagnostopoulos,
Systems Modeling Language (SysML) is a standard proposed by the OMG for systems-of-systems (SoS) modeling and engineering. To this end, it ... as system design. To explore the performance of SysML, simulation is one of the preferred methods. There are many efforts targeting simulation code generation from SysML models. Numerous simulation methodologies and tools are employed, while different SysML diagrams are utilized. Nevertheless, this process is not ... approaches and identify current challenges in fully automating SysML models simulation process.
Tópico(s): Advanced Software Engineering Methodologies
2016 - | Advances in computer science : an international journal
Robert Karban, Nerijus Jankevičius, Maged Elaasar,
Abstract SysML is a modeling language used for systems analysis and design. While some domain‐specific analyses (e.g., finite element analysis) can only be specified in SysML when combined with other vocabulary, many common analyses can be modeled purely in SysML using its parametric and behavioral semantics. In this ... Engineering Method (ESEM) that automates it using executable SysML modeling patterns that involve structural, behavioral and parametric ... analysis model becomes executable using a general purpose SysML execution engine. We present our method and demonstrate ...
Tópico(s): Software Engineering Research
2016 - Wiley | INCOSE International Symposium
Wei Wan, Hyunmin Cheong, Wei Li, Yong Zeng, Francesco Iorio,
... proposes an approach to generating System Modeling Language (SysML) diagrams from a Recursive Object Model (ROM) diagram. ... entities found in a description text. The generated SysML models include block definition diagram, use case diagram, and activity diagram. Since the SysML is becoming a standard modeling language for specifying, ... approach first analyzes the features of ROM and SysML diagrams and then defines transition rules that transform a ROM diagram into SysML models. A software prototype ROM2SysML is developed based ...
Tópico(s): Product Development and Customization
2016 - Elsevier BV | Advanced Engineering Informatics
... has been used to analyze and evaluate UML/SysML constructs and to map them to ontological concepts. This paper examines complex systems that rely on SysML-based modeling for designing and managing projects using ... the model-driven process, motivated by UML and SysML, focuses on a multiplicity of specifications. It is ... Nevertheless, the thesis of this paper is that SysML achieves only marginal success as a modeling tool ... to a sample study case utilized in the SysML-based software development process called CORE (Vitech Corporation) ...
Tópico(s): Information Technology Governance and Strategy
2015 - | International Review on Computers and Software (IRECOS)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda,
... the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization and model checking for SysML state machine diagrams have been investigated. Design/methodology/ ... Zhang and Liu (2010) proposed a formalization of SysML state machine diagrams in which the diagrams were ... which apparently are inappropriately defined according to the SysML definition of state machine diagrams. Next, we add ... work, more reasonable verification results for more general SysML state machine diagrams can be achieved.
Tópico(s): Petri Nets in System Modeling
2014 - Emerald Publishing Limited | International Journal of Web Information Systems
Takashi Sakairi, Eldad Palachi, Chaim Cohen, Yoichi Hatsutori, Junya Shimizu, Hisashi Miyashita,
The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language for model-based systems engineering (MBSE). SysML supports the specification, analysis, and design of a ... The authors demonstrate how they can integrate a SysML modeling tool (IBM Rational Rhapsody) with a proprietary ... users to perform systems engineering process in a SysML model, while designing continuous control algorithms and plant ... enables the evaluation of mathematical constraints defined in SysML parametric diagrams. The authors also show the overall ...
Tópico(s): Model-Driven Software Engineering Techniques
2013 - Hindawi Publishing Corporation | Journal of Control Science and Engineering
Christiaan J. J. Paredis, Yves Bernard, Roger Burkhart, Hans‐Peter de Koning, Sanford Friedenthal, Peter Fritzson, Nicolas Rouquette, Wladimir Schamai,
... formal transformation between the two complementary languages: OMG SysML™ and Modelica. SysML is a standardized general purpose graphical modeling language ... differential algebraic equations. Integrating the descriptive power of SysML models with the analytic and computational power of ... capability that is significantly greater than provided by SysML or Modelica individually. A standardized bi‐directional transformation ... transfer efficiently and automatically the modeling information between SysML and Modelica models without ambiguity. In addition to ...
Tópico(s): Simulation Techniques and Applications
2010 - Wiley | INCOSE International Symposium
Marcus Vinicius Pereira Pessôa, Luís Ferreira Pires, João Moreira, Chunlong Wu,
... an appropriate design methodology supported by integrated tools. SysML (Systems Modeling Language) has been designed to support ... support to apply MBSE. This chapter shows how SysML can be applied to create a digital thread ... simulating, testing, monitoring, and/or maintaining the system. SysML is currently being redesigned, and the new SysML v2 aims to offer precise and expressive language ... verification, and validation. This chapter also discusses how SysML v2 is expected to facilitate the development of ...
Tópico(s): Flexible and Reconfigurable Manufacturing Systems
2022 - Springer Nature | Intelligent systems reference library