1. CPSC 371 John D. McGregor Session 27 State

3. Specification and design problem solution specification implementation specification

4. Driver in or out of the system

5. CAS http://sdsi.asu.edu/wp- content/uploads/2013/01/Dahm-AIAA-2013- AIAA-Aerospace-Sciences-Keynote.pdf

6. http://userpages.umbc.edu/~tarr/dp/lectures /StateStrategy.pdf http://aadl.sei.cmu.edu/aadl/documents/Beh aviour_Annex1.6.pdf

7. Types of consistency

8. Shape Physical Geometry What is SAVI Consistency? AFE 59S1 – 6 types of consistency – Interface – Compositional – Constraint – Behavioral – Version – Verification 16 October 2013 Executive Board Meeting – Aerospace Valley 8 PNP or NPN Junction Altimeter Avionics Model Speed Indicator Landing Gear Model Weight on Wheels Switch Ground Proximity Warning System Radio Altimeter On Ground In Flight Engine Indication and Crew Alerting System Air/Ground Signal

9. What is SAVI Consistency? AFE 59S1 – 6 types of consistency – Interface – Compositional – Constraint – Behavioral – Version – Verification AFE 61 – 8 types of consistency – Data Value Type Semantics Metadata – Model Property Semantics Metadata Behavior 16 October 2013 Executive Board Meeting – Aerospace Valley 9 Runtime Consistency: Data Safety, Latencies, Buffer Overflow, Resource Sharing, Data Ordering, etc. Mathworks 64-bit Unix pi = 3.1415927 pi = 3.14159265358979323846 Mathworks 32-bit Windows Signal connectivity analysis doesn’t need wiring length but signal latency and jitter analysis does.

10. SAVI Consistency Checks 16 October 2013 Executive Board Meeting – Aerospace Valley 10 Solid models Hyd power supply BSCU Accumulator AADL-SysML models

11. http://sdsi.asu.edu/wp- content/uploads/2013/01/Dahm-AIAA-2013- AIAA-Aerospace-Sciences-Keynote.pdf