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

Since last time… Further requirements Initial class diagram 2

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

Initial class diagram 4

Level of abstraction Pitch and roll Rotor angle RPM 5

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