Specifications and schedulability analysis of real-time systems using ACSR

Jin Young Choi, Insup Lee, Hong Liang Xie

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publicationProceedings - Real-Time Systems Symposium
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Pages266-275
Number of pages10
Publication statusPublished - 1995 Dec 1
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

Fingerprint

Real time systems
Specifications
Algebra
Synchronization
Scheduling
Engineers
Communication

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

Cite this

Choi, J. Y., Lee, I., & Xie, H. L. (1995). Specifications and schedulability analysis of real-time systems using ACSR. In Proceedings - Real-Time Systems Symposium (pp. 266-275). Piscataway, NJ, United States: IEEE.

Specifications and schedulability analysis of real-time systems using ACSR. / Choi, Jin Young; Lee, Insup; Xie, Hong Liang.

Proceedings - Real-Time Systems Symposium. Piscataway, NJ, United States : IEEE, 1995. p. 266-275.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Choi, JY, Lee, I & Xie, HL 1995, Specifications and schedulability analysis of real-time systems using ACSR. in Proceedings - Real-Time Systems Symposium. IEEE, Piscataway, NJ, United States, pp. 266-275, Proceedings of the 1995 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 95/12/5.
Choi JY, Lee I, Xie HL. Specifications and schedulability analysis of real-time systems using ACSR. In Proceedings - Real-Time Systems Symposium. Piscataway, NJ, United States: IEEE. 1995. p. 266-275
Choi, Jin Young ; Lee, Insup ; Xie, Hong Liang. / Specifications and schedulability analysis of real-time systems using ACSR. Proceedings - Real-Time Systems Symposium. Piscataway, NJ, United States : IEEE, 1995. pp. 266-275
@inproceedings{ff9a8428b9df42ce8099ecb7d1093d9f,
title = "Specifications and schedulability analysis of real-time systems using ACSR",
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.",
author = "Choi, {Jin Young} and Insup Lee and Xie, {Hong Liang}",
year = "1995",
month = "12",
day = "1",
language = "English",
pages = "266--275",
booktitle = "Proceedings - Real-Time Systems Symposium",
publisher = "IEEE",

}

TY - GEN

T1 - Specifications and schedulability analysis of real-time systems using ACSR

AU - Choi, Jin Young

AU - Lee, Insup

AU - Xie, Hong Liang

PY - 1995/12/1

Y1 - 1995/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0029546910&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029546910&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0029546910

SP - 266

EP - 275

BT - Proceedings - Real-Time Systems Symposium

PB - IEEE

CY - Piscataway, NJ, United States

ER -