PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Integrating SPOTS to UML for real-time distributed systems

Yunming WANG
( chinoise )

IRISA
app. 210 L 32, Rue Mirabeau 35700, Rennes France
tel: 02.99.84.25.04
fax: 02.99.84.25.28
ywang@irisa.fr

Keywords:

analysis/design distribution formal calculus real-time UML statechart

Abstract:

The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism to distribute a synchronous system over asynchronous networks. Meanwhile, UML is also becoming a standard framework of object-oriented methodologies. Our research aims to take advantage of these rich backgrounds by integrating a synchronous pivot called SPOTS (Synchronous Pre-Order Transition System) into UML and to propose a new methodology for the development of real-time distributed systems. In this methodology, we will use UML notions, especially those of class diagrams and deployment diagrams to specify the architecture of the desired system, and statecharts to specify the behavior of objects. Then these different diagrams are translated to, and integrated by the synchronous pivot SPOTS. We can then hierarchize SPOTS to perform consistency check, formal verification, code generation and optimization. What's more, by checking some good properties of SPOTS, a synchronous system can be correctly distributed over asynchronous networks.

The PhD work started: 11/03/98

The participant will apply for the
upcoming ECOOP PhD Workshop.

NO HTML3
NO JAVA

 

Last modified on Mon Aug 15 14:59:24 2005