No Risk, No Fun A Tutorial on Risk Management

被引：0
作者：
Stoelinga, Marielle [1 ,2 ]
机构：
[1] Univ Twente, Formal Methods & Tools, Enschede, Netherlands
[2] Radboud Univ Nijmegen, Dept Software Sci, Nijmegen, Netherlands
来源：
FORMAL METHODS, PT II, FM 2024 | 2025年 / 14934卷
关键词：
Risk management; formal methods; uncertainty; OF-THE-ART; FORMAL METHODS; SAFETY;
D O I：
10.1007/978-3-031-71177-0_26
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The aim of this tutorial is to explain to the formal methods community the area of risk management and its most prominent concepts: the definition of risk, strategies for managing risk, the risk management cycle, and the role of ISO standards. For each of these concepts, I explain how formal methods relate and contribute, making risk management more accountable: systematic, transparent, and quantitative. I will also argue that viewing Formal Methods through the lens of risk management, and making the relevance of formal methods in risk analysis explicit, helps our community to better communicate the merits of formal methods to industry.
引用
收藏
页码：447 / 468
页数：22
相关论文
共 63 条
[21]  
Fenton N., 2011, Risk Assessment and Decision Analysis with Bayesian Networks
[22]   The 2020 Expert Survey on Formal Methods [J].
Garavel, Hubert ;
ter Beek, Maurice H. ;
van de Pol, Jaco .
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2020, 2020, 12327 :3-69
[23]  
Gibbins P., 1990, The Software Life Cycle, P278
[24]   A manifesto for applicable formal methods [J].
Gleirscher, Mario ;
van de Pol, Jaco ;
Woodcock, Jim .
SOFTWARE AND SYSTEMS MODELING, 2023, 22 (06) :1737-1749
[25]  
Gudemann M., 2010, 2010 IEEE 12 INT S H
[26]  
Hopkin P., 2018, FUNDAMENTALS RISK MA
[27]  
Houtermans M., 2014, SIL and Functional Safety in a Nutshell, V2nd
[28]  
Institute of Risk Management, 2002, IRM's risk management standard
[29]  
International Organization for Standardization, 2023, ISO22163: Railway applications
[30]  
railway quality management system
1234567