Home > Research > Publications & Outputs > Compositional design of RT systems

Research

Associated organisational units

Links

Text available via DOI:

Keywords

View graph of relations

Compositional design of RT systems: A conceptual basis for specification of linking interfaces

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Compositional design of RT systems: A conceptual basis for specification of linking interfaces. / Kopetz, H.; Suri, Neeraj.
Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.. IEEE, 2003. p. 51-60.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Kopetz, H & Suri, N 2003, Compositional design of RT systems: A conceptual basis for specification of linking interfaces. in Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.. IEEE, pp. 51-60. https://doi.org/10.1109/ISORC.2003.1199236

APA

Kopetz, H., & Suri, N. (2003). Compositional design of RT systems: A conceptual basis for specification of linking interfaces. In Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003. (pp. 51-60). IEEE. https://doi.org/10.1109/ISORC.2003.1199236

Vancouver

Kopetz H, Suri N. Compositional design of RT systems: A conceptual basis for specification of linking interfaces. In Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.. IEEE. 2003. p. 51-60 doi: 10.1109/ISORC.2003.1199236

Author

Kopetz, H. ; Suri, Neeraj. / Compositional design of RT systems : A conceptual basis for specification of linking interfaces. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.. IEEE, 2003. pp. 51-60

Bibtex

@inproceedings{0630a75a11fe4f43bc236e594bd34754,
title = "Compositional design of RT systems: A conceptual basis for specification of linking interfaces",
abstract = "Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) systems focusing specifically on the role of specification of linking interfaces (LIFs) across components. {\textcopyright} 2003 IEEE.",
keywords = "Distributed computer systems, Specifications, Linking interfaces, Real time, RT system, Temporal information, Real time systems",
author = "H. Kopetz and Neeraj Suri",
year = "2003",
month = may,
day = "16",
doi = "10.1109/ISORC.2003.1199236",
language = "English",
isbn = "0769519288",
pages = "51--60",
booktitle = "Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - Compositional design of RT systems

T2 - A conceptual basis for specification of linking interfaces

AU - Kopetz, H.

AU - Suri, Neeraj

PY - 2003/5/16

Y1 - 2003/5/16

N2 - Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) systems focusing specifically on the role of specification of linking interfaces (LIFs) across components. © 2003 IEEE.

AB - Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) systems focusing specifically on the role of specification of linking interfaces (LIFs) across components. © 2003 IEEE.

KW - Distributed computer systems

KW - Specifications

KW - Linking interfaces

KW - Real time

KW - RT system

KW - Temporal information

KW - Real time systems

U2 - 10.1109/ISORC.2003.1199236

DO - 10.1109/ISORC.2003.1199236

M3 - Conference contribution/Paper

SN - 0769519288

SP - 51

EP - 60

BT - Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.

PB - IEEE

ER -