A framework for embedded real-time system design

Jin Young Choi; Hee Hwan Kwak; Insup Lee

doi:10.1007/3-540-45591-4_101

A framework for embedded real-time system design

Jin Young Choi, Hee Hwan Kwak, Insup Lee

School of Cybersecurity

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings
Editors	Jose Rolim
Publisher	Springer Verlag
Pages	738-742
Number of pages	5
ISBN (Print)	354067442X, 9783540674429
DOIs	https://doi.org/10.1007/3-540-45591-4_101
Publication status	Published - 2000
Event	15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000 - Cancun, Mexico Duration: 2000 May 1 → 2000 May 5

Publication series

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

Other

Other	15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000
Country/Territory	Mexico
City	Cancun
Period	00/5/1 → 00/5/5

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/3-540-45591-4_101

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

A framework for embedded real-time system design. / Choi, Jin Young; Kwak, Hee Hwan; Lee, Insup.
Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings. ed. / Jose Rolim. Springer Verlag, 2000. p. 738-742 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1800 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Choi, JY, Kwak, HH & Lee, I 2000, A framework for embedded real-time system design. in J Rolim (ed.), Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1800 LNCS, Springer Verlag, pp. 738-742, 15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, Cancun, Mexico, 00/5/1. https://doi.org/10.1007/3-540-45591-4_101

Choi JY, Kwak HH, Lee I. A framework for embedded real-time system design. In Rolim J, editor, Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings. Springer Verlag. 2000. p. 738-742. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45591-4_101

@inproceedings{0af05f5cf3f1418cb9373770129c47ae,

title = "A framework for embedded real-time system design",

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.",

author = "Choi, {Jin Young} and Kwak, {Hee Hwan} and Insup Lee",

year = "2000",

doi = "10.1007/3-540-45591-4_101",

language = "English",

isbn = "354067442X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "738--742",

editor = "Jose Rolim",

booktitle = "Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings",

note = "15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000 ; Conference date: 01-05-2000 Through 05-05-2000",

}

TY - GEN

T1 - A framework for embedded real-time system design

AU - Choi, Jin Young

AU - Kwak, Hee Hwan

AU - Lee, Insup

PY - 2000

Y1 - 2000

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

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

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

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

U2 - 10.1007/3-540-45591-4_101

DO - 10.1007/3-540-45591-4_101

M3 - Conference contribution

AN - SCOPUS:84876354758

SN - 354067442X

SN - 9783540674429

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 738

EP - 742

BT - Parallel and Distributed Processing - 15 IPDPS 2000 Workshops, Proceedings

A2 - Rolim, Jose

PB - Springer Verlag

T2 - 15 Workshops Held in Conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000

Y2 - 1 May 2000 through 5 May 2000

ER -

A framework for embedded real-time system design

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this