Implementing the real-time processes of RTPA using Real-Time Java']Java

被引：0

作者：

Ngolah, Cyprian F. ^{[1
]}

Wang, Yingxu ^{[1
]}

Tan, Xinming ^{[1
]}

机构：

[1] Univ Calgary, Dept Elect & Comp Engn, Theoret & Empirical Software Engn Res Ctr, 2500 Univ Dr NW, Calgary, AB T2N 1N4, Canada

来源：

2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5 | 2006年

基金：

加拿大自然科学与工程研究理事会;

关键词：

software engineering; real-time process algebra; real-time system; formal specification; Real-Time [!text type='Java']Java[!/text;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper discusses the implementation of the real-time processes of Real-Time Process Algebra (RTPA) using Real-Time Java. The difficulty in implementing real-time software from formal specifications comes from the fact that some real-time features expressed using a formal specification language cannot be easily transformed into a programming language. The paper shows how a combination of a real-time support library for RTPA (RTPASupportLib) and the recently developed extensions to real-time Java can overcome some of these difficulties. The strategies and techniques employed in implementing RTPA real-time features such as concurrency, interleaving, and interrupt/event/time-driven dispatching of real-time processes are presented. A number of case studies on the implementation of RTPA real-time features show that the approach is a feasible one.

引用

页码：1337 / +

页数：2

共 50 条

[1] Challenges in implementing the Real-time Specification for Java']Java (RTSJ) in a commercial real-time Java']Java virtual machine
Dawson, Michael H.
[J]. ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 241 - 247
[2] A Real-Time Java']Java server for Real-Time Mach
Miyoshi, A
Tokuda, H
[J]. PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 319 - 325
[3] Real-time Java']Java
Gliss, B
[J]. COMMUNICATIONS OF THE ACM, 1998, 41 (09) : 27 - 27
[4] Java']Java for real-time
Nilsen, K
[J]. REAL-TIME SYSTEMS, 1996, 11 (02) : 197 - 205
[5] Making Java']Java real-time
Uckun, S
Gasperoni, F
[J]. IEEE SPECTRUM, 1998, 35 (12) : 22 - 23
[6] Real-time scheduling for Java']Java
Goldschmidt, B
László, Z
[J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VIII, PROCEEDINGS, 2003, : 154 - 159
[7] Java']Java in real-time applications
Bertolissi, E
Preece, C
[J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1998, 45 (04) : 1965 - 1972
[8] Real-time programming in Java']Java
Brosgol, BM
[J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 487 - 487
[9] Enhancing real-time CORBA via real-time Java']Java features
Krishna, AS
Schmidt, DC
Klefstad, R
[J]. 24TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2004, : 66 - 73
[10] The Real-Time Specification for Java']Java
Hardin, D
[J]. DR DOBBS JOURNAL, 2000, 25 (02): : 78 - +

← 1 2 3 4 5 →