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. The 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.