Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ICECCS
2005
IEEE

favoriteEmaildiscussreport

73views Hardware» more ICECCS 2005»

Integrating Object-Z with Timed Automata

13 years 10 months ago

Integrating Object-Z with Timed Automata

Download www.comp.nus.edu.sg

When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for capturing timed control behaviour of the system. This paper presents an effective combination of the two techniques with novel composition and communication mechanisms. The combined notation enhances Object-Z with realtime modeling capability and also extends Timed Automata with enhanced structure and state modeling features.

Jin Song Dong, Roger Duke, Ping Hao

Real-time Traffic

Hardware | ICECCS 2005 | Object-Z | Powerful Logic-based Language | Realtime Modeling Capability |

claim paper

Related Content

» Structuring RealTime ObjectZ Specifications

» Combining Specification Techniques for Processes Data and Time

» Timed Patterns TCOZ to Timed Automata

» Timed Automata Patterns

» State Event Time and Diagram in System Modeling

» A Semantic Foundation for TCOZ in Unifying Theories of Programming

» Interval Duration Logic Expressiveness and Decidability

» Scheduling a Steel Plant with Timed Automata

» Symbolic Robustness Analysis of Timed Automata

Post Info
More Details (n/a)

Added	24 Jun 2010
Updated	24 Jun 2010
Type	Conference
Year	2005
Where	ICECCS
Authors	Jin Song Dong, Roger Duke, Ping Hao

Comments (0)