Specification and verification of real-time systems using ACSR-VP

Sung Mook Lim, Jin Young Choi

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

3 Citations (Scopus)

Abstract

The reliability of the design of a real-time system is important. For example, when there are errors in avionics control systems or nuclear reactor control systems, the loss of finance, time or even the loss of human lives could be enormous. Therefore when one designs a real-time system, methods to guarantee the correctness of the system are needed before the implementation of the system. We specify a scheduling algorithm of real-time systems called Priority Ceiling Protocol using ACSR-VP and perform schedulability analysis on real-time systems by checking for a bisimulation relation.

Original languageEnglish
Title of host publicationProceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA
Editors Anon
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Pages135-142
Number of pages8
Publication statusPublished - 1997 Dec 1
EventProceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA - Taipei, Taiwan
Duration: 1997 Oct 271997 Oct 29

Other

OtherProceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA
CityTaipei, Taiwan
Period97/10/2797/10/29

Fingerprint

Real time systems
Specifications
Control systems
Ceilings
Avionics
Finance
Nuclear reactors
Scheduling algorithms
Network protocols

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Lim, S. M., & Choi, J. Y. (1997). Specification and verification of real-time systems using ACSR-VP. In Anon (Ed.), Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA (pp. 135-142). Piscataway, NJ, United States: IEEE.

Specification and verification of real-time systems using ACSR-VP. / Lim, Sung Mook; Choi, Jin Young.

Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA. ed. / Anon. Piscataway, NJ, United States : IEEE, 1997. p. 135-142.

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

Lim, SM & Choi, JY 1997, Specification and verification of real-time systems using ACSR-VP. in Anon (ed.), Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA. IEEE, Piscataway, NJ, United States, pp. 135-142, Proceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA, Taipei, Taiwan, 97/10/27.
Lim SM, Choi JY. Specification and verification of real-time systems using ACSR-VP. In Anon, editor, Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA. Piscataway, NJ, United States: IEEE. 1997. p. 135-142
Lim, Sung Mook ; Choi, Jin Young. / Specification and verification of real-time systems using ACSR-VP. Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA. editor / Anon. Piscataway, NJ, United States : IEEE, 1997. pp. 135-142
@inproceedings{789a316e9910420a893af03b62e1d596,
title = "Specification and verification of real-time systems using ACSR-VP",
abstract = "The reliability of the design of a real-time system is important. For example, when there are errors in avionics control systems or nuclear reactor control systems, the loss of finance, time or even the loss of human lives could be enormous. Therefore when one designs a real-time system, methods to guarantee the correctness of the system are needed before the implementation of the system. We specify a scheduling algorithm of real-time systems called Priority Ceiling Protocol using ACSR-VP and perform schedulability analysis on real-time systems by checking for a bisimulation relation.",
author = "Lim, {Sung Mook} and Choi, {Jin Young}",
year = "1997",
month = "12",
day = "1",
language = "English",
pages = "135--142",
editor = "Anon",
booktitle = "Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA",
publisher = "IEEE",

}

TY - GEN

T1 - Specification and verification of real-time systems using ACSR-VP

AU - Lim, Sung Mook

AU - Choi, Jin Young

PY - 1997/12/1

Y1 - 1997/12/1

N2 - The reliability of the design of a real-time system is important. For example, when there are errors in avionics control systems or nuclear reactor control systems, the loss of finance, time or even the loss of human lives could be enormous. Therefore when one designs a real-time system, methods to guarantee the correctness of the system are needed before the implementation of the system. We specify a scheduling algorithm of real-time systems called Priority Ceiling Protocol using ACSR-VP and perform schedulability analysis on real-time systems by checking for a bisimulation relation.

AB - The reliability of the design of a real-time system is important. For example, when there are errors in avionics control systems or nuclear reactor control systems, the loss of finance, time or even the loss of human lives could be enormous. Therefore when one designs a real-time system, methods to guarantee the correctness of the system are needed before the implementation of the system. We specify a scheduling algorithm of real-time systems called Priority Ceiling Protocol using ACSR-VP and perform schedulability analysis on real-time systems by checking for a bisimulation relation.

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

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

M3 - Conference contribution

SP - 135

EP - 142

BT - Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA

A2 - Anon, null

PB - IEEE

CY - Piscataway, NJ, United States

ER -