Model-based generation of SDL specifications for the early prototyping of reactive systems

During the development of software systems the number of faults can significantly be reduced by prototype-based validation and verification. Therefore, if prototypes can be made available early in the software development process, the costly removal of faults in later stages of development can be reduced. In this paper, a prototyping approach for supporting the development of reactive systems is presented. This approach proposes the generation of prototypes from semi-formal development documents, which are predominant during. the requirements engineering phase. To perform this generation step in a systematic manner, a formal model is employed that describes all types of development products and their relations for a given requirements engineering method. Further, the application of this approach for an efficient iterative development process that is based on document generation is outlined.