A Time Refinement Framework Based on iUML-B State Machine

Table 4

The evaluation standard of real-time Event-B methods.

Number of standards	Description of standard
S1	How does it express the order of events in a real-time system?
S2	How does it express the duration of time?
S3	How does it express the vertical refinement process of the Event-B model of the real-time system?
S4	How does it express the concurrent real-time objects?
S5	How does it support the automatic generation of the proof obligations in the model refinement process?
S6	How does it support the automatic proof of time-related properties?