The Importance of Being Formal

被引：2

作者：

Frese, Udo ^{[1
]}

Hausmann, Daniel ^{[1
]}

Lueth, Christoph ^{[1
]}

Taeubig, Holger ^{[1
]}

Walter, Dennis ^{[1
]}

机构：

[1] Univ Bremen, Deutsch Forsch Zentrum Kunstliche Intelligenz, Math & Comp Sci, FB 3, Bremen, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 238卷 / 04期

关键词：

software certification; formal methods; robotics; safety; Isabelle;

D O I：

10.1016/j.entcs.2009.09.006

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents work in the context of the certification of a safety component for autonomous service robots, and investigates the potential advantages offered by formally modelling the domain knowledge, specification and implementation in a theorem prover in higher-order logic. This allows safety properties to be stated in an abstract manner close to textbook mathematics. The automatic proof checking alleviates correctness concerns, and provides a seamless development process from high-level safety requirements down to concrete implementation. Moreover, the formalisation can be checked for correctness automatically, and the certification review process can focus on the correctness of the specification and safety cases.

引用

页码：57 / 70

页数：14

共 50 条

[1] The importance of being formal
K. S. Makarychev
Yu. S. Makarychev
The Mathematical Intelligencer, 2001, 23 : 41 - 42
[2] The importance of being formal
Makarychev, KS
Makarychev, YS
MATHEMATICAL INTELLIGENCER, 2001, 23 (01): : 41 - 42
[3] NOTICE, DEPOSIT AND REGISTRATION - IMPORTANCE OF BEING FORMAL
LEVINE, AJ
SQUIRES, JL
UCLA LAW REVIEW, 1977, 24 (5-6) : 1232 - 1264
[4] THE FORMAL STRUCTURE OF METAPHYSICS AND THE IMPORTANCE OF BEING EARNEST
Barris, Jeremy
METAPHILOSOPHY, 2008, 39 (4-5) : 546 - 570
[5] Being Formal without Being a Formalist
Gibson, Steve
LEONARDO, 2021, 54 (06) : 625 - 630
[6] The Importance of Being Earnest in The Importance of Being Earnest
Peters, John G.
TEXAS STUDIES IN LITERATURE AND LANGUAGE, 2023, 65 (03) : 273 - 296
[7] The Importance Of Being
Verghese, Abraham
HEALTH AFFAIRS, 2016, 35 (10) : 1924 - 1927
[8] The Importance of Being
Ball, G
AMERICAN BOOK REVIEW, 2002, 23 (06) : 15 - 15
[9] The importance of being fuzzy and the importance of being precise: Commentary on Harrison and Tronick
Galatzer-Levy, Robert M.
JOURNAL OF THE AMERICAN PSYCHOANALYTIC ASSOCIATION, 2007, 55 (03) : 883 - 889
[10] The Importance of Being Honest
Heinemann, Markus K.
THORACIC AND CARDIOVASCULAR SURGEON, 2015, 63 (06): : 445 - 445

← 1 2 3 4 5 →