Results 21 to 30 of about 4,434 (204)
Merging OMG Standards in a General Modeling, Transformation, and Simulation Framework [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 Test-driven Agile Simulation (TAS) is a general-purpose approach that combines model-driven engineering, simulation, and testing techniques to improve overall quality for the development process.
Vitali Schneider +3 more
doaj +1 more source
Model the System from Adversary Viewpoint: Threats Identification and Modeling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Security attacks are hard to understand, often expressed with unfriendly and limited details, making it difficult for security experts and for security analysts to create intelligible security specifications.
Muhammad Sabir Idrees +2 more
doaj +1 more source
VR-SysML: SysML Model Visualization and Immersion in Virtual Reality [PDF]
, 2022 As systems grow in complexity, the interdisciplinary nature of systems engineering makes the visualization and comprehension of the underlying system models challenging for the various stakeholders.
Oberhauser, Roy
core +1 more source
Model Based Control System Design Using SysML, Simulink, and Computer Algebra System
Journal of Control Science and Engineering, 2013 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 broad range of complex systems such as control systems.
Takashi Sakairi +5 more
doaj +1 more source
A SysML Method with Network Dimensioning [PDF]
2019 International Symposium on Systems Engineering (ISSE), 2019 Acceptance of the Systems Modeling Language (SysML) among system engineers heavily depends on the method and tool associated with the language. This particularly applies to a family of systems where increasing data exchanges between equipments create high requirements for the networks.
Daigmorte, Hugo +2 more
openaire +3 more sources
SysML Models Verification Relying on Dependency Graphs [PDF]
, 2022 Formal verification of SysML models contributes to detect design errors early in the life cycle of systems. Incremental modeling of systems leads to repeat verification of systems models parts that were already verified in previous versions of the SysML ...
Hotescu, Oana Andreea +3 more
core +2 more sources
, 2023 As systems grow in complexity, the interdisciplinary nature of systems engineering makes the visualization and comprehension of the underlying system models challenging for the various stakeholders.
Oberhauser, Roy
core +1 more source
Nihon Kikai Gakkai ronbunshu, 2016 Thermal design of electronic products has become increasingly complicated with leakage current characteristics and their variation of semiconductors.
Yoshio MURAOKA +2 more
doaj +1 more source
Ensuring Semantic Consistency in SysML v2 Models Through Metamodel-Driven Validation
IEEE AccessModel-Based Systems Engineering (MBSE) relies on formal models for system lifecycle management, supporting model coherence and efficient reuse of components.
Eduardo Cibrian +5 more
doaj +1 more source
On the Meaning of SysML Activity Diagrams [PDF]
2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009 In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram.
Yosr Jarraya +2 more
openaire +2 more sources