cFS-based Autonomy Requirements Tester (ART)

Slides:



Advertisements
Similar presentations
Travel and Expense Management Scenario Overview
Advertisements

Crucial Patterns in Service- Oriented Architecture Jaroslav Král, Michal Žemlička Charles University, Prague.
Software Quality Assurance Plan
MapleLeaf, LLC SDLC Methodology. MapleLeaf, LLC, has established standard phases and processes in regards to project management methodologies for planning.
Travel and Expense Management Scenario Overview
16/13/2015 3:30 AM6/13/2015 3:30 AM6/13/2015 3:30 AMIntroduction to Software Development What is a computer? A computer system contains: Central Processing.
Lecture 13 Revision IMS Systems Analysis and Design.
EADS TEST & SERVICES TS/EL/T N°08_04/08 Page 1© Copyright EADS TEST & SERVICES 2008 Engineering Process for Systems Testability Analysis. Presentation.
Annual SERC Research Review - Student Presentation, October 5-6, Extending Model Based System Engineering to Utilize 3D Virtual Environments Peter.
What is Business Analysis Planning & Monitoring?
Irwin/McGraw-Hill Copyright © 2004 The McGraw-Hill Companies. All Rights reserved Whitten Bentley DittmanSYSTEMS ANALYSIS AND DESIGN METHODS6th Edition.
Pablo Pedestrian Bridge
Business Analysis and Essential Competencies
TYX CORPORATION Page 1 © Copyright TYX Corporation 2006 TYX TestBase Development of Diagnostics with DSI eXpress and TYX TestBase For eXpress versions.
1 Phase Implementation. Janice Regan, Overview of Implementation phase Create Class Skeletons Define Implementation Plan (+ determine subphases)
The future of Statistical Production CSPA. 50 task team members 7 task teams CSPA 2015 project.
UML - Development Process 1 Software Development Process Using UML.
 Software Testing Software Testing  Characteristics of Testable Software Characteristics of Testable Software  A Testing Life Cycle A Testing Life.
Introduction to OOAD and UML
Web Page Programming Terms. Chapter 1 Objectives Describe Internet and Understand Key terms Describe World Wide Web and its Key terms Identify types and.
Introduction to Machine Learning, its potential usage in network area,
Building Enterprise Applications Using Visual Studio®
GKR 2113: INTRODUCTION TO DESIGN PROCESS
Lecture 3 Prescriptive Process Models
Roberta Roth, Alan Dennis, and Barbara Haley Wixom
The Movement To Objects
Modern Systems Analysis and Design Third Edition
Chapter 5 – Requirements Engineering
Architecture Concept Documents
Chris Menegay Sr. Consultant TECHSYS Business Solutions
Automation as the Subject of Mechanical Engineer’s interest
Modern Systems Analysis and Design Third Edition
Chapter 8 – Software Testing
The Systems Engineering Context
Streamlined publishing through the cloud with HTML5
The Project Management Framework
IEEE Std 1074: Standard for Software Lifecycle
Use Case Model Use case description.
Microsoft Office Illustrated
Autonomy Requirements Tester (ART): Reusing a CFS Test Runner in a Robotic Operating System (ROS) Architecture Flight Software Workshop (FSW 2017) Presented.
cFS User Community: Analysis and Recommendations
Chattrakul Sombattheera
COTS testing Tor Stålhane.
Overview of System Engineering
Advantages OF BDD Testing
© 2012 The McGraw-Hill Companies, Inc.
Software Quality Engineering
Modern Systems Analysis and Design Third Edition
Software life cycle models
Assuring the Quality of your COSF Data
Service Development at Aalto University Key Enabler for Aalto's Academic Mission Mari Svahn.
Chapter 3 Hardware and software 1.
Introducing ISTQB Agile Foundation Extending the ISTQB Program’s Support Further Presented by Rex Black, CTAL Copyright © 2014 ASTQB 1.
What is Concurrent Programming?
Modern Systems Analysis and Design Third Edition
Software Design Lecture : 15.
Chapter 3 Hardware and software 1.
Software requirements
Introduction to Systems Analysis and Design Stefano Moshi Memorial University College System Analysis & Design BIT
Introduction of Week 11 Return assignment 9-1 Collect assignment 10-1
ATIS’ Service Oriented Networks (SON) Activity
Summary.
M. Kezunovic (P.I.) S. S. Luo D. Ristanovic Texas A&M University
Decision Support Systems
Chapter 7 Software Testing.
IV&V Planning & Execution Initiative
METIS 2011 Workshop Session III – National Implementation of the GSBPM
Modern Systems Analysis and Design Third Edition
Assuring the Quality of your COSF Data
Developing Data Driven SharePoint Solutions
Presentation transcript:

cFS-based Autonomy Requirements Tester (ART)

About S&K Global Solutions (SKGS) S&K Global Solutions, LLC is owned by the Confederated Salish and Kootenai Tribes (CSKT). Our corporate headquarters is located in northwest Montana on the Flathead Indian Reservation. We are a member of the S&K family of technology-based companies that provide services to Federal Agencies and Civilian customers. Affiliated with 4 year HBCU/MI Salish Kootenai College (SKC); with active internships and sponsored technical programs

Background: 2015 cFS User Survey Summary: Major cFS Development Pain Points Setting up cFS development environment* Commands and telemetry – conforming to standards Testing – all levels* Documenting * received scores over 4.0 11/14/2018

cFS-based Autonomy Requirements Tester (ART) project: Phase I SBIR Problem: System requirements for autonomy have proven difficult to define and test, largely due to the uncertainty in the environments with which those autonomous systems will interact, the need to interact safely with humans, and the need to adapt to novel situations. Design eXtensible Markup Language (XML) schema to define cFS data models to support app-level testing Describe potential approaches for semi-autonomous test generation Design displays that support the management of autonomy requirements, test designs, and test results Develop a Concept of Operations (ConOps) for the use of ART to capture autonomy requirements, generate test specifications, execute the test specs, and report results

Represent Data for Progression from Requirement to Test Results Autonomy Requirement When a person is near the robotic arm, its movements should be reduced in speed. Test Input IR sensor range IR_range = 2.9 feet Expected Results Arm_Motion_Mode = slow (Publish Msg) IR_Range_To_Human IR_range = 2.9 feet Test Objective (Behavior) When any sensor detects a range of 3 feet or less: IF (range to human <= 3 feet) THEN switch to slow arm motion mode (which reduces the highest arm speed to no greater than 0.5 feet per second) (Subscribe Msg) Arm_Mode_Change (expect value to be: Arm_Motion_Mode = slow) Test Input Camera estimated range Camera_Est_Range = 2.9 feet Expected Results Expect values of Arm_Motion_Mode = slow

Test Runner Uses CFS Pub/Sub Architecture

Test Runner Reads Test Spec, Produces Test Results

Generating the Test Plan from Requirements Observation from Phase I exercise with APL Solar Probe Plus type autonomy requirements Similarities from one requirement to the next Often a tiered response, when first tier doesn’t correct the issue, go to the next tier Rule based behavior: If {condition} then {response} Similarities enable the formation of a template for generating the test Some additional parameters are needed in addition to the template Parameters illustrated on the next page

Data Entry to Enable Test Generation from Template

1st Part of Detailed Test Plan

For Browsing Requirement

Viewing Details from Test Plan

A Graphical View of the Test Plan

A View of the Test Results

ART Emphases Focus of Phase I and initial Phase II Phase II Hard, real-time autonomy (low level of autonomy) and cFS Test-driven development Unit test for app in publish-subscribe architecture Phase II Begin developing support for integration testing – higher levels of autonomy Work with DOD partners (NUWC) and JHU/APL on model-driven testing methodologies Build towards expressing higher levels of autonomy in testable terms Consider a classification system for levels of autonomy and associated testing methodologies (i.e. unit, system integration, human competence) Advantages of this approach Start test driven development early Ease the expression of autonomy requirements in terms of expected behavior Support pre-integration testing Make integration testing time more productive – no logic errors in software During integration, if software changes are required If software changes are required Make the changes Re-run the pre-integration test to ensure no errors were inadvertently entered Resuming integration testing

Fault Management Viewer (FMV) NASA SBIR Phase I Project To address some of the difficulties of planning fault management for autonomous systems Helps to collect relevant information into specialized views for key fault management analyses One data model for the project – Multiple viewer/editors for the same data 11/14/201811/14/2018

FMV System Concept 11/14/201811/14/2018