Puzzle pieces

Foundations of Interface Technologies

FIT 2008

ETAPS 2008 logo

Budapest, April 5th, 2008

The FIT 2008 workshop was held as part of ETAPS 2008. See here for a list of other satellite events of ETAPS 2008.

Actual Programme (with links to slides)

09:00 - 10:30 SESSION 1

Multiple viewpoint contracts and residuation (slides)
Albert Benveniste (IRISA / INRIA)
Automatic assumption synthesis from timed automata for compositional model checking (slides)
Hans-Jörg Peter, Bernd Finkbeiner, Sven Schewe (Saarbrücken)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Behavioral Types as Interfaces for Concurrent Processes (slides)
Naoki Kobayashi (Tohoku University)
Modelchecking Nonfunctional Requirements for Interface Specifications (slides)
Florian Kammueller (TU Berlin)
Component Interfaces for System Synthesis (slides)
Sven Schewe and Bernd Finkbeiner (Saarbrücken)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Interfaces for Reliability
Mariëlle Stoelinga (University of Twente)
Using Interface Specifications for Verifying Crypto-protocol Implementations. (slides)
Jan Jürjens (Open University, UK)
Playing Games with Timed Interfaces (slides)
Kim G. Larsen (Aalborg)

16:00 - 16:30 Coffee

16:30 - 17:30 SESSION 4

Compositionality in Real-Time Model Checking (slides)
Jasper Berendsen and Frits Vaandrager (Radboud University Nijmegen)
Interface Algebra for Analysis of Hierarchical Real Time Systems (slides)
Arvind Easwaran, Insup Lee, Oleg Sokolsky (University of Pennsylvania)

Description

Component-based design is widely considered as a major approach to developing 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 achieving 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.

Topics of interest:

FIT embraces an inclusive formula that emphasizes interaction and discussion. No formal proceedings shall be published, except for hard copies distributed to participants. You are encouraged to submit new results, work in progress, work already published, or work submitted for publication elsewhere. Submissions will be jugded on general quality and prospective interest to workshop participants. We are considering soliciting a special journal issue for selected papers after the workshop has been held.

Invited Speakers

Program Committee

Albert Benveniste (IRISA / INRIA, Campus de Beaulieu)
Mariëlle Stoelinga (University of Twente)
Holger Hermanns (Saarland University)
Micheal Huth (Imperial College, London)
Kim G. Larsen (University of Aalborg, chair)
Flemming Nielson (Technical University of Denmark, Lyngby)
Rupak Majumdar (University of California, Los Angeles)
Mariëlle Stoelinga (University of Twente)
Jakob Rehof (University of Dortmund, ISST)
Andrzej Wąsowski (IT University of Copenhagen)
Lenore Zuck (University of Illinois, Chicago)

Important Dates

Previous FIT workshop

Submission deadline: December 14, 2007
Notifcation of acceptace: January 14, 2008
Camera ready deadline: January 25, 2008
Workshop takes place: April 5, 2008

FIT 2005 at CONCUR 2005, San Francisco

Submission Procedure

Submissions should be send by email to wasowski[at]itu.dk.

Papers should be between 5 and 15 pages in Springer's LNCS style, excluding a clearly marked appendix, which will be reviewed at the program committees discretion.

Organizers

Puzzle pieces

Valid HTML 4.01 Transitional