A methodology and environment for the object oriented analysis and design of real time systems

PROTOB, a methodology based on an object-oriented formalism for the executable specification of event-driven systems is presented. The PROTOB formalism integrates and extends SA/RT dataflows and Petri nets. PROTOB applies the operational paradigm to the software life cycle: its software models are executable and directly translatable into C or Ada code. It is supported by a fully tested CASE (computer-aided software engineering) environment which consists of several tools supporting specification, modeling, simulation, and prototyping activities. As its major application area, PROTOB addresses the object-oriented analysis and design of large-scale, event-driven systems such as real-time embedded systems, communication protocols, distributed systems, and automated manufacturing control systems. An example of its application is presented. The automatic generation of the whole code of an embedded system running on a Motorola 68000 chip has been performed by the supporting CASE tool