安全和安全软件系统的模型驱动工程:一个系统的绘图研究和未来的研究方向
Atif Mashkoor1, Alexander Egyed1, Robert Wille2,3
1Johannes Kepler University Altenbergerstraße 69/, Linz 4040 Austria.
概括
本研究绘制了软件安全和安全的模型驱动工程图,揭示了常见的方法,工具和开发阶段. 它强调了这一至关重要的,相互关联的领域的趋势和未来研究.
科学领域:
- 软件工程 软件工程 软件工程
- 网络安全 网络安全
- 系统安全系统安全系统安全系统
背景情况:
- 软件系统越来越需要集成的安全和安全工程.
- 安全和安全问题之间的相互作用带来了独特的研究挑战.
- 模型驱动工程 (MDE) 为管理这些综合性问题提供了一个有希望的方法.
研究的目的:
- 系统地绘制模型驱动工程的最新状态,以确保安全和保障.
- 确定解决这些问题的普遍方法,工具和开发阶段.
- 分析本研究领域的出版趋势和社区偏好.
主要方法:
- 进行了系统的绘图研究,从27,259篇相关论文中严格选择了143篇出版物.
- 分析了精选的文献,以识别经常使用的方法,工具和应用领域.
- 在整个软件开发生命周期阶段调查了安全和安全问题的整合.
主要成果:
- 提供了关于MDE在安全和安全方面的当前研究的全面概述.
- 确定了关键的方法,工具和开发阶段,以解决这些问题.
- 揭示了社区对出版场所和新兴研究趋势的偏好.
结论:
- 强调了安全和安全在MDE中日益重要和相互关联.
- 提供了对当前景观的见解,并确定了未来研究的差距.
- 为该领域的研究人员和从业人员提供了宝贵的资源.
相关概念视频
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
54
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
54
Response Surface Methodology
129
Response Surface Methodology (RSM) is a collection of statistical and mathematical techniques used to develop, improve, and optimize processes. It is particularly valuable when many input variables or factors potentially influence a response variable.
The process of RSM involves several key steps:
The process of RSM involves several key steps:
129
Typical Model Studies
359
Fluid mechanics model studies often utilize scaled-down systems to predict fluid behavior in full-scale environments, such as river flows, dam spillways, and structures interacting with open surfaces. Maintaining Froude number similarity in river models is crucial, as it replicates surface flow features like wave patterns and velocities.
359
Stereotype Content Model
14.7K
The Stereotype Content Model (SCM) was first proposed by Susan Fiske and her colleagues (Fiske, Cuddy, Glick & Xu, 2002; see also Fiske, 2012 and Fiske, 2017). The SCM specifies that when someone encounters a new group, they will stereotype them based on two metrics: warmth—or that group’s perceived intent, and how likely they are to provide help or inflict harm—and competence—or their ability to carry out that objective. Depending on the warmth-competence...
14.7K
Mechanistic Models: Compartment Models in Individual and Population Analysis
40
Mechanistic models are utilized in individual analysis using single-source data, but imperfections arise due to data collection errors, preventing perfect prediction of observed data. The mathematical equation involves known values (Xi), observed concentrations (Ci), measurement errors (εi), model parameters (ϕj), and the related function (ƒi) for i number of values. Different least-squares metrics quantify differences between predicted and observed values. The ordinary least...
40
Modeling and Similitude
267
Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...
267


