Results 1 to 10 of about 346 (165)
System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV
Systems Theoretical Accident Model and Process (STAMP), which considers system safety as an emergent property of the system, is a more effective accident/loss causality model for modern complex systems. Based on STAMP, System Theoretical Process Analysis
Deming Zhong
exaly +3 more sources
Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models [PDF]
As embedded systems become increasingly complex, traditional reliability analysis methods based on text alone are no longer adequate for meeting the requirements of rapid and accurate quantitative analysis of system reliability.
Changyong Chu, Weikang Yang, Yajun Chen
doaj +2 more sources
Tolerance analysis is a key engineering task that is usually supported by domain-specific analysis models and tools that are generally not connected to the system functionality.
JOSÉ V Abellan-Nebot +2 more
exaly +3 more sources
Measuring the Complexity of SysML Models
Model-Based Systems Engineering (MBSE) is employing systems analysis, design, and development on models of these systems, bringing together different viewpoints, with a step-by-step increase of detail.
Anoushka Bhatnager +3 more
doaj +2 more sources
Self-Adaptation Driven by SysML and Goal Models - A Literature Review [PDF]
Background: Socio-cyber-physical systems (SCPSs) are a type of cyber-physical systems with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an optimal symbiosis with users and their contexts. The Systems Modeling Language (
Amal Ahmed Anda, Daniel Amyot
doaj +1 more source
Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example
In recent years, Model Based Systems Engineering (MBSE) has continued to develop as a standard for designing, managing, and maintaining increasingly complex systems. Unlike the document centric approach, MBSE puts the model at the heart of system design.
Mostafa Lutfi, Ricardo Valerdi
doaj +1 more source
Safety-critical cyber-physical systems (SC-CPS) have the characteristics of distributed, heterogeneous, strong coupling of computing resources and physical resources.
Jian Xie +5 more
doaj +1 more source
Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
Socio-cyber-physical systems (SCPSs) have emerged as networked heterogeneous systems that incorporate social components (e.g., business processes and social networks) along with physical (e.g., Internet-of-Things devices) and software components.
Amal Ahmed Anda +2 more
doaj +1 more source
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems [PDF]
We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system.
Ludovic Apvrille, Yves Roudier
doaj +1 more source
Modeling and Analysis of Unmanned Aerial Vehicle System Leveraging Systems Modeling Language (SysML)
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

