| タイトル | Applications of Formal Methods to Specification and Safety of Avionics Software |
| 本文（外部サイト） | http://hdl.handle.net/2060/19960023949 |
| 著者（英） | Guaspari, David; Hoover, D. N.; Humenn, Polar |
| 著者所属（英） | Odyssey Research Associates, Inc. |
| 発行日 | 1996-04-01 |
| 言語 | eng |
| 内容記述 | This report treats several topics in applications of formal methods to avionics software development. Most of these topics concern decision tables, an orderly, easy-to-understand format for formally specifying complex choices among alternative courses of action. The topics relating to decision tables include: generalizations fo decision tables that are more concise and support the use of decision tables in a refinement-based formal software development process; a formalism for systems of decision tables with behaviors; an exposition of Parnas tables for users of decision tables; and test coverage criteria and decision tables. We outline features of a revised version of ORA's decision table tool, Tablewise, which will support many of the new ideas described in this report. We also survey formal safety analysis of specifications and software. |
| NASA分類 | Computer Systems |
| レポートNO | 96N26577
NASA-CR-4723
NAS 1.26:4723
TM-95-0091 |
| 権利 | No Copyright |
|
