Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

Computer Science – Performance

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Scientific paper

10.4204/EPTCS.28.2

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. In this paper, we propose a framework of granularity-based interfacing to speed up the analysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granularities and then based on RTC theory, we derive lower and upper bounds on arrival patterns of the fine output streams using the causality closure algorithm. Our framework can help to achieve tradeoffs between precision and analysis time.

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

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata 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 Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-525559

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