Domain Modeling, Verification, and Validation
Back to Intro
Car
Forward Collision Alert
abstract fca
xor sensor
radar
lidar
Cruise Control
abstract cc
switches 2..3
backlight ?
acc ?
Specialization
Partial product configuration
Module Statistics:
|
All clafers: 17 | Abstract: 4 | Concrete: 13 | Reference: 0 | Constraints: 5 | Goals: 0 | Global scope: 1..* | Can skip name resolver: no
|