Application name:

Electricity meter EuroTri

Organisation:

Schlumberger-Industries

Method:

Synchronized Transition Systems, RMA

Tools:

Mec 3.0, Excel 5

Domain:

Miscellaneous

Period:

Project began fall '92 and ended (first version of the product) spring '94.

Size:

About 25 man months.

Description:

The meter is an embedded real-time system offering such features as various dynamic tariffs, distant measuring and reprogramming, on a distributed system (two low-level processors). Formal methods have been part of the project since the very beginning and the academic team has been strongly implied in the development process. RMA has been improved and coupled to transition systems and Ada prototyping.

Conclusions:

The methods used were well accepted by production engineers, as transition systems (automata) are familiar objects and the synchronous frame relevant for electronicians. The deadlines of the project have been met, and the quality of the product established: straighforward testing and certification.

Publications:

a PhD. has been presented and some papers published or under way.

Contact:

Name:	Didier Begay
Organisation:	LaBRI - Universite Bordeaux 1
Address:	351 cours de la Liberation, 33405 Talence Cedex
Country:	France
Phone number:	+33 (56) 846083
Fax:	+33 (56) 848412
E-mail:	begay@labri.u-bordeaux.fr

© copyright 2004 | Formal Methods Europe