TESTBED-BASED VALIDATION OF DESIGN TECHNIQUES FOR RELIABLE DISTRIBUTED REAL-TIME SYSTEMS

被引：1

作者：

CHU, WW

KIM, KH

MCDONALD, WC

机构：

[1] UNIV CALIF IRVINE,DEPT ELECT ENGN,COMP ENGN PROGRAM,IRVINE,CA 92717

[2] UNISYS CORP,HUNTSVILLE,AL 35805

来源：

PROCEEDINGS OF THE IEEE | 1987年 / 75卷 / 05期

关键词：

D O I：

10.1109/PROC.1987.13779

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：649 / 667

页数：19

共 50 条

[31] Validation support for distributed real-time embedded systems in VDM plus
Fitzgerald, John S.
Larsen, Peter Gorm
Tjell, Simon
Verhoef, Marcel
[J]. HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 331 - +
[32] AN APPROACH TO THE DESIGN OF DISTRIBUTED REAL-TIME OPERATING-SYSTEMS
CVIJOVIC, M
KUNC, M
[J]. MICROPROCESSORS AND MICROSYSTEMS, 1992, 16 (02) : 81 - 89
[33] Knowledge Based Optimization for Distributed Real-Time Systems
Dellabani, Mahieddine
Combaz, Jacques
Bensalem, Saddek
Bozga, Marius
[J]. 2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017), 2017, : 751 - 756
[34] Design and evaluation of real-time distributed manufacturing control systems
Agent Oriented Software Limited, Mill Lane, Cambridge CB2 1RX, United Kingdom
不详
[J]. Int. J. Manuf. Technol. Manage, 2006, 1-3 (264-282):
[35] A DESIGN PERSPECTIVE FOR REAL-TIME TASK CONTROL IN DISTRIBUTED SYSTEMS
HERZOG, JH
[J]. IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1983, 30 (01) : 46 - 51
[36] Improvement Design for Distributed Real-Time Stream Processing Systems
Wei Jiang
LiuGen Xu
HaiBo Hu
Yue Ma
[J]. Journal of Electronic Science and Technology, 2019, 17 (01) - 12
[37] Design of mutual exclusion algorithms for real-time distributed systems
Chang, Y.I.
[J]. Journal of Information Science and Engineering, 1994, 10 (04)
[38] Modular Design and Verification of Distributed Adaptive Real-Time Systems
Goethel, Thomas
Bartels, Bjoern
[J]. NATURE OF COMPUTATION AND COMMUNICATION, 2015, 144 : 3 - 12
[39] End-to-end design of distributed real-time systems
Ryu, M
Hong, S
[J]. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 23 - 28
[40] Pictures that play: design notations for real-time and distributed systems
Buhr, R.J.A
[J]. Software - Practice and Experience, 1993, 23 (08) : 895 - 931

← 1 2 3 4 5 →