CPSC 371
John D. McGregorSession 27
State
Specification and design
problem
solution
specification
implementation
specification
Driver in or out of the system
CAS
• http://sdsi.asu.edu/wp-content/uploads/2013/01/Dahm-AIAA-2013-AIAA-Aerospace-Sciences-Keynote.pdf
• http://userpages.umbc.edu/~tarr/dp/lectures/StateStrategy.pdf
• http://aadl.sei.cmu.edu/aadl/documents/Behaviour_Annex1.6.pdf
Types of consistency
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 FlightEngine
Indication and Crew Alerting
System
Air/Ground Signal
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.
Mathworks64-bit Unix
pi = 3.1415927 pi = 3.14159265358979323846
Mathworks32-bit Windows
Signal connectivity analysis doesn’t need wiring length but signal latency and jitter analysis does.
SAVI Consistency Checks
16 October 2013 Executive Board Meeting – Aerospace Valley 10
• Solid models
Hyd power supply
BSCU
Accumulator
• AADL-SysML models
• http://sdsi.asu.edu/wp-content/uploads/2013/01/Dahm-AIAA-2013-AIAA-Aerospace-Sciences-Keynote.pdf
Top Related