Overview

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. Hoover, D. N. and Guaspari, David and Humenn, Polar Langley Research Center FORMALISM; AVIONICS; APPLICATIONS PROGRAMS (COMPUTERS); TABLES (DATA); AIRCRAFT SAFETY; SAFETY MANAGEMENT; SOFTWARE ENGINEERING; DECISION MAKING; FAULT TREES; PETRI NETS...

Full Product Details

9781722948573

Table of Contents

Reviews

Author Information

Tab Content 6

Countries Available