Production Cell VDM++ og UML

14
Production Cell VDM++ og UML Brian Steensgaard, [email protected] Henrik Karmisholt Grosen, [email protected] Rasmus Oudal Edberg, [email protected]

description

Production Cell VDM++ og UML. Brian Steensgaard, [email protected] Henrik Karmisholt Grosen, [email protected] Rasmus Oudal Edberg, [email protected]. Agenda. Changes from last time Pre- and postconditions in classes Test of Production Cell. Overview. Changes from last time #1. - PowerPoint PPT Presentation

Transcript of Production Cell VDM++ og UML

Page 1: Production Cell VDM++ og UML

Production CellVDM++ og UML

Brian Steensgaard, [email protected] Karmisholt Grosen, [email protected] Oudal Edberg, [email protected]

Page 2: Production Cell VDM++ og UML

Agenda

Changes from last time Pre- and postconditions in classes Test of Production Cell

Page 3: Production Cell VDM++ og UML

Overview

Page 4: Production Cell VDM++ og UML

Changes from last time #1

FeedBelt -> SensorBelt•Returns true

•Used for simulation

Press

•Used for simulation

Page 5: Production Cell VDM++ og UML

Changes from last time #2Logger

•Used for logging

ProductionCell

•Produce a single plate•Process returns logs.

Page 6: Production Cell VDM++ og UML

Agenda

Changes from last timePre- and postconditions in classesTest of Production Cell

Page 7: Production Cell VDM++ og UML

Belt class

Page 8: Production Cell VDM++ og UML

SensorBelt class

Page 9: Production Cell VDM++ og UML

Press class

Page 10: Production Cell VDM++ og UML

Robot class(1)

Page 11: Production Cell VDM++ og UML

Robot class(2)

Page 12: Production Cell VDM++ og UML

Agenda

Changes from last timePre- and postconditions in classesTest of Production Cell

Page 13: Production Cell VDM++ og UML

Test

test.arg

test.arg.res

test.cmd

Page 14: Production Cell VDM++ og UML

Summary

Changes from last time Pre- and postconditions in classes Test of Production Cell