Global platform state for volatile inputs

[jklmnn]

Currently the global platform state is modelled by Platform_State This state however is not volatile. Some inputs, e.g. a timer require Async_Writers to be modelled correctly. This could be solved bei either extending Platform_State with an external state if this doesn't collide with other functions or by introducing a separate volatile platform state.