Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. (2004)
Mar. 25, 2004 to Mar. 26, 2004
Andrew J. Kornecki , Embry-Riddle Aeronautical University
Kimberley Hall , Embry-Riddle Aeronautical University
Darryl Hearn , Embry-Riddle Aeronautical University
Herman Lau , Embry-Riddle Aeronautical University
Janusz Zalewski , Florida Gulf Coast University
This interim report describes investigation of leading software development tools used in development of aviation systems. It is a part of three-year effort with the ultimate objective to provide guidelines for a potential tool qualification. The hypothesis is that the tool qualification allows the developing organizations reduce the effort required to verify the artifacts produced by the tool. The saving on costly verification process is an incentive for pursuing tool qualification.
D. Hearn, J. Zalewski, A. J. Kornecki, H. Lau and K. Hall, "Evaluation of Software Development Tools for High Assurance Safety Critical Systems," Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.(HASE), Tampa, Florida, 2004, pp. 273-274.