Planning for V&amp;V of the Mars Science Laboratory rover software

Feather, Martin S.; Fesq, Lorraine; Ingham, Michel D.; Klein, Sylviane; Nelson, Stacy

doi:10.1109/aero.2004.1367653

Cited by 7 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Further advocates of formal verification, i.e., static analysis, model checking and runtime verification, for testing autonomous systems include (Schumann & Visser, 2006), (Feather, Fesq, Ingham, Klein, & Nelson, 2004), (Cheng, et al, 2014), (De Lemos, et al, 2013) and (Simmons, Pecheur, & Srinivasan, 2000).…”

Section: Current Approaches For Testing Of Autonomous Systemsmentioning

confidence: 99%

Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art

Helle

Schamai

Strobel

2016

INCOSE International Symp

View full text Add to dashboard Cite

Autonomous systems are on the rise. However, the challenge to test autonomous systems to ensure their safe and fault‐free behaviour is not solved yet. This is especially critical when we consider the fact that autonomous systems are often safety‐critical systems envisaged to interact with humans without explicit human supervision. This paper points out why testing autonomous systems is such a challenge and provides an overview of the current state‐of‐the‐art theory and practice. The gathered information is then condensed into guiding points for the way forward.

show abstract

Section: Current Approaches For Testing Of Autonomous Systemsmentioning

confidence: 99%

Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art

Helle

Schamai

Strobel

2016

INCOSE International Symp

View full text Add to dashboard Cite

show abstract

“…Issues related to the definition of an encompassing verification strategy were tackled in several work (Basili and Boehm 2007) (Feather et al 2004) (Feather et al 2001) (Kurtz and Feather 2000) (Alves and Ferreira 1999) (Osterweil 1996) (Basili and Selby 1987). These work remark the extensive importance of a well-defined verification process and its consequent optimization.…”

Section: Introductionmentioning

confidence: 99%

3.2.2 Enhancing the System Development Process Performance: a Value‐Based Approach

Mastrofini

Cantone

Seaman

et al. 2012

INCOSE International Symp

View full text Add to dashboard Cite

When planning or controlling the system development process, a project leader needs to make decisions which take into account a number of aspects, including: availability of assets and competences, previously enacted processes in the organization, certifications the system is required to obtain, standards to comply with, interactions among process activities, contextual factors and constraints, and allocated budget and schedule. In this paper we propose a value‐based approach for supporting decision making. The aim is to provide supportive information for decisions related to the system verification process. This would in turn enhance the performance of system development process by supporting the decision making process for complex systems. We report both academic and industrial empirical evaluations, which demonstrate the feasibility and effectiveness of our proposal, and thus prompt us to refine and extend our approach to sub‐processes other than verification.

show abstract

Emerging Technologies for V&V of ISHM Software for Space Exploration

Feather

Markosian²

2006 IEEE Aerospace Conference

View full text Add to dashboard Cite

Planning for V&V of the Mars Science Laboratory rover software

Cited by 7 publications

References 13 publications

Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art

Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art

3.2.2 Enhancing the System Development Process Performance: a Value‐Based Approach

Emerging Technologies for V&V of ISHM Software for Space Exploration

Contact Info

Product

Resources

About