On the limits of the precise specification of component interfaces

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 26-27

  Kopetz, Hermann ^a   Suri, Neeraj ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 78650505539     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1267486     Document Type: Conference Paper

References (5)

1. Jones, C., et al., DSOS Conceptual Model. 2003: University of Newcastle upon Tyne, CS-TR-782, TU Vienna, Technical Report 54/2002, Qinetic Technical Report TR030434, LAAS Technical Report. p. 1-122.
2. Kopetz, H. and G. Bauer, The Time-Triggered Architecture. Proceedings of the IEEE, 2003. 91(January 2003): p. 112-126.
3. Parnas, D. L., A technique for software module specification with examples. Communication of the ACM, 1972. 15(5): p. 330-336.
4. Kopetz, H. and N. Suri. Compositional Design of Real-Time Systems: A Conceptual Basis for the Specification of Linking Interfaces., ISORC 2003.
5. Brinksma, E. et al, Component-Based Design and Integration Platforms. 2003, ARTIST NoE, Verimag, Grenoble, France. p. 1-76.