Model Checking of Statechart Models: Survey and Research Directions

Computer Science – Software Engineering

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Scientific paper

We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies considerably, along with the model checkers and their specification languages, most approaches rely on translating the hierarchical structure into the flat representation of the input language of the model checker. This makes model checking difficult to scale to industrial models, as the state space grows exponentially with flattening. We look at current approaches to model checking hierarchical structures and find that their semantics is significantly different from statecharts. We propose to address the problem of state space explosion using a combination of techniques, which are proposed as directions for further research.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Model Checking of Statechart Models: Survey and Research Directions 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 Model Checking of Statechart Models: Survey and Research Directions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model Checking of Statechart Models: Survey and Research Directions will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-636279

All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.