ARTIST2 Workshop: Foundations and Applications of Component-based Design

October 26th 2006 in Seoul, South Korea
Organized within EMSOFT’06, at the Embedded Systems Week

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?

 

Important Dates

Submission deadline: June 11, 2006
Notification: July 8, 2006

 

Format

The workshop will be comprised of invited and contributed presentations, as well as dedicated discussion sessions, ordered according to the topics given above.

 

Submissions

The workshop will be comprised of invited and contributed presentations, as well as dedicated discussion sessions, ordered according by topics.

We invite submissions for contributed presentations.

You are encouraged to send a one-page abstract (in pdf format) on your current research and the associated contents of your intended talk to EmsoftWS@tik.ee.ethz.ch.

 

Programme Committee

• Joseph Sifakis (co-chair)
  Verimag Laboratory
• Lothar Thiele (co-chair)
  ETH Zurich
• Rajeev Alur
  University of Pennsylvania
• Rolf Ernst
  Braunschweig Technical University
• Tom Henzinger
  Ecole Polytechnique Fédérale Lausanne (EPFL)
• Edward A. Lee
  University of California at Berkeley
• Alberto Sangiovanni–Vincentelli
  PARADES, University of California at Berkeley
• Wayne Wolf
  Princeton University

 

Registration

Please register for this workshop through the regular Embedded Systems Week registration.

 

Venue and Logistics

Please see the regular Embedded Systems Week page.

Réalisation Axome - Création de sites Internet