181 Hits in 1.9 sec

A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed, Samir Ouchani
2015 Expert systems with applications  
To prove the soundness of our mapping approach, we capture the underlying semantics of both the SysML activity diagrams and their generated PRISM code.  ...  Due to the difficulty of analyzing, modeling and verifying these large scale systems, we introduce a novel verification framework based on PRISM probabilistic model checker that takes the SysML activity  ...  For L(s 2 ) = C(L(s 1 )Generating PRISM Commands Function-Part2. Fig. 7 . 7 The Fig. 9 . 9 The abstract SysML activity diagram for Property 4.  ... 
doi:10.1016/j.eswa.2015.05.049 fatcat:vfj6qdqtyrb4bjl6k4nu7ogk5q

Generating attacks in SysML activity diagrams by detecting attack surfaces

Samir Ouchani, Gabriele Lenzini
2015 Journal of Ambient Intelligence and Humanized Computing  
We formalize a system as SysML activity diagrams and in the same formalism we model libraries of patterns taken from standard catalogues of social engineering and technical attacks.  ...  An algorithm that we define, navigates the system's diagrams in search for its attack surfaces; then it evaluates the possibility and the probability that the detected weak points host attacks among those  ...  Fig. 6 6 SysML activity diagram of the attack for XSPARS system Generating attacks in SysML activity diagrams by detecting attack surfaces 371 Table 1 1 Formalization of SysML Activity Diagram ArtifactsArtifactsFormalization  ... 
doi:10.1007/s12652-015-0269-8 fatcat:536eihludbgi7cmacv3h3ml43e

Through-Life Systems Engineering Design & Support with SysML

Stuart R. Chandler, Peter C. Matthews
2013 Procedia CIRP  
Please consult the full DRO policy for further details. Abstract New system capability needs have been evaluated based primarily on the product design characteristics.  ...  2013) 'Through-life systems engineering design support with SysML.', Procedia CIRP., 11 . pp. 425-430.  ...  Design validation will require the use of the results, parametric diagram and the requirements diagram to perform this activity in support of the design decision direction.  ... 
doi:10.1016/j.procir.2013.07.002 fatcat:22l3pftvpbcb7mph3ez75tpfty

Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems [article]

Pierluigi Nuzzo, John Finn, Mohammad Mozumdar, Alberto Sangiovanni-Vincentelli
2013 arXiv   pre-print
In our flow, the system specification is captured using SysML requirement and structure diagrams.  ...  State-machine diagrams enable verification of the control protocol at a high level of abstraction, while lowerlevel hybrid models, implemented in Simulink, are used to verify properties related to physical  ...  1 SysML is an object oriented modeling language largely based on the Unified Modeling Language (UML) 2.1, which also provides useful extensions for systems engineering.  ... 
arXiv:1311.6092v1 fatcat:6iyodyvnqngdzn5uoyb64qsyme

From SysML to Model Checkers via Model Transformation [chapter]

Martin Kölbl, Stefan Leue, Hargurbir Singh
2018 Lecture Notes in Computer Science  
In this paper we present an automated translation from the systems engineering modeling language SysML into the input languages of the NuSMV, Prism and Spin model checkers.  ...  A special focus of this work is the semantics of the communication mechanisms used in a syntactic fragment of SysML, in particular synchronous and asynchronous, broadcast and buffered communication.  ...  In particular, each model checking tool typically provides its own input language, designed to provide optimal abstractions enabling efficient model checking.  ... 
doi:10.1007/978-3-319-94111-0_15 fatcat:ytkkejmq2vdfxm33zelnj4zcde

Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology

Steffen Hillemacher, Stefan Kriebel, Evgeny Kusmenko, Mike Lorang, Bernhard Rumpe, Albi Sema, Georg Strobl, Michael von Wenckstern
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
SMARDT (Specification Methodology Applicable to Requirements, Design, and Testing) approach to enable automated test generation based on the requirement specification and design models formalized in SysML  ...  To formalize our architecture we employ a recently introduced homogeneous model-driven approach for component and connector languages integrating features indispensable in the cyber-physical systems domain  ...  Acknowledgements This research was supported by a Grant from the GIF, the German-Israeli Foundation for Scientific Research and Development, and by the Grant SPP1835 from DFG, the German Research Foundation  ... 
doi:10.5220/0006603701630178 dblp:conf/modelsward/HillemacherKKLR18 fatcat:bvfwskqmdzd6vbnudjgdc2mvfi

SysML Models and Model Transformation for Security

Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa
2016 Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development  
This paper thus proposes (i) novel SysML block and state machine diagrams enhanced to better capture security features, and (ii) a model-to-Proverif transformation.  ...  The security flaws of embedded systems have become very valuable targets for cyber criminals. SysML-Sec has been introduced to target the security of these systems during their development stages.  ...  Automotive systems are likely to be attacked either for economic reasons (activating optional features for free), or for criminal purposes.  ... 
doi:10.5220/0005748703310338 dblp:conf/modelsward/LugouLAA16 fatcat:n2dqb2xazneyjbr7rmfgbsx5jy

MBSE Testbed for Rapid, Cost-Effective Prototyping and Evaluation of System Modeling Approaches

Azad M. Madni
2021 Applied Sciences  
The MBSE community today recognizes the need for a flexible framework to efficiently organize, access, and manage MBSE artifacts; create and use digital twins for verification and validation; facilitate  ...  The testbed supports experimentation with simulated and physical sensors and with digital twins for verifying system behavior.  ...  Figure 12 . 12 SysML high-level-state machine diagram for obstacle avoidance. Figure 13 . 13 SysML to 3D virtual simulation mapping.  ... 
doi:10.3390/app11052321 fatcat:gzwngajddzgphjrsm3dvw5723y

Model-driven multi-level safety analysis of critical systems

Nataliya Yakymets, Matthieu Perin, Agnes Lanusse
2015 2015 Annual IEEE Systems Conference (SysCon) Proceedings  
In this paper, we focus on the safety aspect and introduce a methodology and associated framework for modeldriven safety analysis (SA) of large critical systems.  ...  Papyrus provides diagram, table and text based editors for EMF modeling languages (e.g. UML2 or SysML).  ...  Step 1: Choosing Safety Configuration The design model of TDS was described in SysML. The architecture of TDS is represented in BDDs (Block Definition Diagrams) and IBDs (Internal Block Diagrams).  ... 
doi:10.1109/syscon.2015.7116812 dblp:conf/syscon/YakymetsPL15 fatcat:vx55nxyavvhh7dexnsynwy2cbe

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

Muhammad Rashid, Muhammad Waseem Anwar, Aamir M. Khan
2015 Journal of Systems and Software  
Furthermore, appropriate tools selection to perform particular MBSE activities is always challenging.  ...  However, it is difficult to customize MBSE approach for the development of embedded systems due to their diverse behavioral aspects.  ...  We acknowledge the support of KACST (King Abdulaziz City for Science and Technology) and STU (Science and Technology Unit) Makkah (grant no. 13-INF761-10).  ... 
doi:10.1016/j.jss.2015.04.089 fatcat:l7ksgsyvyzbcxnch5dgeow3mje

AMADEOS Framework and Supporting Tools [chapter]

Arun Babu, Sorin Iacob, Paolo Lollini, Marco Mori
2016 Lecture Notes in Computer Science  
The SysML activity and sequence diagram are exploited to represent the SoS at the functional level and its exchanges of messages, respectively.  ...  Such variables can have dependence relations between them which are, for example: causal, functional, influential, or probabilistic.  ... 
doi:10.1007/978-3-319-47590-5_5 fatcat:tmvqhdvh3zhsjhibbyz5na37jq

Security Risk Analysis Approach for Safety-Critical Systems of Connected Vehicles

Feng Luo, Shuo Hou, Xuan Zhang, Zhenyu Yang, Wenwen Pan
2020 Electronics  
In addition, from a practical point of view, we propose a Markov model generation method based on a SysML activity diagram, which can simplify our modeling process.  ...  In order to solve this problem, we propose in this paper a security risk analysis framework for connected vehicles based on formal methods.  ...  Algorithm 1: SysML Activity Diagram Transformation Algorithm.  ... 
doi:10.3390/electronics9081242 fatcat:5zzpimxh5vdizpup2mpsg2zn7y

OMG standard for integrating safety and reliability analysis into MBSE: Concepts and applications

Geoffrey Biggs, Kyle Post, Andrius Armonas, Nataliya Yakymets, Tomas Juknevicius, Axel Berres
2019 INCOSE International Symposium  
SysML, being one of the key MBSE components, has a good foundation for capturing requirements, architecture, constraints, views and viewpoints.  ...  However, SysML does not provide the necessary constructs to capture safety and reliability information in the system model.  ...  Acknowledgements The authors would like to acknowledge the other participants of the submission team, and in particular Dave Banham of Rolls-Royce PLC, for their comments during the writing of this paper  ... 
doi:10.1002/j.2334-5837.2019.00595.x fatcat:75zam53ibbgoxasbnvflpfybyi

Verifying the Safety of Aviation Software Based on Extended Colored Petri Net

Hang Zhou, Canheng Zhang, Yue Li, Yang Gu, Shikang Zhou
2019 Mathematical Problems in Engineering  
This paper presents a comprehensive method with high efficiency for safety verification of airborne software system, in order to ensure the system meet safety requirement of airworthiness standard at the  ...  Safety Verification Colored Petri Net (SVCPN) for software safety verification is firstly proposed, and then the mapping transformation rules from Block Definition Diagram (BDD) of System Modeling Language  ...  This manuscript is based on the research of airworthiness formal certification of aviation software, and it was supported by "the Fundamental Research Funds for the Central Universities (no.  ... 
doi:10.1155/2019/9185910 fatcat:mouwisxjlbgdbk27zyf76z24c4

A systems engineering-based approach for framing reliability, availability, and maintainability: A case study for subsea design

Juntao Zhang, Cecilia Haskins, Yiliu Liu, Mary Ann Lundteigen
2018 Systems Engineering  
A novel subsea design concept is offered as a case study to demonstrate the key changes in subsea design activities for addressing RAM with the proposed framework.  ...  However, the system concept baseline developed by RAM toolset is often a partial view, which is either too abstract when preparing RAM analysis or too overloaded when integrating RAM analysis with design  ...  SysML are activity diagram and state diagram, respectively. As a specialized form of flowchart, the activity diagram uses "tokens" to illustrate the concurrency of flow of control and data.  ... 
doi:10.1002/sys.21462 fatcat:5pogycxwd5by5hikr4pz2rwflm
« Previous Showing results 1 — 15 out of 181 results