Cyclic scheduling, formal methods and information modelling

As real-time control engineering requirements become ever more demanding, and as post-emergent technologies become a manufacturing possibility, the engineer is forced to seek new methods of analysis and design to maintain the efficiency and quality of the real-time software development process. This article discusses how techniques originating in the field of information modelling are being successfully developed for the design and verification of flight safety-critical software systems.