download - SPES 2020
download - SPES 2020
download - SPES 2020
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Viewpoint „Functional“<br />
Modellierungsziele<br />
• Integration der funktionalen Anforderungen in eine umfassende Systemspezifikation<br />
• Präzise Modellierung des Black Box Verhalten an ein System<br />
• Modellierung von Abhängigkeiten zwischen funktionalen Anforderungen<br />
Modelle<br />
Unterstützte<br />
Aktivitäten<br />
Black Box Sicht<br />
(aus VP RE)<br />
User<br />
SensorSignal<br />
«flow»<br />
UserInput<br />
«flow»<br />
Env ironment<br />
«flowPort»<br />
SensorSignal<br />
«flowPort»<br />
UserInput<br />
Zylinderkopffertigungsanlage<br />
Crane2 (extern) Crane1 (extern)<br />
«flowPort»<br />
SystemOutput<br />
Deliv eryBand (extern) SupplyBand (extern)<br />
«flowPort»<br />
Crane1ActionSignal<br />
«flowPort»<br />
Crane2ActionSignal<br />
«flowPort»<br />
DeliveryBandSignal<br />
«flowPort»<br />
SupplyBandSignal<br />
SystemOutput<br />
«flow»<br />
Crane1ActionSignal<br />
«flow»<br />
Crane2ActionSignal<br />
«flow»<br />
DeliveryBandSignal<br />
«flow»<br />
SupplyBandSignal<br />
«flow»<br />
Projektion<br />
System Funktion<br />
• Validierung von Anforderungen<br />
• Generierung von Testfällen und Verifikationsbedingungen<br />
• Funktionale Prototypen<br />
Funktions-Hierarchie<br />
8