OneSAF Validation & Verification

Slides:



Advertisements
Similar presentations
Configuration Management
Advertisements

Requirements Specification and Management
System Integration Verification and Validation
Ninth Lecture Hour 8:30 – 9:20 pm, Thursday, September 13
GAI Proprietary Information
PRJ270: Essentials of Rational Unified Process
MIS 385/MBA 664 Systems Implementation with DBMS/ Database Management Dave Salisbury ( )
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
Chapter 15 Design, Coding, and Testing. Copyright © 2005 Pearson Addison-Wesley. All rights reserved Design Document The next step in the Software.
SE 555 Software Requirements & Specification Requirements Validation.
Iterative development and The Unified process
Chapter 9 Database Design
The Software Product Life Cycle. Views of the Software Product Life Cycle  Management  Software engineering  Engineering design  Architectural design.
The database development process
Introduction to Systems Analysis and Design
1 CMPT 275 Software Engineering Requirements Analysis Process Janice Regan,
Introduction to Software Testing
Software System Integration
© 2006, Cognizant Technology Solutions. All Rights Reserved. The information contained herein is subject to change without notice. Automation – How to.
Performance Management Training Governor’s Office of Planning and Budget 1.
Chapter 6– Artifacts of the process
1 Software Testing (Part-II) Lecture Software Testing Software Testing is the process of finding the bugs in a software. It helps in Verifying and.
Rational Unified Process Fundamentals Module 4: Disciplines II.
Software Configuration Management (SCM)
NIST Special Publication Revision 1
RUP Design RUP Artifacts and Deliverables
MD Digital Government Summit, June 26, Maryland Project Management Oversight & System Development Life Cycle (SDLC) Robert Krauss MD Digital Government.
Software Development Cycle What is Software? Instructions (computer programs) that when executed provide desired function and performance Data structures.
INFO 637Lecture #101 Software Engineering Process II Review INFO 637 Glenn Booker.
KS3 Phase4 Client Server Monitoring System October 1, 2008 by Stephen, Seema, Kam, Shpetim.
P1516.4: VV&A Overlay to the FEDEP 20 September 2007 Briefing for the VV&A Summit Simone Youngblood Simone Youngblood M&S CO VV&A Proponency Leader
Software Engineering Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
L6-S1 UML Overview 2003 SJSU -- CmpE Advanced Object-Oriented Analysis & Design Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I College.
Chapter 1 Applying UML and Patterns. The Need for Software Blueprints Knowing an object-oriented language and having access to a library is necessary.
Object-Oriented Software Engineering using Java, Patterns &UML. Presented by: E.S. Mbokane Department of System Development Faculty of ICT Tshwane University.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Verification and Validation — An OSD Perspective — Fred Myers Deputy Director, Test Infrastructure Test Resource Management Center November 4, 2009.
Software Configuration Management (SCM). Product Developer Disciplines One view of the world is that there are three types of activities are required.
Requirements Engineering-Based Conceptual Modelling From: Requirements Engineering E. Insfran, O. Pastor and R. Wieringa Presented by Chin-Yi Tsai.
MODEL-BASED SOFTWARE ARCHITECTURES.  Models of software are used in an increasing number of projects to handle the complexity of application domains.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
Test Strategy Best Practices By Gabriel Rodriguez.
Lecture 13.  Failure mode: when team understands requirements but is unable to meet them.  To ensure that you are building the right system Continually.
Rational Unified Process Fundamentals Module 4: Core Workflows II - Concepts Rational Unified Process Fundamentals Module 4: Core Workflows II - Concepts.
© Drexel University Software Engineering Research Group (SERG) 1 The OASIS SOA Reference Model Brian Mitchell.
CPSC 871 John D. McGregor Module 6 Session 2 Validation and Verification.
Bina Nusantara 19 C H A P T E R SYSTEM CONSTRUCTION AND IMPLEMENTATION.
UML - Development Process 1 Software Development Process Using UML.
Requirement Analysis SOFTWARE ENGINEERING. What are Requirements? Expression of desired behavior Deals with objects or entities, the states they can be.
SwCDR (Peer) Review 1 UCB MAVEN Particles and Fields Flight Software Critical Design Review Peter R. Harvey.
5 September 2002AIAA STC Meeting, Santa Fe, NM1 Verification and Validation for Computational Solid Mechanics Presentation to AIAA Structures Technical.
V-Shaped Software Development Life Cycle Model. Introduction: Variation of water fall model. Same sequence structure as water fall model. Strong emphasis.
Introduction to Software Engineering 1. Software Engineering Failures – Complexity – Change 2. What is Software Engineering? – Using engineering approaches.
Configuration Control (Aliases: change control, change management )
MBSE – Usability Working Group IS2011 Supporting the Emergence of Usability in the Community of practice.
United States Army Combined Arms Center A next generation simulation architecture supporting both Computer Generated Forces (CGF) and SAF operations Provides.
Air Force Institute of Technology
2012 Spring Simulation Interoperability Workshop
Algorithms II Software Development Life-Cycle.
ISA 201 Intermediate Information Systems Acquisition
Level - 3 Process Areas (CMMI-DEV)
Chapter 10 Verification and Validation of Simulation Models
Engineering Processes
Introduction to Software Testing
Georg Umgiesser and Natalja Čerkasova
System Construction and Implementation
Engineering Processes
Software Development Process Using UML Recap
NOTICE! These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
Presentation transcript:

OneSAF Validation & Verification April 2nd, 2009 Ha Ly

Capability Development Process RIB Requirements Version X.Y PLRS A&I Baseline Systems Engineering Change Request Conceptual Modeling Knowledge Engineering Implementation Software Development Integration & Test Integration & Test Build 1 Build 2 Build 3

Implementation Build Cycle Conceptual Modeling Knowledge Engineering 10 Week Builds - CDD - DBD PKAD RIB RA 2 Weeks Design 2 Weeks CUT 3 Weeks SWIT 3 Weeks Code Composites Update ID CUT Review Test Thread Test Thread Scenarios SWIT Review Update Documentation Built baseline tar-ball - Update CDD SRS-PLRS Mapping RA Review - Implementation Document UML Diagrams GUI Mock-ups Peer Design Review TPO Design Review Integration & Test

Hierarchical Test Strategy

TEST ORGANIZATIONS ROLES AND RESPONSIBILITIES

DA Pam 5-11 Verification: the process of determining that an M&S accurately represents the developer's conceptual description and specifications. Validation: the process of determining the extent to which an M&S is an accurate representation of the real world from the perspective of the intended use of the M&S. Accreditation: the official determination that a model, simulation, or federation of M&S is acceptable for use for a specific purpose.

OneSAF V&V Behavior Validation is the process of ensuring that the correct things are modeled. Behavior Verification determines if a behavior’s implementation performs as intended. For OneSAF, “performs as intended” means runtime performance matches the KAKE artifacts.

OneSAF in BCLSE Conducted major, large scale, distributed event using OneSAF as primary simulation. Demonstrated reliability of OneSAF in HLA distributed environment. Demonstrated viability of OneSAF Brigade level clusters for experimentation. Demonstrated ability to net-time, checkpoint and resume major distributed event with OneSAF. Provided PM with lessons learned and PTRs for V3.0 release.

OneSAF in Strategic Choice Study TRAC, with the assistance of PM OneSAF, met the required timelines for the study. 2 months of significant model changes plus data and scenario revisions. TRAC successfully converted four scenarios (2 base case and 2 alternatives) to include new data. Processed over 1600 data files including over 200 entity compositions and over 400 unit compositions. TRAC was able to collect meaningful output data.

OneSAF in: Stryker Modernization study Weapon System Validation Sensor Validation Behavior Validation Terrain Validation Purpose: Inform MBL visitors on Planning, Preparations and Execution efforts to conduct the Stryker Modernization Experiment using OneSAF as the main simulation driver The desired outcome: Results that can be included in Stryker CDD documentation that support specific requirements and are able to withstand AROC and JROC scrutiny.

Behavior Artifacts Component Development Domain Analysis Implementation Design Description Capabilities Description Document Design Domain Behavior Description Source Code Behavior Data Tables Compositions Verification Tests

Methodology Courtesy of TRAC-Monterey

Questions ? Ha Ly Ha.Ly@us.army.mil 407 384 5375