A framework for embedded real-time system design

Jin Young Choi, Hee Hwan Kwak, Insup Lee

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

Abstract

This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources (ACSR) has been extended to ACSR with Value-passing (ACSR-VP) in order to model the systems that pass values between processes and change the priorities of events and timed actions dynamically. The analysis is performed by means of bisimulation or reachability analysis. The result of the analysis is predicate equations. A solution to them yields the values of the parameters that satisfy the design specification. We briefly describe the proposed framework in which this approach is fully automated and identify future work.

Original languageEnglish
Title of host publicationParallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings
EditorsJose Rolim
PublisherSpringer Verlag
Pages738-742
Number of pages5
ISBN (Print)354067442X, 9783540674429
DOIs
Publication statusPublished - 2000
Event15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000 - Cancun, Mexico
Duration: 2000 May 12000 May 5

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1800 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000
CountryMexico
CityCancun
Period00/5/100/5/5

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A framework for embedded real-time system design'. Together they form a unique fingerprint.

  • Cite this

    Choi, J. Y., Kwak, H. H., & Lee, I. (2000). A framework for embedded real-time system design. In J. Rolim (Ed.), Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings (pp. 738-742). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1800 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-45591-4_101