Abstract. This interim report describes investigation of leading software development tools used in development of aviation systems.
Evaluation of software development tools for high assurance safety ...
ieeexplore.ieee.org › document
Abstract: This interim report describes investigation of leading software development tools used in development of aviation systems.
Mar 25, 2004 · This interim report describes investigation of leading software development tools used in development of aviation systems.
Abstract: This interim report describes investigation of leading software development tools used in development of aviation systems. It is a part of three-year ...
This research supports policy and guidance development for software-intensive aviation systems in a rapidly evolving software engineering domain that exhibits a ...
In this interim study, we examine leading aviation software development tools. This is a part of a wider initiative to establish criteria for a possible ...
The paper presents guidelines on criteria and procedures for evaluating software development tools used in safety-critical real-time systems.
People also ask
What are examples of safety-critical software systems?
The taxonomy of the tools is presented and four views of the criteria to be selected for evaluation of software tools used in the development of ...
Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high ...
Missing: Development | Show results with:Development
The document discusses the assessment of software development tools for safety-critical real-time systems. What is the purpose of the research? The research ...