State Space Exploration of RT Systems in the Cloud

Details State Space Exploration of RT Systems in the Cloud State Space Exploration of RT Systems in the Cloud

2012-03-30

arxiv.org/abs/1203.6806v1

Computer Science

Software Engineering

6 pages, 8 figures

Scientific paper

The growing availability of distributed and cloud computing frameworks make it possible to face complex computational problems in a more effective and convenient way. A notable example is state-space exploration of discrete-event systems specified in a formal way. The exponential complexity of this task is a major limitation to the usage of consolidated analysis techniques and tools. We present and compare two different approaches to state-space explosion, relying on distributed and cloud frameworks, respectively. These approaches were designed and implemented following the same computational schema, a sort of map & fold. They are applied on symbolic state-space exploration of real-time systems specified by (a timed extension of) Petri Nets, by readapting a sequential algorithm implemented as a command-line Java tool. The outcome of several tests performed on a benchmarking specification are presented, thus showing the convenience of cloud approaches.

Affiliated with

Also associated with

No associations

Rating

State Space Exploration of RT Systems in the Cloud 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 State Space Exploration of RT Systems in the Cloud, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and State Space Exploration of RT Systems in the Cloud will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-64533