A framework for embedded real-time system design

被引：0

作者：

Choi, JY ^{[1
]}

Kwak, HH

Lee, I

机构：

[1] Korea Univ, Dept Comp Sci & Engn, Seoul, South Korea

[2] Univ Penn, Dept Comp & Informat Sci, Philadelphia, PA 19104 USA

来源：

PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS | 2000年 / 1800卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：738 / 742

页数：5

共 50 条

[1] Design of real-time embedded music system
Choi, Sungmin
Oh, Hoon
[J]. SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 569 - +
[2] Real-Time Issues in Embedded System Design
Prashanth, K. V.
Akram, P. Saleem
Reddy, T. Anji
[J]. 2015 INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND COMMUNICATION ENGINEERING SYSTEMS (SPACES), 2015, : 167 - 171
[3] Embedded system design framework for minimizing code size and guaranteeing real-time requirements
Shin, I
Lee, I
Min, SL
[J]. 23RD IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2002, : 201 - 211
[4] Embedded System Design of a Real-time Parking Guidance System
Dokur, Omkar
Katkoori, Srinivas
Elmehraz, Nouredddine
[J]. 2016 ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2016, : 908 - 915
[5] The Test System Design of Real-time Embedded Software System
Mo Nian-Fa
[J]. 2015 SEVENTH INTERNATIONAL CONFERENCE ON MEASURING TECHNOLOGY AND MECHATRONICS AUTOMATION (ICMTMA 2015), 2015, : 1321 - 1324
[6] Adaptive real-time network design of embedded system
Huang, Tao
Zhou, Yunfei
Zhong, Ming
[J]. PROCEEDINGS OF THE 2006 IEEE/ASME INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED SYSTEMS AND APPLICATIONS, 2006, : 127 - +
[7] Safety, liveness and real-time in embedded system design
Klapuri, H
Takala, J
Saarinen, J
[J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1999, 22 (02) : 69 - 89
[8] Safety, liveness and real-time in embedded system design
Tampere University of Technology, Signal Processing Laboratory, P.O. Box 553, FIN-33101 Tampere, Finland
不详
不详
不详
[J]. J Network Comput Appl, 2 (69-89):
[9] Real-Time Embedded Framework Debugger
Daraban, Mihai
Corches, Cosmina
Fizesan, Raul
Chindris, Gabriel
[J]. 2022 IEEE 28TH INTERNATIONAL SYMPOSIUM FOR DESIGN AND TECHNOLOGY IN ELECTRONIC PACKAGING (SIITME), 2022, : 36 - 39
[10] VERTAF: An application framework for the design and verification of embedded real-time software
Hsiung, PA
Lin, SW
Tseng, CH
Lee, TY
Fu, JM
Bin See, W
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (10) : 656 - 674

← 1 2 3 4 5 →