New Opportunities for Integrated Formal Methods

被引：23

作者：

Gleirscher, Mario ^{[1
]}

Foster, Simon ^{[1
]}

Woodcock, Jim ^{[1
]}

机构：

[1] Univ York, Comp Sci, Deramore Lane, York YO10 5GH, N Yorkshire, England

来源：

ACM COMPUTING SURVEYS | 2020年 / 52卷 / 06期

基金：

英国工程与自然科学研究理事会;

关键词：

Formal methods; strengths; weaknesses; opportunities; threats; SWOT; challenges; integration; unification; research agenda; robots and autonomous systems; EMPIRICAL TALE; SOFTWARE; MODEL; SYSTEMS; SAFETY; REQUIREMENTS; SEMANTICS; QUALITY; SEARCH; MYTHS;

D O I：

10.1145/3357231

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses of formal methods. From the perspective of the assurance of robots and autonomous systems (RAS), we highlight new opportunities for integrated formal methods and identify threats to the adoption of such methods. Based on these opportunities and threats, we develop an agenda for fundamental and empirical research on integrated formal methods and for successful transfer of validated research to RAS assurance. Furthermore, we outline our expectations on useful outcomes of such an agenda.

引用

页数：36

共 50 条

[1] Theme issue on Integrated Formal Methods
Johnsen, Einar Broch
Petre, Luigia
SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 933 - 935
[2] Guest Editorial - Integrated Formal Methods
Boiten, E
Derrick, J
Smith, G
FORMAL ASPECTS OF COMPUTING, 2005, 17 (04) : 389 - 389
[3] Theme issue on Integrated Formal Methods
Einar Broch Johnsen
Luigia Petre
Software & Systems Modeling, 2016, 15 : 933 - 935
[4] Integrated Formal Methods for Constructing Assurance Cases
Carlan, Carmen
Beyene, Tewodros A.
Ruess, Harald
2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2016, : 221 - 228
[5] The need for formal methods for integrated circuit design
Keutzer, K
FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 1 - 18
[6] Applying Integrated Formal Methods on CPS Design
Misson, Henrique Amaral
Goncalves, Fernando Silvano
Becker, Leandro Buss
2019 IX BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2019,
[7] Robotics and Integrated Formal Methods: Necessity Meets Opportunity
Farrell, Marie
Luckcuck, Matt
Fisher, Michael
INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 161 - 171
[8] From ODP viewpoint consistency to Integrated Formal Methods
Boiten, Eerke A.
Derrick, John
COMPUTER STANDARDS & INTERFACES, 2013, 35 (03) : 269 - 276
[9] Integrated formal methods for safety analysis of train systems
Reif, W
Ortmeier, F
Thums, A
Schellhorn, G
BUILDING THE INFORMATION SOCIETY, 2004, 156 : 637 - 642
[10] New methods for new questions: Obstacles and opportunities
Foster, E. Michael
Kalil, Ariel
DEVELOPMENTAL PSYCHOLOGY, 2008, 44 (02) : 301 - 304

← 1 2 3 4 5 →