Results 1 to 10 of about 8,812 (195)
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 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 +4 more sources
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 +4 more sources
Applied Sciences (Switzerland), 2023 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.
Sérgio Benavent-Nácher +1 more
exaly +3 more sources
System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV
Applied Sciences (Switzerland), 2022 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]
SensorsAs 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
Thirteen years of SysML: a systematic mapping study [PDF]
Software and Systems Modeling, 2019 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 for designing complex systems by considering software as well as hardware parts. Over the period of thirteen years, many publications have covered various aspects of SysML
Sabine Wolny +2 more
exaly +3 more sources
Self-Adaptation Driven by SysML and Goal Models - A Literature Review [PDF]
e-Informatica Software Engineering Journal, 2022 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
Systems, 2023 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
Connection Science, 2022 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
Modelling, 2023 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