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, Alice Santin, Marvin Blecken, Daniel Patrick Pereira, 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是一种将系统工程过程(SEP)与安全工程过程(SecEP)相结合的基于模型的安全工程方法。这两个过程在所有开发级别的同一系统模型中并发地和交互地操作。我们使用一致的SysML4Sec方法详细介绍了SysML4Sec用于基于模型的安全工程,并演示了SEP-SecEP在开发乘客座椅连接功能时与SysML4Sec支持的“CATIA Magic Systems of Systems Architect”工具的交互。“系统架构师的魔法系统”工具提供了一个单一的事实来源,系统和安全工程师可以根据DO 326A航空标准合作设计系统架构和相关的初步安全评估。它可以定义要保护的资产、威胁条件(TC)、威胁场景(TS)和安全措施(SM),这些都是根据有效性来指定的,以降低风险。