Transparent distribution of real-time components based on logical execution time

被引：24

作者：

Farcas, E ^{[1
]}

Farcas, C ^{[1
]}

Pree, W ^{[1
]}

Templ, J ^{[1
]}

机构：

[1] Salzburg Univ, Dept Comp Sci, A-5020 Salzburg, Austria

来源：

ACM SIGPLAN NOTICES | 2005年 / 40卷 / 07期

关键词：

LET; MoDECS; TDL; Timing Definition Language; component model; distribution; embedded systems; logical execution time; real-time; transparent;

D O I：

10.1145/1070891.1065915

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a system is the same no matter where a component is executed, (2) the developer does not have to care about the differences of local versus distributed execution of components, and (3) the components can be developed independently. We present the design and implementation of a component model for real time systems that is well suited for transparent distribution. The component model is based on logical execution time, which abstracts from physical execution time and thereby from both the execution platform and the communication topology.

引用

页码：31 / 39

页数：9

共 50 条

[31] An interface algebra for real-time components
Henzinger, Thomas A.
Matic, Slobodan
[J]. PROCEEDINGS OF THE 12TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 2006, : 253 - 263
[32] Adaptor synthesis for real-time components
Tivoli, Massimo
Fradet, Pascal
Girault, Alain
Goessler, Gregor
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 185 - +
[33] Real-time simulation of concurrent components
Kone, Ousmane
[J]. PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE: COMPUTER SCIENCE CHALLENGES, 2007, : 427 - +
[34] Logical Push Framework for Real-time SNS Processing
Lee, Yoonjae
Oh, Junseok
Lee, Bong Gyou
[J]. 2012 FOURTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL ASPECTS OF SOCIAL NETWORKS (CASON), 2012, : 47 - 51
[35] Operational and logical semantics for polling real-time systems
Dierks, H
Fehnker, A
Mader, A
Vaandrager, F
[J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 29 - 40
[36] Duration calculus, a logical approach to real-time systems
Zhao, CC
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 1 - 7
[37] Logical Formalism for Specification of Real-Time Multiagent Systems
Bugaichenko, D. Yu.
Solov'ev, I. P.
[J]. VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2007, 40 (02) : 131 - 137
[38] Semantics foundations of PsyC based on synchronous Logical Execution Time
Siron, Fabien
Potop-Butucaru, Dumitru
de Simone, Robert
Chabrol, Damien
Methni, Amira
[J]. 2023 CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK, CPS-IOT WEEK WORKSHOPS, 2023, : 319 - 324
[39] EXECUTION MODELS FOR RECONFIGURABLE EMBEDDED REAL-TIME SYSTEMS
Khalgui, Mohamed
Hanisch, Hans-Michael
[J]. ASIAN JOURNAL OF CONTROL, 2009, 11 (03) : 249 - 260
[40] QoS Scheduling Components based on Firm Real-time Requirements
Marchand, Audrey
Silly-Chetto, Maryline
[J]. 3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,

← 1 2 3 4 5 →