Application name:

Chemical Tanker Load Balancing

Organisation:

Helintec S.A., Athens, Greece (with consultancy from Cap Gemini Nederland B.V.).

Method:

VDM-SL, VDM++.

Tools:

The IFAD VDM++ Toolbox, Venus.

Domain:

Information systems

Period:

1995

Size:

?

Description:

Loading of ships carrying liquid cargo, chemical carriers in particular, is a difficult problem as it requires simultaneous satisfaction of a multitude of quantitative and qualitative constraints. Quantitative constraints concern stability and strength values that should not be exceeded in order to guarantee a stable, upright floating condition and keep stresses of ship structural components within acceptable limits. Qualitative constraints are compatibility requirements between cargo and shipboard equipment (tank coatings) or between cargo items stored in adjacent tanks and constraints imposed by international authorities (IMO, MARPOL) to prevent pollution of the sea environment that might be caused by spilling of chemicals.

Conclusions:

None so far.

Publications:

"Venus Now Goddess of the Seas?". I&T Magazine (published by the European Commission, DG III and DG XIII). No. 19. pp. 22-25. April 1996.

Contact:

Name:	Dr. A. Koumbis
Organisation:	Helintec S.A.
Address:	Alkyonis 16 GR 175 61, P. Faliro
Country:	Greece
Phone number:	+30 (1) 9886583
Fax:	+30 (1) 9885651

© copyright 2004 | Formal Methods Europe