SysML4Sec – Methodology for Security modeling in the context of large-scale product development with multiple design levels

Hartmut Hintze, Alice Santin, Marvin Blecken, Daniel Patrick Pereira, Ralf God
{"title":"SysML4Sec – Methodology for Security modeling in the context of large-scale product development with multiple design levels","authors":"Hartmut Hintze,&nbsp;Alice Santin,&nbsp;Marvin Blecken,&nbsp;Daniel Patrick Pereira,&nbsp;Ralf God","doi":"10.1002/iis2.70108","DOIUrl":null,"url":null,"abstract":"<p>Increasing functionalities and the rising complexity of aircraft systems used by flight and cabin crews, passengers, maintenance staff, and other stakeholders necessitate a reconsideration of system development methodologies. This paper presents SysML4Sec, a model-based security engineering method that integrates the systems engineering process (SEP) with the security engineering process (SecEP). Both processes operate concurrently and interactively within the same system model across all development levels. We detail SysML4Sec for model-based security engineering using a consistent SysML approach and demonstrate SEP-SecEP interactions in developing a passenger seat connectivity function with the SysML4Sec supporting ‘CATIA Magic Systems of Systems Architect’ tool. The ‘Magic Systems of Systems Architect’ tool provides a single source of truth where a system and security engineers could collaborate to design the system architecture and the associated preliminary security assessments as per the DO 326A aviation standard. It enables to define Assets to be protected, the Threat Conditions (TC), the Threat Scenarios (TS) and Security Measures (SM) which are specified in terms of effectiveness to reduce the risk.</p>","PeriodicalId":100663,"journal":{"name":"INCOSE International Symposium","volume":"35 1","pages":"595-612"},"PeriodicalIF":0.0000,"publicationDate":"2025-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"INCOSE International Symposium","FirstCategoryId":"1085","ListUrlMain":"https://incose.onlinelibrary.wiley.com/doi/10.1002/iis2.70108","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Increasing functionalities and the rising complexity of aircraft systems used by flight and cabin crews, passengers, maintenance staff, and other stakeholders necessitate a reconsideration of system development methodologies. This paper presents SysML4Sec, a model-based security engineering method that integrates the systems engineering process (SEP) with the security engineering process (SecEP). Both processes operate concurrently and interactively within the same system model across all development levels. We detail SysML4Sec for model-based security engineering using a consistent SysML approach and demonstrate SEP-SecEP interactions in developing a passenger seat connectivity function with the SysML4Sec supporting ‘CATIA Magic Systems of Systems Architect’ tool. The ‘Magic Systems of Systems Architect’ tool provides a single source of truth where a system and security engineers could collaborate to design the system architecture and the associated preliminary security assessments as per the DO 326A aviation standard. It enables to define Assets to be protected, the Threat Conditions (TC), the Threat Scenarios (TS) and Security Measures (SM) which are specified in terms of effectiveness to reduce the risk.

SysML4Sec—在具有多个设计级别的大规模产品开发环境中进行安全建模的方法
机组人员、乘客、维修人员和其他利益相关者使用的飞机系统的功能和复杂性不断增加,需要重新考虑系统开发方法。SysML4Sec是一种将系统工程过程(SEP)与安全工程过程(SecEP)相结合的基于模型的安全工程方法。这两个过程在所有开发级别的同一系统模型中并发地和交互地操作。我们使用一致的SysML4Sec方法详细介绍了SysML4Sec用于基于模型的安全工程,并演示了SEP-SecEP在开发乘客座椅连接功能时与SysML4Sec支持的“CATIA Magic Systems of Systems Architect”工具的交互。“系统架构师的魔法系统”工具提供了一个单一的事实来源,系统和安全工程师可以根据DO 326A航空标准合作设计系统架构和相关的初步安全评估。它可以定义要保护的资产、威胁条件(TC)、威胁场景(TS)和安全措施(SM),这些都是根据有效性来指定的,以降低风险。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书