Download Guided Tour

GUIDED TOUR DEMONSTRATION OF THE TOOLS
Table of Contents
1
Overview ................................................................................................................................ 5
2
Reviewing the SysML Model................................................................................................. 6
3
Importing the Model............................................................................................................. 13
4
Applying Patterns to the Model............................................................................................ 20
5
Exporting the Model............................................................................................................. 42
6
Verification of the Final Avionics System ........................................................................... 50
7
Using the Lute Structural Checker ....................................................................................... 51
8
Using the AGREE Model Checking Tool ............................................................................ 54
8.1 Removing Leader Selection Agreement ........................................................................55
8.2 Allowing Immediate Re-failure .....................................................................................56
8.3 Increasing ADS Max Pitch Delta...................................................................................57
© Copyright 2011 Rockwell Collins, Inc.
All rights reserved.
2