Results 11 to 20 of about 8,831 (214)
Reflections on the standardization of SysML 2 [PDF]
Software and Systems Modeling, 2021 Published by Springer ...
Jeff Gray 0001, Bernhard Rumpe
openaire +2 more sources
Modeling and Analysis of Unmanned Aerial Vehicle System Leveraging Systems Modeling Language (SysML)
Systems, 2022 The use of unmanned aerial vehicles (UAVs) has seen a significant increase over time in several industries such as defense, healthcare, and agriculture to name a few.
Niamat Ullah Ibne Hossain +4 more
doaj +1 more source
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
Mission analysis of lunar scientific research station based on MBSE
Hangkong gongcheng jinzhan, 2023 After the completion of the three steps of "circling back", the lunar exploration has changed from the short-term single point exploration to the long-term exploration of lunar scientific research stations with the con-struction of lunar surface ...
GUAN Feng +6 more
doaj +1 more source
Combined automotive safety and security pattern engineering approach [PDF]
, 2020 Automotive systems will exhibit increased levels of automation as well as ever tighter integration with other vehicles, traffic infrastructure, and cloud services.
Amorim, Tiago +8 more
core +1 more source
Vojnotehnički Glasnik, 2017 Systems Modeling Language (SysML) is a Unified Modeling Language (UML) profile intended for application in systems engineering. This text is inspired by lack of literature on SysML in Serbian language.
Miloš D. Jevtić +2 more
doaj +1 more source
A methodology to model integrated smart city system from the information perspective [PDF]
, 2019 Rapid urban population growth challenges cities and sustainable urban development. Despite the effort deployed with conventional urban design, the current solutions are unable to significantly respond to existing challenges. The concept of smart city (SC)
Baker, Keith +3 more
core +2 more sources
Temporal verification in secure group communication system design [PDF]
, 2007 The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements.
Fontan, Benjamin +3 more
core +1 more source
Combining STPA with SysML Modeling [PDF]
2020 IEEE International Systems Conference (SysCon), 2020 System-Theoretic Process Analysis (STPA) is a technique, based on System-Theoretic Accident Model and Process (STAMP), to identify hazardous control actions, loss scenarios, and safety requirements. STPA is considered a rather complex technique and lacks formalism, but there exists a growing interest in using STPA in certifications of safety-critical ...
Fellipe Guilherme Rey de Souza +4 more
openaire +2 more sources
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