Format

The workshop will be comprised of invited presentations, as well as dedicated discussion sessions.

It is organised with support from the COMBEST IST-STREP project.

Objectives and Scope

The workshop aims to discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation. The focus is not only on fundamental results but also on their implementation in methods and tools and their concrete application in areas such as automotive, avionics, consumer electronics and automation.

The workshop will address specific challenges such as:

• Foundations and Expressiveness of System Description Formalisms
  • Basic concepts for describing components
  • Types of interaction that are directly supported
  • Resource modeling in component-based formalisms
  • Combining computing paradigms and design principles:
    • synchronous, asynchronous;
    • event-driven, data-driven, time-driven
• Component-based Design, Methods and Tools
  • Achieving correctness-by-construction
  • Compositional verification techniques
  • Adaptive resource management
  • Application Scenarios and Relevant Case Studies

Past Editions

• 2008 Atlanta, Georgia (USA)
• 2007 Salzburg, Austria
• 2006 Seoul, Korea

Réalisation Axome - Création de sites Internet