Architecture Modeling - SPES 2020

Architecture Modeling
Figure 5.12: Technical Perspective – Device Level
cases, the guarantee is that the corresponding signals are forwarded via the meterValve output
port with a certain value range. The strong assumption assures that either dataIn1 or
dataIn2 delivers a meterValve value in a given value range.
The realize-link from the technical perspective of the System Level to the same perspective
on the Device Level is depicted in Figure 5.13. This link again may be validated using a virtual
integration test.
5.1.3.3 Proving Allocation for the Realtime Aspect using Virtual Integration Testing
In this section, we will show an example for validating an allocation-link using a virtual integration
test for the realtime aspect. In Figure 5.14 on the left hand side a snapshot of
the logical perspective at Device Level is depicted with one logical component namely the
MeterValveActuator with its in- and output ports. This component has a satisfy-link
to the contract C2.1.
C2.1 claims that, under the strong assumption that the BSCU control signal lies within
certain bounds, the reaction of the meter-valve actuator must occur within 5 milliseconds.
81/ 156