1. Helicopter Hover Control VDM1-project F10 Lasse, Christian, Frederik

2. Since last time… Further requirements Initial class diagram 2

3. Further requirements Environment simulates change in position or angle to the respective sensor Environment is notified when system has reacted to change in environment 3

4. Initial class diagram 4

5. Level of abstraction Pitch and roll Rotor angle RPM 5

6. Next time Combined VDM++/UML model ? More extensive class diagram Start VDM++ modelling Further requirements 6