CPSC 371 John D. McGregor Session 28 …..

Specification and design problem solution specification implementation specification

Driver in or out of the system What does having humans in the system as opposed to outside the system change about requirements solicitation?

CAS content/uploads/2013/01/Dahm-AIAA AIAA-Aerospace-Sciences-Keynote.pdf

SEBok oKv1.3_full.pdf

/StateStrategy.pdf aviour_Annex1.6.pdf

metrics Descriptive metrics – # of requirements – # of actors – … Prescriptive metrics – Next slide

Qualities of requirements model Correctness Completeness Consistency Verifiable Validatable How do we evaluate each of these?

Completeness - Traceability Matrix Manual/automatic maintenance

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 11 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

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 12 Runtime Consistency: Data Safety, Latencies, Buffer Overflow, Resource Sharing, Data Ordering, etc. Mathworks 64-bit Unix pi = pi = Mathworks 32-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 13 Solid models Hyd power supply BSCU Accumulator AADL-SysML models

s/WorkUnits/Tasks/QualityEngineering/Qualit yControl/RequirementsEvaluation.html~Conte nts

src=s&source=web&cd=1&ved=0CCAQFjAA&u rl=http%3A%2F%2Fasterweb.jpl.nasa.gov%2F paa%2FProtectedAreaArchiveOverview-- Compressed.ppt&ei=kNZzVI_hDYGnNtCAgtAO &usg=AFQjCNHScLKCpl8J2WBB8By1Nm84syT 9OA&bvm=bv ,d.eXY

“Test” the requirements Select scenarios to sample over stakeholder roles Have stakeholders write scenarios to validate the requirements Verify the requirements by using the scenarios on the design

What does it mean to … Infect Propagate

Coverage?

Car OBD Phone Cloud