1. CPSC 371 John D. McGregor Session 28 …..

3. Specification and design problem solution specification implementation specification

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

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

6. SEBok http://www.sebokwiki.org/w/downloads/SEB oKv1.3_full.pdf

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

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

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

10. Completeness - Traceability Matrix Manual/automatic maintenance

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

12. 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 = 3.1415927 pi = 3.14159265358979323846 Mathworks 32-bit Windows Signal connectivity analysis doesn’t need wiring length but signal latency and jitter analysis does.

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

14. http://myraqa.com/blog/which_v_is_which_

15. http://www.opfro.org/index.html?Component s/WorkUnits/Tasks/QualityEngineering/Qualit yControl/RequirementsEvaluation.html~Conte nts

16. http://www.google.com/url?sa=t&rct=j&q=&e 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.80185997,d.eXY

17. “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

18. What does it mean to … Infect Propagate

19. Coverage?

20. Car OBD Phone Cloud