@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",
}