Model-Based V&V Planning
Alejandro Salado
Kayser-Threde GmbH
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
What do verification engineers
do?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Not really…
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Verification activities
Contractual strategy
Influence architecture
Plan verification
Execute verification
Defend completion
VCD
A day in my past life…
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Reqs
System Spec
Verif. Reqs
IVF
AIV flow
Schedule
Decision File
Test Spec
Support Docs System
Config
Test Proc
Test Report
MOMAI
My boss understood it!
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
And IT too!
Inconsistent information
Outdated information
Recurrent updates
Task repetition
Multiples sources of information Model on documents
Manual reproduction
Time demandingText to
substitute model
Manual propagation of changes
Loss of attention to open issues
Time demanding
Error prone
Lack of information linkage
ROI
INT-001
Req.1 Req.3Req.2 GSE a GSE b Risk 4
Part 2 Part 7 Plan 3
Heaven would be…
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Inheritance
Direct sharing
INT-001
Part 2 Part 7 Plan 3
Req.1 Req.3Req.2 GSE a GSE b Risk 4
Model-… what?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Document-centric
Document-based
Document-centric
Model-based
Model-centric
Model-based
Model-centric
Document-based
From MBSE to MBSI!
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Design Integration Test
Modelling
MBSE
MBSI
[Montgomery, 2012]
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Function
1
Function
2
Function
3
Function
4
[Montgomery, 2012]
In conceptual phase, again…
Objectives
Seamless collect and integrate data
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Automate documentation generation
Seamless transfer information
Model flows and activities
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
I&T activity
Verification requirement
System requirement
Component
Standard/regulation
Test config
Product
Risk
Workforce
Facilities
GSE
Open issueAction item
Test item
decomposes
decomposes
decomposes
decomposes
generatesgenerates
generates
generates
consumes
consumes
consumes
executes
verifies
refines
specifies
instantiates
employs
employsinputs
outputs
formed by
formed by
inputsoutputs
generates
generatesimpactsimpacts
impactsgeneratesresolves
Inputs, Outputs, & Resources
Components Vs. products
Basic constructs
to construct the model
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Dictated sequence by activity
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Dictated sequence by input
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Dictated parallel activities
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Dictated parallel activities
triggered by input
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Come on, show me how it is
used in real-life!
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Thermal-Vacuum Test
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Pre-environmental tests
Apply vacuum
Survival heating Apply thermal
control
Single HC Simple
functional Simulated
operation
Post-environmental tests
But this is a tiny part…
Look at integrated data, that’s
the THING!
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Integration & Verification Flow
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Integrated Spec-Plan-Procedure
Analyses are also needed
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Why don’t simulate it?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Automatic current schedule
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Who talks to who?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Automated WBS/WPD
Consistent WPD
Sensible WBS
Seamless Test Specification
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
But, do we get better?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Decision tracking
Automated activities improve
efficiency and effectiveness
Status reporting
Document generation
Integrated work
Information accessibility
What’s next?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Expand information model
Formalize integration into SysML
Measure effectiveness
Take away…
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Mechanical engineering
Systems engineering
Pencil and paper MS Office
CAD MBSE
What can we learn?
23rd Annual INCOSE International Symposium - Philadelphia, PA – 24-27 June, 2013
Open for questions
Hold the tough ones…