Using SysML for model-based vulnerability assessment

被引：4

作者：

Bassam, Soroush ^{[1
]}

Herrmann, Jeffrey W. ^{[1
,2
]}

Schmidt, Linda C. ^{[2
]}

机构：

[1] Univ Maryland, Inst Syst Res, College Pk, MD 20742 USA

[2] Univ Maryland, Dept Mech Engn, College Pk, MD 20742 USA

来源：

2015 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH | 2015年 / 44卷

关键词：

SysML; Model-Based Systems Engineering; Vulnerability Assessment; Physical Protection Systems;

D O I：

10.1016/j.procs.2015.03.025

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper discusses the use of model-based systems engineering (MBSE) models for physical protection systems (PPS) evaluation. We discuss why MBSE methodologies can be valuable in assessment of PPS. Next, we review the steps in vulnerability assessment (VA) and describe the use of SysML models in these steps. The paper presents examples of SysML models for a VA scenario. Such models can enable the development and integration of other VA tools and reduce the time and cost of conducting VA, which will lead to safer facilities. (C) 2015 Published by Elsevier B.V.

引用

页码：413 / 422

页数：10

共 50 条

[41] Model Based Engineering of Process Plants using SysML
Hernandez, Carlos
Rodriguez, Manuel
Diaz, Ismael
Sanz, Ricardo
26TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING (ESCAPE), PT B, 2016, 38B : 1281 - 1286
[42] Model-based performance assessment
Baker, EL
THEORY INTO PRACTICE, 1997, 36 (04) : 247 - 254
[43] Foundations for model-based systems engineering and model-based safety assessment
Rauzy, Antoine B.
Haskins, Cecilia
SYSTEMS ENGINEERING, 2019, 22 (02) : 146 - 155
[44] VERA: A flexible model-based vulnerability testing tool
Blome, Abian
Ochoa, Martin
Li, Keqin
Peroli, Michele
Dashti, Mohammad Torabi
2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013), 2013, : 471 - 478
[45] A Model-Based System Engineering Approach for aviation system design by applying SysML modeling
Xiao Fei
Chen Bin
Li Rui
Hu Shunhua
PROCEEDINGS OF THE 32ND 2020 CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2020), 2020, : 1361 - 1366
[46] Model-based Safety Assessment using OCL and Petri Nets
Rodriguez, Ricardo J.
Gomez-Martinez, Elena
2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 56 - 59
[47] Model-based quantitative method of network vulnerability analysis
Wang, Yu-Long
Yang, Fang-Chun
Sun, Qi-Bo
Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2008, 31 (04): : 58 - 61
[48] Model-based requirements specification of real-time systems with UML, SysML and MARTE
Ribeiro, Fabiola Goncalves C.
Pereira, Carlos E.
Rettberg, Achim
Soares, Michel S.
SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 343 - 361
[49] Validation of Digital System Models: A Framework and SysML Profile for Model-Based Systems Engineering
Winton, James R.
Colombi, John M.
Jacques, David R.
Johnson, Kip E.
INCOSE International Symposium, 2023, 33 (01) : 569 - 583
[50] Model-based requirements specification of real-time systems with UML, SysML and MARTE
Fabíola Gonçalves C. Ribeiro
Carlos E. Pereira
Achim Rettberg
Michel S. Soares
Software & Systems Modeling, 2018, 17 : 343 - 361

← 1 2 3 4 5 →