ARTIST2 Workshop: Foundations and Applications of Component-based DesignOctober 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?
Submission deadline: June 11, 2006
Notification: July 8, 2006
The workshop will be comprised of invited and contributed presentations, as well as dedicated discussion sessions, ordered according to the topics given above.
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.
- Joseph Sifakis (co-chair)
- Lothar Thiele (co-chair)
- 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
Please register for this workshop through the regular Embedded Systems Week registration
Venue and Logistics
Please see the regular Embedded Systems Week page.