Component-based design is widely considered as a major approach to develop systems in a time and cost effective way. Central in this approach is the notion of an interface. Interfaces summarize the externally visible properties of a component and are seen as a key to achieve component interoperability and to predict global system behavior based on the component behavior. To capture the intricacy of complex software products, rich interfaces have been proposed. These interfaces do not only specify syntactic properties, such as the signatures of methods and operations, but also take into account behavioral and extra-functional properties, such as quality of service, security and dependability. Rich interfaces have been proposed for describing, e.g., the legal sequences of messages or method calls accepted by components, or the resource and timing constraints in embedded software. The development of a rigorous framework for the specification and analysis of rich interfaces is challenging. The aim of this workshop is to bring together researchers who are interested in the formal underpinnings of interface technologies.

Program

• 9:00-10:00 keynote speaker
  • Madhusudan Parthasarathy (UI Urbana-Champaign): Mining Dynamic Interfaces
  break
• 10:30-12:30 Invited contributions
  • Edward A. Lee, Haiyang Zheng, and Ye Zhou (UC Berkeley)
    Causality Interfaces and Compositional Causality Analysis
  • Colin Cambell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes (Microsoft Research)
    Interface conformance of object-oriented reactive software: foundations, tools and applications
  • Marco Faella (UC Santa Cruz) and Axel Legay (U. of Liege )
    Some models and tools for open systems
  • Dimitra Giannakopoulou (NASA Ames)
    (tentative) Assume-Guarantee Testing
  lunch
• 14:00-15:00 keynote speaker
  • Hermann Kopetz (TU Vienna)
    Temporal firewalls
• 15:00-15:30
  • Werner Damm (OFFIS, U. Oldenburg), Angelika Votintseva (OFFIS), Alexander Metzner (U. Oldenburg), Bernhard Josko (OFFIS), Thomas Peikenkamp (OFFIS), Eckard Böde (OFFIS)
    Boosting Re-use of Embedded Automotive Applications Through Rich Components
  break
• 16:00-17:30
  • Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski (Center of Embedded Software Systems, Denmark)
    Interface Input/Output Automata: Splitting Assumptions from Guarantees
  • Barry Norton (Knowledge Media Institute, Open University, UK)
    Behavioural Types for Synchronous Software Composition
  • Dirk Beyer (EPFL), Arindam Charkabarti (UC Berkeley), Tom Henzinger (EPFL)
    An Interface Formalism for Web Services
• 17:30 Discussion and wrap up

Topics of interest include Modeling of rich interfaces, handling aspects like timeliness QoS safety reliability fault-tolerance security resource constraints etc Design methods for interfaces, design by contract Verification & analysis of interfaces abstraction refinement assume/guarantee reasoning compositionality property preservation Domain-specific interfaces, use of interfaces, case studies Important dates paper submission: June 6 (extended) notification of acceptance: July 3 final version: July 22 Submission guidelines Submissions, upto 15 pages (excluding appendices) in ENTCS format, can be e-mailed as a .pdf or postscript file to fit2005 AT cs.utwente.nl. Accepted papers will be published in Elsevier's Electronic Notes in Theoretical Computer Science series.

Invited speakers Madhusudan Parthasarathy Univ. of Illinois at Urbana-Champaign Hermann Kopetz Technical University Vienna Program committee Frank de Boer University of Utrecht Susanne Graf Verimag Thomas A. Henzinger EPFL Holger Hermanns Saarland University Bengt Jonson Uppsala University Edward Lee University of California, Berkeley Rupak Majumdar University of California, Los Angeles Jakob Rehof Microsoft Research Mariëlle Stoelinga University of Twente Clemens Szyperski Microsoft Research Lenore Zuck University of Illinois, Chicago Organizers Holger Hermanns hermanns AT cs.uni-sb.de Jakob Rehof rehof AT microsoft.com Mariëlle Stoelinga marielle AT cs.utwente.nl