Francesco Pupo

Learn More
This paper is concerned with the software development of distributed real-time measurement systems. Major goals are modularity, reusability and independency from hardware devices, processors and comunications networks. A light-weight architecture for real-time (DART) is proposed which delivers a systematic methodology centred on object-oriented techniques.(More)
This paper describes a modelling language –Rainbowbased on Coloured Petri Nets, which was designed for modelling and simulation of complex systems. The formalism uses Java as the net annotating language. The timing model permits different policies to be associated with places which affect the token binding process. A graphical tool was achieved in Java(More)
This paper proposes a methodology for the development of distributed real-time systems. The methodology consists of the Hierarchical Communicating Real-Time State Machines (H-CRSM) modelling language, and the Violin toolset. H-CRSM combines Statecharts constructs with CSP-like timed communications. Violin provides a visual environment supporting in a(More)