The Specification and Schedulability Analysis of Real-Time Systems using ACSR

@inproceedings{Choi1995TheSA,
  title={The Specification and Schedulability Analysis of Real-Time Systems using ACSR},
  author={Jin-Young Choi and Insup Lee and Hong-liang Xie},
  booktitle={RTSS},
  year={1995}
}
To engineer reliable real-time systems, it is desirable to detect timing anomalies early in the development process. However, there is little work addressing the problem of accurately predicting timing properties of real-time systems before implementations are developed. This paper describes an approach to the specii-cation and schedulability analysis of real-time systems based on the timed process algebra ACSR-VP, which is an extension of ACSR with value-passing communication and dynamic… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS