Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

Details Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

2010-09-22

arxiv.org/abs/1009.4261v1

EPTCS 36, 2010, pp. 46-66

Computer Science

Logic in Computer Science

In Proceedings RTRTS 2010, arXiv:1009.3982

Scientific paper

10.4204/EPTCS.36.3

This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the synthesized model in Real-Time Maude, have been integrated into Ptolemy II, enabling a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude.

Affiliated with

Also associated with

No associations

Rating

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-637541