The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2004)
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISSN: 1530-2059
ISBN: 0-7695-2094-4
pp: 273-274
Darryl Hearn , Embry-Riddle Aeronautical University
Janusz Zalewski , Florida Gulf Coast University
Andrew J. Kornecki , Embry-Riddle Aeronautical University
Herman Lau , Embry-Riddle Aeronautical University
Kimberley Hall , Embry-Riddle Aeronautical 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.
Darryl Hearn, Janusz Zalewski, Andrew J. Kornecki, Herman Lau, Kimberley Hall, "Evaluation of Software Development Tools for High Assurance Safety Critical Systems", Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), vol. 00, no. , pp. 273-274, 2004, doi:10.1109/HASE.2004.1281755
91 ms
(Ver 3.3 (11022016))