Specifications and schedulability analysis of real-time systems using ACSR

Jin Young Choi, Insup Lee, Hong Liang Xie

Research output: Contribution to conferencePaperpeer-review

17 Citations (Scopus)

Abstract

The 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 specification 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 priorities. Combined with the existing features of ACSR for representing time, synchronization and resource requirements, ACSR-VP is capable of specifying a variety of real-time systems with different scheduling disciplines in a modular fashion. Moreover, we can perform schedulability analysis on real-time systems specified in ACSR-VP automatically by checking for a certain bisimulation relation.

Original languageEnglish
Pages266-275
Number of pages10
Publication statusPublished - 1995
Externally publishedYes
EventProceedings of the 1995 16th IEEE Real-Time Systems Symposium - Pisa, Italy
Duration: 1995 Dec 51995 Dec 7

Other

OtherProceedings of the 1995 16th IEEE Real-Time Systems Symposium
CityPisa, Italy
Period95/12/595/12/7

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Specifications and schedulability analysis of real-time systems using ACSR'. Together they form a unique fingerprint.

Cite this