The Use of Z Language for Multimedia Systems

Abstract

Recently, there is a growing trend towards the use of multimedia in software systems for different purposes and safety critical systems are no exception to this. But reliability of safety critical systems is a serious concern. Formal methods have proven their worth in enhancing the reliability of the software in this regard. Z specification language is one such widely used formal specification language. But unfortunately Z language has not been used yet to specify multimedia contents. The integration of multimedia content in safety critical systems has necessitated the multimedia extensions in Z language. In this paper, we explored the opportunity of using formal methods for multimedia systems. We had also specified some of the multimedia contents in Z specification language.