Foundations of Component-based Design

September 30th, 2007       Salzburg, Austria - within EmSoft / ES Week organised and funded by ARTIST 

Objectives and Scope

Discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation. Especially frameworks for handling non-functional and resource constraints, design under conflicting dependability criteria, trade-offs between average performance and predictability.

The workshop aims to gather together researchers from computer science and electrical engineering and will seek a synthesis between the the underlying paradigms and techniques. 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
    • What are the basic concepts for describing components?
    • What types of component interaction that are directly supported?
    • What kind of resources can be modeled and are they first class citizens of the formalism (energy, memory, time, ...)?
    • How do you think the following models, styles and design principles are interrelated and can be combined:
      • synchrony vs. asynchrony
      • event-triggered/data-triggered/time triggered
      • separation of concerns

  • Component-based Design, Methods and Tools
    • What kind of analysis methods are or should be supported?
      • Compositional verification techniques
      • resource usage (such as energy, time, memory)
    • What kind of design methods are or should be supported?
      • property preserving structuring principles
      • refinement/implementation relations

    • What kind of tradeoffs between predictability and efficiency can be exploited?
    • What kind of implementation methodologies do the proposed formalisms support and what kind of tools are or could be made available?

  • Application Scenarios and Relevant Case Studies
    • What kind of applications have been or should be looked at that illustrate the above issues?

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet