Interface theories with component reuse

Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08

Volumn , Issue , 2008, Pages 79-88

  Doyen, Laurent ^a   Henzinger, Thomas A ^a   Jobstmann, Barbara ^a   Petrov, Tatjana ^a  

^a EPFL   (Switzerland)

Author keywords

Composition; Interfaces; Refinement

Indexed keywords

CHEMICAL ANALYSIS; EMBEDDED SOFTWARE; INTERFACES (MATERIALS); SYSTEM BUSES;

COMPONENT REUSE; IMPLEMENTABILITY; INCREMENTAL DESIGNS; INTERFACE-BASED DESIGNS; PARTIAL SYSTEMS; PCI BUS; REFINEMENT;

COMPUTER PERIPHERAL EQUIPMENT;

EID: 70349234170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1450058.1450070     Document Type: Conference Paper

References (12)

1. R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi. Alternating refinement relations. In Proceedings of CONCUR: Concurrency Theory, volume 1466 of Lecture Notes in Computer Science, pages 163-178. Springer, 1998.
2. A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and F. Y. C. Mang. Synchronous and bidirectional component interfaces. In Proceedings of CAV: Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pages 414-427. Springer, 2002.
3. A. Chakrabarti, L. de Alfaro, T. A. Henzinger, and M. Stoelinga. Resource interfaces. In Proceedings of EMSOFT: Embedded Software, volume 2855 of Lecture Notes in Computer Science, pages 117-133. Springer, 2003.
4. L. de Alfaro and T. A. Henzinger. Interface automata. In Proceedings of FSE: Foundations of Software Engineering, pages 109-120. ACM Press, 2001.
5. L. de Alfaro and T. A. Henzinger. Interface theories for component-based design. In Proceedings of EMSOFT: Embedded Software, volume 2211 of Lecture Notes in Computer Science, pages 148-165. Springer, 2001.
6. L. de Alfaro, T. A. Henzinger, and M. Stoelinga. Timed interfaces. In Proceedings of EMSOFT: Embedded Software, volume 2491 of Lecture Notes in Computer Science, pages 108-122. Springer, 2002.
7. T. A. Henzinger and S. Matic. An interface algebra for real-time components. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 253-266. IEEE Computer Society, 2006.
8. E. A. Lee and Y. Xiong. System-level types for component-based design. In Proceedings of EMSOFT: Embedded Software, pages 237-253. Springer, 2001.
9. PCI bus power management interface specification revision, 2004. http://www.pcisig.com/specifications/conventional.
10. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
11. E. Wandeler and L. Thiele. Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling. In Proceedings of EMSOFT: Embedded Software, pages 80-89. ACM Press, 2005.
12. E. Wandeler and L. Thiele. Interface-based design of real-time systems with hierarchical scheduling. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 243-252. IEEE Computer Society, 2006.