Home About Us Join us What's New

Jens Brandt, University of Kaiserslautern

RailwayCrossing.cbf SDL model as native file for Cinderella.

RailwayCrossing.cif SDL model as CIF file.

RailwayCrossing_cbf.pdf SDL model as viewable PDF file

RailwayCrossing_doc.pdf - Background documentation

To carry out the tests the model was slightly modified:

RailwayCrossing-rev.cbf modified SDL model as native file for Cinderella.

RailwayCrossing-rev.pdf modified SDL model as viewable PDF file

Test Cases

The following files are message seqeunce charts as viewable PDF files:

Testcase_A.pdf

Testcase_B.pdf

Testcase_C.pdf

Testcase_D1.pdf

Testcase_D2.pdf

Testcase_E1.pdf

Testcase_E2.pdf

Testcase_F1.pdf

Testcase_F2.pdf

 

SDL contest models

Aguilar Brandt Conquet Li_Probert_Williams QueinsMetzger

Contest Home Page