| AADL-text | AADL-XML |
| Wheel_rotation_sensor | “wheel_rotation_sensor” |
| Wheel_pulse | “wheel_pulse” |
| Features | |
| Device | DeviceType name |
| data port | DataPort name |
| in | Direction=”in” |
| out | Direction=”out” |