Priority management in Alvis language

摘要

Priority management is crucial to the development of correct real-time systems. Applications of formal methods in the development process require to choose a suitable formalism that is capable of dealing with different priority management algorithms. The paper deals with priority management in the Alvis modelling language. One of the advantages of Alvis is its Haskell middle-stage representation that can be freely modified by a programmer. This provides an opportunity to include a user-defined algorithm for managing priorities into a model. The paper shows how such algorithms may be implemented and included into Alvis models.