smart-home-hub-example/SmartHomeDesignSpace.sysml at main · sensmetry/smart-home-hub-example · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
package SmartHomeDesignSpace {
    doc
    /* Architecture design space for the Smart Home Hub product family. */

    private import ArchitectureDesign::*;
    private import SmartHomeLibrary::ActionDefinitions::*;
    private import SmartHomeLibrary::PartsLibrary::*;

    #architectureDesignSpace part smartHomeHub {
        doc
        /* Smart Home Hub design space.
         * A hub provides connectivity, environmental sensing, status display,
         * power, and optionally voice control.
         */

        action provideWifi : ProvideWifi [1];
        action provideZigbee : ProvideZigbee [0..1];
        action provideBluetooth : ProvideBluetooth [0..1];
        action senseTemperature : SenseTemperature [0..1];
        action detectMotion : DetectMotion [0..1];
        action detectContact : DetectContact [0..1];
        action displayStatus : DisplayStatus [1];
        action providePower : ProvidePower [1];
        action provideVoiceControl : ProvideVoiceControl [0..1];

        part wifiRadio : WifiRadio [1] { perform smartHomeHub.provideWifi :>> provideConnectivity; }
        part zigbeeRadio : ZigbeeRadio [0..1] {
            perform smartHomeHub.provideZigbee :>> provideConnectivity;
        }
        part bluetoothRadio : BluetoothRadio [0..1] {
            perform smartHomeHub.provideBluetooth :>> provideConnectivity;
        }
        part tempSensor : TempHumiditySensor [0..1] {
            perform smartHomeHub.senseTemperature :>> senseEnvironment;
        }
        part motionSensor : PIRMotionSensor [0..1] {
            perform smartHomeHub.detectMotion :>> senseEnvironment;
        }
        part contactSensor : MagneticContactSensor [0..1] {
            perform smartHomeHub.detectContact :>> senseEnvironment;
            ref #needsAction action references provideZigbee;
        }
        part lcdScreen : LCDScreen [0..1] { perform smartHomeHub.displayStatus :>> displayStatus; }
        part ledIndicator : LEDIndicator [0..1] {
            perform smartHomeHub.displayStatus :>> displayStatus;
        }
        part acAdapter : ACAdapter [0..1] { perform smartHomeHub.providePower :>> providePower; }
        part batteryPack : BatteryPack [0..1] {
            perform smartHomeHub.providePower :>> providePower;
        }
        part alexaModule : AlexaModule [0..1] {
            perform smartHomeHub.provideVoiceControl :>> provideVoiceControl;
            ref #needsAction action references provideWifi;
        }
        part googleModule : GoogleAssistantModule [0..1] {
            perform smartHomeHub.provideVoiceControl :>> provideVoiceControl;
            ref #needsAction action references provideWifi;
        }

        #evaluationOutput attribute totalPowerConsumptionW {
            doc
            /* Total power consumption to minimize. */
            redefines role = OutputRole::MinimizationObjective;
        }

        #evaluationOutput attribute unitCostUSD {
            doc
            /* Unit manufacturing cost to minimize. */
            redefines role = OutputRole::MinimizationObjective;
        }

    }
}