1. John D. McGregor Android Apps
CPSC 372
John D. McGregor
Android Apps

2. 2nd exam
2nd exam Nov 3rd

4. Verify

13. system requirements Supplier1
system requirements Supplier1.ADC : "Requirements for the Air Data Computer (ADC) subsystem of the Flight Guidance System"
for Integrator::FGS::ADC::Spec::AirDataComputer
[ val ADC_MaxWeight = 7.0 kg
val ADC_PowerBudget = 1.5 W
requirement R1 : "Weight Limit" [
description "The weight of the Air Data Computer (ADC) subsystem
shall not exceed "
ADC_MaxWeight]
requirement R2 : "Power Budget" [
description "The power needs of the Air Data Computer (ADC) subsystem
ADC_PowerBudget ]
requirement R3_1 : "Internal-Computing Self Sufficiency" [
description "The software internal to the Air Data Computer (ADC) subsystem
shall not require any computing resources external to the ADC."]
requirement R3_2 : "External-Computing Self Sufficiency" [
description "The Air Data Computer (ADC) will not make any
computing resources available externally."
] ]

14. verification plan ADCVplan for Supplier1.ADC[
claim R1 [
activities
weightlimit: Plugins.MassAnalysis() ]
claim R2 [
powerbudget: Plugins.ElectricalPower()
claim R3_1 [
InternallySelfSufficient: AircraftExampleRegistry.NoExternalCPUDemand()
claim R3_2 [
ExternallySelfSufficient: AircraftExampleRegistry.NoCPUCapacityForOthers()

15. MVP/MVC

16. Here’s what you are going to do
AADL model of MVP and MVC
Tests for the reqspec requirements using Verify
Commit summary by Oct 31st 11:59pm