Author: Marcel Verhoef and Bert Bos and Ken Pierce
This example shows the discrete event model used for
co-simulation of the ChessWay personal people mover
as used in the DESTECS project (see http://www.destecs.org).
It reflects the status of the model which is mentioned
in the paper <I>A Formal Approach to Collaborative Modelling
and Co-simulation for Embedded Systems</I> which is submitted
to the Journal Mathematical Structures in Computer Science.
The corresponding continuous time model is available
through the first author.
Language Version: vdm10
Entry point : new World().RunVdmRt()
¤ Dauer der Verarbeitung: 0.37 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
