Search Results - "Feather, Martin"

Assurance Guidance for Space Mission use of Data-Driven Machine Learning by Feather, Martin S., Guerrini, Steven, Slingerland, Philip C., Spolaor, Max

“…We report on our experience developing guidance for assurance personnel on how to assure data-driven Machine Learning (ML) systems to be used in the space…”
Get full text

Space Applications of a Trusted AI Framework: Experiences and Lessons Learned by Mandrake, Lukas, Doran, Gary, Goel, Ashish, Ono, Hiro, Amini, Rashied, Feather, Martin S., Fesq, Lorraine, Slingerland, Philip, Perry, Lauren, Bycroft, Benjamen, Kaufman, James

“…Artificial intelligence (AI), which encompasses machine learning (ML), has become a critical technology due to its well-established success in a wide array of…”
Get full text

Adapting a Trusted AI Framework to Space Mission Autonomy by Slingerland, Philip, Perry, Lauren, Kaufman, James, Bycroft, Benjamen, Linstead, Erik, Mandrake, Lukas, Doran, Gary, Goel, Ashish, Feather, Martin S., Fesq, Lorraine, Ono, Hiro, Amini, Rashied

“…As artificial intelligence (AI) is increasingly proposed for new and future capabilities in space missions, the question of how to trust AI-enabled space…”
Get full text

Model based mission assurance: NASA's assurance future by Evans, John, Cornford, Steven, Feather, Martin S.

“…Model Based Systems Engineering (MBSE) is seeing increased application in planning and design of NASA's missions. This suggests the question: what will be the…”
Get full text

Assurance Equations: A Cost and Criticality Model for Optimizing Quality Assurance Surveillance by Cornford, Steven L., Wheeler, Alex, Feather, Martin S., Plante, Jeannette F.

“…The cost of quality vs cost of failure correction has been a long-running topic of discussion within the Aerospace community. It leads directly to concepts of…”
Get full text

Space Trusted Autonomy Readiness Levels by Hobbs, Kerianne L., Lyons, Joseph B., Feather, Martin S., Bycroft, Benjamen P, Phillips, Sean, Simon, Michelle, Harter, Mark, Costello, Kenneth, Gawdiak, Yuri, Paine, Stephen

“…Technology Readiness Levels are a mainstay for organizations that fund, develop, test, acquire, or use technologies. Technology Readiness Levels provide a…”
Get full text

Software Assurance of Autonomous Spacecraft Control by Smith, Ben, Feather, Martin S., Huntsberger, Terry, Bocchino, Robert

“…Summary & ConclusionsThe work described addresses assurance of a planning and execution software system being added to an in-orbit CubeSat to demonstrate…”
Get full text

Towards Robust, Resilient Ocean World Science Sampling Systems by Touma, Thomas, Das, Ersin, Burdick, Joel W., Clark, Evan Bock, Mackey, Ryan, Feather, Martin S., Fesq, Lorraine M., Kolcio, Ksenia O., Prather, Maurice

“…NASA's search for life and habitable regions in our solar system could lead to future landed missions on Europa and Enceladus, whose ocean worlds may support…”
Get full text

Case Studies in Verifying Spacecraft Autonomy by Prokop, Lorraine E., Dorney, Daniel J., Feather, Martin S., Johnson, Stephen B.

“…Spacecraft, operating with a time-to-effect faster than human command response, or with absent or delayed communication, have depended on autonomy. It is…”
Get full text

An Assurance Case with a Model at its Core by Cornford, Steven L., Feather, Martin S., Shelton, Marta B., Evans, John W., DiVenti, Anthony J.

“…We describe our pilot study development of an Assurance Case arguing the robustness of a spacecraft demonstration of optical communication. Our Assurance Case…”
Get full text

Enabling Assurance in the MBSE Environment by Evans, John W., Cornford, Steven L., Kotsifakis, David, Crumbley, Tim, Feather, Martin S.

“…Model Based Engineering (MBE) is emerging in the aerospace sector as an important contributor to improved development from concept to production. Indeed, Model…”
Get full text

NASA Quality Assurance in an MBSE World by Cornford, Steven L., Kotsifakis, David, Beckman, Sean, Feather, Martin S., Evans, John W.

“…Over the past decade or so, improvements and changes in descriptive models of systems have been occurring. This has mainly come about in the shift from a…”
Get full text

Demonstrations of System-Level Autonomy for Spacecraft by Feather, Martin S., Kennedy, Brian, Mackey, Ryan, Troesch, Martina, Altenbuchner, Cornelia, Bocchino, Robert, Fesq, Lorraine, Hughes, Randall, Mirza, Faiz, Nikora, Allen, Beauchamp, Patricia, Doran, Patrick, Kolcio, Ksenia O., Litke, Matthew J., Prather, Maurice

“…System-level autonomy refers to autonomously meeting the crosscutting needs of a system through awareness and coordinated control spanning the system's breadth…”
Get full text

Assurance for Autonomy - JPL's past research, lessons learned, and future directions by Feather, Martin S., Pinto, Alessandro

“…Robotic space missions have long depended on automation, defined in the 2015 NASA Technology Roadmaps as "the automatically-controlled operation of an…”
Get full text

A Broad, Quantitative Model for Making Early Requirements Decisions by Feather, M.S., Cornford, S.L., Hicks, K.A., Kiper, J.D., Menzies, T.

“…Although detailed information is typically scarce during a project's early phases, developers frequently need to make key decisions about trade-offs among…”
Get full text

Assurance Guidance for Machine Learning in a Safety-Critical System by Feather, Martin S., Slingerland, Philip C., Guerrini, Steven, Spolaor, Max

“…We are developing guidance for space domain assurance personnel on how to assure Artificial intelligence (AI) and Machine Learning (ML) systems. Key to such…”
Get full text

Rapid application of lightweight formal methods for consistency analyses by Feather, M.S.

“…Lightweight formal methods promise to yield modest analysis results in an extremely rapid manner. To fulfil this promise, they must be able to work with…”
Get full text

Requirements and Specification Exemplars by Feather, Martin S, Fickas, Stephen, Finkelstein, Anthony, van Lamsweerde, Axel

“…Specification exemplars are familiar to most software engineering researchers. For instance, many will have encountered the well known library and lift problem…”
Get full text

Automatic Generation of Test Oracles—From Pilot Studies to Application by Feather, Martin S, Smith, Ben

“…We describe a progression from pilot studies to development and use of domain-specific verification and validation (V&V) automation. Our domain is the testing…”
Get full text

Towards a unified approach to the representation of, and reasoning with, probabilistic risk information about software and its system interface by Feather, M.S.

“…Early risk assessment is key in planning the development of systems, including systems that involve software. Such risk assessment needs a combination of the…”
Get full text