IT infusion
Infusing IT technology is a perennial challenge. The Technology Infusion and Maturity Assessment approach of Cornford & Hicks is shown applied to an example of IT infusion: moedl-based V&V of spacecraft software.
technical keywords↗
Engineering topics
Feather, M. S.
Publications and source records attributed to Feather, M. S..
Infusing and selecting V&V activities
The evolving nature of software development poses a continuing series of challenges for V&V. In response, the V&V community selectively adapts the use of existing V&V activities, and introduces new and improved ones.
verification validation risk software quality assu↗
A quantitative risk-based model for reasoning over critical system properties
This position paper suggests the use of a quantitative risk-based model to help support reeasoning and decision making that spans many of the critical properties such as security, safety, survivability, fault tolerance, and real-time.
requirements risk decision-making tradeoffs priori↗
Converging on the optimal attainment of requirements
Planning for the optimal attainment of requirements is an important early lifecycle activity. However, such planning is difficult when dealing with competing requirements, limited resources, and the incompleteness of information available at requirements time.
requirements optimization summarization tradeoffs↗
Operationalization and enhancement of the Advanced Risk Reduction Tool (ARRT)
Explore the source record for details and available documents.
descoping requirements prioritization risk managem↗
A quantitative risk model for early lifecycle decision making
Decisions made in the earliest phases of system development have the most leverage to influence the success of the entire development effort, and yet must be made when information is incomplete and uncertain. We have developed a scalable cost-benefit model to support this critical phase of early-lifecycle decision-making.
requirements optimization summarization tradeoffs↗
Assurance optimization
Explore the source record for details and available documents.
assurance requirements optimization summarization ↗
Assurance optimization
Explore the source record for details and available documents.
assurance requirements optimization summarization ↗
Learning cost benefit trade-offs
The more we know about software costs and benefits, the more precisely we can analyze the trade-offs between options in a software project.
requirements optimization summarization tradeoffs↗
A risk-centric model for value maximization
We describe an approach that makes value maximization possible during the earliest phases of software development.
requirements optimization summarization tradeoffs↗
Cost-benefit based assurance planning
We have extended an existing risk management framework with a refined cost-benefit model. Benefits are measured in terms of reduction of risk.
risk requirements tradeoffs design quality assuran↗
Incorporating cost-benefit analyses into software assurance planning
The objective is to use cost-benefit analyses to identify, for a given project, optimal sets of software assurance activities. Towards this end we have incorporated cost-benefit calculations into a risk management framework.
investment software quality software process impro↗
Incorporating cost-benefit analyses into software assurance planning
The objective is to use cost-benefit analyses to identify, for a given project, optimal sets of software assurance activities.
investment software quality software process impro↗
First contract: better, earlier, decisions for software projects
This paper describes an ongoing effort to address these challenges by means of a synergistic collaboration of research tools.
IV&V risk management stakeholders optimization vis↗
Risk reduction uding DDP (Defect Detection and Prevention): software support and software applications
Explore the source record for details and available documents.
management visualization IV&V↗
Test oracle automation for V&V of an autonomous spacecraft's planner
We built automation to assist the software testing efforts associated with the Remote Agent experiment. In particular, our focus was upon introducing test oracles into the testing of the planning and scheduling system component. This summary is intended to provide an overview of the work.
testing test oracles verification validation analy↗
DDP : a tool for life-cycle risk management
Explore the source record for details and available documents.
risk management requirements tradeoff analysis↗
DDP - a tool for life-cycle risk management
At JPL we have developed, and implemented, a process for achieving life-cycle risk management. This process has been embodied in a software tool and is called Defect Detection and Prevention (DDP). The DDP process can be succinctly stated as: determine where we want to be, what could get in the way and how we will get there.
DDP risk management↗