PROGRAMME

Day 1
  • 9:30-9:45 Opening
  • 9:45-10:45 Invited talk 1
    • Component-based design for avionics systems
      • Gert Doehmen (AIRBUS Deutschland GmbH, Germany)
  • 10:45-11:15 Coffee break
  • 11:15-12:15 Session 1: Component Interaction
    • Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
      • Markus Lumpe
    • Behaviour Protocols for Interacting Stateful Components with Ports
      • Sebastian S. Bauer, Rolf Hennicker and Stephan Janisch
  • 12:15-14:00 Lunch
  • 14:00-15:30 Session 2: Verification
    • A Boolean algebra of contracts for assume-guarantee reasoning
      • Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin and Thierry Gautier
    • Automated formalisation for verification of diagrammatic models
      • James Williams and Fiona Polack
    • Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives
      • Andreas Both and Wolf Zimmermann
  • 15:30-16:00 Coffee break
  • 16:00-17:30 Session 3: Components and Services
    • Reachability in Tree-Like Component Systems is PSPACE-Complete
      • Nils Semmelrock and Mila Majster-Cederbaum
    • Composition of Services with Constraints
      • Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Heam and Olga Kouchnarenko
    • Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
      • Pascal Andre, Gilles Ardourel, Christian Attiogbe and Arnaud Lanoix
  • 17:30-18:00 PC/SC meeting
  • 19:00 Workshop dinner

Day 2

  • 9:30-10:30 Invited talk 2
    • Coalgebraic Methods for Component Connectors
      • Jan Rutten (CWI, the Netherlands)
  • 10:30-11:00 Coffee break
  • 11:00-12:00 Session 4: Reconfiguration and Adaptation
    • A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
      • Antonio Cansado, Carlos Canal, Javier Cubo and Gwen Salaun
    • PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
      • Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani and MohammadReza Mousavi
  • 12:00-14:00 Lunch
  • 14:00-15:30 Session 5: Composition and Deployment
    • A systematic approach to construct compositional behaviour models for network-structured safety-critical systems
      • Johannes Kloos and Robert Eschbach
    • A lightweight approach to customizable composition operators for Java-like classes
      • Giovanni Lagorio, Marco Servetto and Elena Zucca
    • Integrating extra-functional properties in component deployment dependencies
      • Meriem Belguidoum and Fabien Dagnat
  • 15:30-16:00 Coffee break
  • 16:00-17:20 Demonstration session
    • TBA
  • 17:20-17:30 Closing session