24
EMSD Technology Conference CxP Software Topics

EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

EMSD Technology Conference

CxP Software Topics

Page 2: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

2

EMSD Technology Exchange

Software Topics

! CxP Software and Autonomy Technology Needs,

• Presented by Ron Morillo

! CxP Mission Operations Technology Needs

• Presented by Ernest Smith

! CxP Integrated Build Tool Concepts

• Presented by Leslye Boyce

! CxP Verification, Validation and Accreditation Concepts

• Presented by Randy Wallace

Page 3: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

CxP Software and Autonomy

Technology Needs

Ron Morillo

SAVIO Software

11/14/2007

Page 4: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

4

Software technology drivers

! The Constellation Program is interested in software technologies

that support the following program objectives:

• Build safer software-intensive systems

" Mitigate common cause failures

• Reduce development and schedule risk

" Manage the size and complexity of software interactions in all the phases of the

life-cycle.

• Improve fault detection, isolation and recovery techniques

• Lower operational and maintenance cost.

• Enable the move to greater on-board autonomy

" Intelligent human-in-the-loop automation

• Improve system performance analysis.

" Timing, trending, forecasting

Page 5: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

5

Specific SW technologies of interest - 1

! Requirement Maturation:

• Ontology systems to determine precise meaning of requirements, avoid

possible (mis)interpretations and determine completeness of the

requirement set.

• Requirement analysis for inconsistencies and contradictions

" Many software-related mishaps, including common cause failures, trace back to

incomplete or missing requirements

! Design/Architecture:

• Capture the design knowledge once; use it to code, test and verify, operate

the system

• Physical and behavioral models that capture system properties,

cause/effects, environment and interactions:

" Quantify the complexity of SW code and interfaces

" Improve model-based analysis and verification, testability and timing analysis.

• Investigate the true bounds of dissimilar software design.

• SW fault containment concepts.

Page 6: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

6

Specific SW technologies of interest - 2

! Autonomy and FDIR:

• Adjustable levels of autonomy and FDIR.

• Technology for onboard Decision Support and Expert-guidedtroubleshooting to crew/ Ground.

• Tie diagnostic/prognostic tools to on-board reconfiguration managers and/orintelligent controllers.

• Within tight timing constraints:

" Minimize false alarms, diagnosis ambiguity.

" Detect trends

" Assess failure severity for C&W.

• Better forecasting capability (of system degradation, of remaining useful life,of impending failure..)

• Re-planning following a failure:

" Decompose high-level objectives onboard, incorporate locally determinedinformation (situational awareness) and create an new execution plan.

• When autonomy meets imperfect information: inductive reasoningtechniques for managing certain degree of data inconsistency, limitedknowledge or uncertain symptoms; models that manage imprecision anduncertainties

Page 7: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

7

Specific SW technologies of interest - 3

! SW implementation:

• Code analyzers and compliance rule checkers

• Auto coding of critical software functions

! SW Verification and Validation:

• Targeting specific tests towards mitigating specific classes or types of

software defects.

• Error injection, tracing and analysis technology

• Model-based analysis for validation of safety-critical software designs.

• Test suite generation, including behavioral coverage of safety-critical

software functions.

• Advanced Validation Testing that determines failure boundaries and

margins for safety-critical functions.

• Auto code tools for state estimation, data analysis and to streamline the test

activity.

• Verification and validation of autonomy and automation functions

implemented in flight computers.

Page 8: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

8

Specific SW technologies of interest - 4

! Software reliability

• Quantifying the software risk contribution to the total risk in a system.

• Modeling software failures.

• Mature the technology of predictive SW/system reliability models validating

these models with operational data.

Page 9: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

Mission Operations Overview ForTechnology Needs Assessment

Ernest Smith

Mission Operations Directorate

Page 10: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

10

Mission Operations Overview ForTechnology Needs Assessment

• Mission Operations at Johnson Space Center is preparing for our supportto the Constellation Program

•Major mission operations systems upgrades/development include the Mission ControlCenter Systems, the Cx Training Facilities, Mission Ops Reconfiguration System, andFlight Design Applications

• Technologies areas we require include those related to:

•Autonomy applications related to mission operations

• Integrated Systems Health Monitoring tools

•Software development tools (especially JAVA enterprise technology and Workflowtools)

•Data mining/knowledge management

•CFDP compatible tools for file transfers (CCSDS-based implementation of FTP)

•Mission monitoring (telemetry and command) tools and applications

•Scheduling tools

•Training support applications and simulations technologies for both stand-alone part-task trainers and full capability simulations of vehicle systems

• We have partnered with Ames for the past 2 years on technology infusionprojects to enhance efficiency and capability associated with ourplan/train/fly capabilities within Mission OPS, but are interested in othersources for technology infusion

Page 11: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

Constellation Program

Integrated Build

ESMD Technology ExchangeConference

Nov 2007

Leslye Boyce

(850) 894-1761

[email protected]

Page 12: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

12

Phased Development Activities

! Key enablers for process include• Planned – Phased Delivery of System Software

from Projects

• Reduction in Software Build Cycle Times toreduce risks

• Identification and specification of InfrastructureSupport Tools

• Distributed, Early Interface Testing for designvalidation, risk reduction and Hardware/SoftwareIntegration

! CxP Integrated Software Planning is acomplex task that requires a time phaseapproach and build up of capabilities• Builds on multiple System Baselines as time

phased capability is developed, integrated andverified (Qual. + Accept.)

• Maintains & integrates multiple SystemBaselines during concurrent Architecturaldevelopment

• Provides Increment buildup of capability basedon mission objectives

Page 13: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

13

IOS

Project C

Build X.YProject B

Build X.Y

DSIL

Project A

Build X.Y

CxP

Planning & Coordination

Risk Mitigation

M&S

Capability

TR’s

SILs

Delivery

Plans/Products/

VCNs

M&S

Capability

Procedures,

Facility Use

Risk buy down tests

Interconnectivity,

Scheduling,

coordinating

Reqt’s,

Verification

Reqt’s

Validation

Scenarios

Verification and Validation Interactions

IRD’s

CARD

DRM’s

ConOps

TR’s

Integrated

Master

Schedule

SIG’s

S&A Delivery

Schedule

PRACA

Discrepancy

Reporting

Page 14: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

14

Requirements Highlights

! The IBT is the authentic source for all software, associated data and

meta data for the CxP

! The IBT supports the planning, tracking, submittal, and distribution of

software and data between the various Constellation projects and

elements

! The IBT supports the decisions and manages the activities for the

Computing Systems Control Panel as directed by the Constellation

System Engineering Control Board

! The IBT supports the planning and tracking for System Integration Plan

Page 15: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

15

CLV

CLV

Registry

CEV

Registry

CLV Information

GS

Registry

MS

Registry

CEV

Information

MS

APPL

S/W Storage

GS

APPL

S/W Storage

APPL

S/W Storage

IBT

APPL

S/W Storage

APPL

S/W Storage

CEV

APPL

S/W Storage

Integrated Information

Delivery

Ground Systems

Information

Mission

Systems

Information

CxP

Registry

Software

CMD List

TLM Avail

Vehicle Metadata

SoftwareCMD List

TLM AvailVehicle Metadata

TLM SelectionI-Loads

Windchill CRADLE

Primavera ARM

PRACA

ICE

Others

DSIL

Page 16: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

16

Desired End-State Captured in the SIP

Focused Look at ISS IOC - Draft

Design Synthesis Initial Operational Capability Full Operational Capability

ISS Program Phase

VAC VAC VAC

GT GT GT Stack FEIT

VV&AVV&A

Ares 1-Y

VAC

GT GT GT Stack FEITOrion 1

GT GT GT Stack FEIT

VV&A

MEIT

Ares 1-X

… …

LOC/LOM

Crew Survival

C3I

Flight Rate

GPS Metric Tracking

Safe Design

Ec, Ep, Pi

Orbital Debris

Imagery

Operability

D&C Stds

Interfaces

Ares

Orion

GO

MO

EVA

DSIL

MS&DA

Pro

ject/

Wh

at

is p

rovid

ed

Th

read

s/W

hat

is n

eed

ed

Tem

pla

te/F

ram

ew

ork

GT6

GT9

GT7

VA1 VA2

VA3GT1FLT

VA8GT5 FLT

GT10 GT11 VA17

VA9 VA10

VA12VA11

VA13

VA16VA15VA14

VA5 VA6 VA7

GT2 GT3 GT4 VA4

SIP to provide the Template

or framework to provide

anchors for all

Develop the Integration and

verification strategies using

the above framework by

working right to left to

determine the what

Gather the project build

plans to see what is

provided

Integration is complete when

the what is needed and

when it is need matches

what is provided and when it

is provided

Orion 2

IOC

CoOR

Each Mission will have an assessment to

generate the final information needed to

satisfy their respective CoFRs. The results

for each will drive the larger integration

phase/system assessments

CoFR

Using the anchor

points, vertical and

horizontal

assessments can

be done to drive

the integration

GT8

PDR CDR

Pad

Abort

FLT

Horizontal Integration

Vert

ical In

tegra

tion

Documented in the SIAP

Documented in the flight test strategy

DGT DGT

CoFR

CoFR

DGT1

DGT1

DGT1

DGT1 DGT2

DGT1 DGT2

DGT1 DGT2

PFA

PFA

PFA

Intg Phase

Page 17: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

Modeling and Simulation

Verification, Validation and

Accreditation

ESMD Technology ExchangeConference

Nov 2007

Randy Wallace

(256) 544-2940

[email protected]

Page 18: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

18

NASA M&S Environment

! Over 400 existing simulations

! Various conditions

! Numerous development efforts

! Over 700 identified needs for M&S

! Compressed schedules

Page 19: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

19

ACCREDITATION

The official acceptance of a model or simulation or federationof models and simulations and its associated data to use for aspecific purpose… Should it be used?

VALIDATION

The process of determining the degree to which a model [orsimulation] and its associated data provides an accuraterepresentation the real world from the perspective of theintended uses of the model or simulation… Did we build theright thing?

VERIFICATION

The process of determining that a model [or simulation]implementation and its associated data accurately representsthe developer’s conceptual description andspecifications…Did we build the thing right?

Developer

Verification Agent

“It works as I

thought it

would.”

Functional Expert

Validation Agent

“It looks just like

the real thing.”

“It suits my

needs.”

Requester/User

Accreditation Agent

Verification, Validation, and Accreditation (VV&A):

A process for substantiating the credibility of models and simulations.

M&S VV&A

Page 20: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

20

Benefits of VV&A

! Increase the credibility of M&S used.

! Supports NASA M&S Standard 70009

! Reduce the risks associated with the M&S used.

! Establish a solid understanding of M&S strengths and

weaknesses, and the bounds within which they can

credibly support decision-making.

! Ensure informed decision-making.

! Reliably realize the benefits of simulation

VV&A provides a mechanism to communicate credibility

between M&S developers, analysts and decision makers

Page 21: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

21

A Three Phased NASA Process

M&S VV&APrioritization

Process

Phase 1Initialization

MSDA M&S VV&A Process Objectives

! Document M&S credibility

! Accredit key M&S

M&S VV&A Prioritization

INPUTS VV&A Process OUTPUTS

VV&A Process Resources

! NASA Standard for M&S, NASA-STD-(I)-7009! VV&A Policy (found in IMDD)! VV&A RPG! Integrated Collaborative Environment, M&S Database! Access to M&S tool-developers and Analyst-users ??

•M&S Initial Assessment•Data Analysis Flow Diagram•Accreditation Criteria•Credibility Assessment•ROM for Phase 2 Efforts•Accreditation Memo, orMemorandum of Record

•Accreditation Plan•V&V Plan•Accreditation Memo, orMemorandum of Record

•V&V Report•Accreditation Report•Accreditation Memo, orMemorandum of Record

VV&A Process

Phase 2Planning

Phase 3Execution

• MSSP

• SIAP• IDAC/Schedules• M&S Plans

M&S NeedsProducts per M&S ToolPrioritized

VV&A List

Decision

Decision

•TDSs•MVOs

(external)

Decision

Key M&S User ParameterINPUTS

• TPMs• KDPs• Critical params• Data Analysis• Flow Diagrams

User Req’s

How GoodDoes it Needto Be?

• M&S Reqts

• M&S Designs

• M&S Code• M&S Data

• M&S Use

M&S ToolArtifacts

M&S Developer

INPUTS

Artifact Data

HowGoodIs it ?

VV&A Process INPUTS

VV&A

Inputs & Outputs

are stored in MSDB

MSDB

Page 22: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

22

NASA M&S VV&A Needs

! Increased Awareness of VV&A requirements

and applicability

! Tools to automate the verification process

! Consistent information management systems

! Real-world referent data on developmental

systems

! Analysis Standards

! Analysis Recommended Practices Guide

Page 23: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

23

The Fundamental Questions

How

Good

Is It?

Is It

Good

Enough?

&A

VV

Page 24: EMSD Technology Conference CxP Software Topics Topics TEC 2007 1… · Software technology drivers! The Constellation Program is interested in software technologies that support the

24

Contact Information

! Randy Wallace

• M&S VV&S Lead, CxP Software and Avionics

Integration Office (SAVIO)

[email protected]

• 256-544-2940

! Lisa Caine

• Aegis Technologies

[email protected]

• 256-922-0802