On the reaction time of some synchronous systems

Details On the reaction time of some synchronous systems On the reaction time of some synchronous systems

2011-08-02

arxiv.org/abs/1108.0467v1

EPTCS 59, 2011, pp. 69-83

Computer Science

Software Engineering

In Proceedings ICE 2011, arXiv:1108.0144

Scientific paper

10.4204/EPTCS.59.7

This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied. Reaction time is shown to be non-compositional in general. Possible solutions are proposed, and applications to verification are discussed. This framework is illustrated by some examples issued from studies on real-time embedded systems.

Affiliated with

Also associated with

No associations

Rating

On the reaction time of some synchronous systems 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 On the reaction time of some synchronous systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the reaction time of some synchronous systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508365