A design methodology for real-time systems to be implemented on multiprocessor machines

This paper describes a design methodology of real-time systems to be implemented on multiprocessor machines. This methodology is different from current methodologies and serves to help manage the complexity of massive-intensive systems. One of the distinguishing aspects of this methodology is in its ability to express timing constraints and verify if such constraints are met. A second distinguishing aspect of this methodology is that it can decompose the life cycle into six stages, according to five views of systems and can propose how to transform the results from one stage to another. In particular, this methodology proposes how to transform the functional structures and behavioral diagrams into parallel programs. A third distinguishing aspect of this methodology is to apply multilevel specification in the system development process. The proposed methodology is applied to the development of the generation of the transfer frames of CCSDS recommendations. In this context, a lab grade prototype is constructed, using transputers and Occam. This simulator is able to provide the transfer frames which comply with the CCSDS recommendations and are identical to the transfer frames which are produced by an on-board generator.