Safety concerns regarding the use of visual programming in civilian avionics software

Authors:
Marc Ronell
Affiliations:
US Federal Aviation Administration (FAA), Burlington, MA, USA
Venue:
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Year:
2013

Citing 13
Cited 0

A 15 Year Perspective on Automatic Programming

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
No Silver Bullet Essence and Accidents of Software Engineering

Computer
Automatic Programming: Myths and Prospects

Computer
A perspective on automatic programming

Readings from the AI magazine
Automatic code generation from design patterns

IBM Systems Journal
Scaling Up Visual Programming Languages

Computer
A visualisation of polymorphic type checking

Journal of Functional Programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm

Journal of Functional Programming
A Survey of Current Graphical Programming Techniques

Computer
A Tool for Automatic Code Generation from Schemas

ICCS 2009 Proceedings of the 9th International Conference on Computational Science
Taxonomies of visual programming and program visualization

Journal of Visual Languages and Computing
UML collaboration diagrams and their transformation to java

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Computer Tool With a Code Generator for Avionic Distributed Fuel Control Systems With Smart Sensors and Actuators

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper examines the regulatory oversight of flight critical avionic software using Visual Programming Languages (VPLs) as a specific example and points out shortcomings with the Federal Aviation Administration's (FAA's) process of verifying software. VPLs and environments are being applied in conjunction with Automatic Generated Code (AGC) to create software for safety critical avionics systems which will control the fate of commercial vehicles and their passengers. There are no empirical, statistically significant studies which demonstrate that using VPLs to generate source code has any real advantage over text based programming languages. The paper describes the need for empirical software development studies.