DFD extended methods for specifying hybrid systems

An experience in using methods for the software development of hybrid reactive systems is proposed in this paper. Two main methods are considered: SA-RT, and state-chart/activity-charts. The approach is focussed more on SA-RT but can be translated to state-charts. It is proposed how to specify hybrid systems, merely the discrete event part that can be specified either through control or through primitive process. Conditions and rules are proposed and discussed. The work is illustrated through control specifications of manufacturing systems as a case study. An attempt for improving the formal basis is proposed