Sunday, October 5, 2008

NSF Cyber-Physical Systems Program Solicitation

The NSF Cyber-Physical Systems Program Solication is available.

Bruce Sterling blogged about this at Wired.

Wireless Sensors Reduce Flooding in Indiana City

An article at Government Technology, "Wireless Sensors Reduce Flooding in Indiana City," describes a system that uses actuation to divert rainwater run-off to unused portions of the sanitary sewer system in South Bend, Indiana.

The system, called CSOnet, is a "cyber-physical system" because it integrates computation with control, said Michael Lemmon, University of Notre Dame professor of electrical engineering. It watches and alters its own world, similar to how a traffic controller monitors traffic congestion and orchestrates light timing. "Probably what's unique about this is it includes actuation, so that we're actually controlling something," Lemmon said.

Wednesday, November 7, 2007

CFP: DIPES 2008: IFIP Working Conference on Distributed and Parallel Embedded Systems Milano, Italy: 9/7-9/8, 2008

DIPES 2008 - Call for Papers

IFIP Working Conference on Distributed and Parallel Embedded Systems
Milano, Italy
September 7th - 10th, 2008
hosted as part of the IFIP World Computer Congress

URL: http://www.c-lab.de/dipes

Conference Theme

Embedded systems build the key technological components of all kinds of complex technical systems, ranging from telecommunications devices to automobiles, aircraft and even complete production lines. Traditionally, such embedded control systems have been implemented in a monolithic, centralized manner, but distributed solutions have steadily been gaining popularity. In a distributed setup, the control task is carried out by a number of controllers distributed over the entire system and interconnected as a network by communication components such as field buses. The individual nodes of such a network usually consist of a processor (microcontroller) together with some sensors and actuators. More demanding local control applications require more powerful controllers based on parallel architectures such as multiprocessor systems-on-chips (MPSoCs) or VLIW. Distribution and parallelism in embedded system design increase the engineering challenges and demand new development methods!
and tools. Also, the increasing relevance of intelligent applications like autonomous systems or systems with self-x properties calls for new design methods and tools. Due to the growing complexity of these kinds of embedded systems, their development requires new, consistent and integrated design methodologies, covering the path from specification to implementation.

DIPES will be an ideal opportunity to present exchange and discuss the state of the art, novel ideas, actual research results, and future trends in the field of distributed embedded systems. Contributors and participants from both industry and academia are encouraged to take active part in this conference.

Topics

Authors are invited to submit manuscripts of original unpublished research work in all areas. Relevant topics include (but are not limited
to):

1. Specification and modelling of complex embedded systems
2. Design methodology for distributed and parallel embedded systems
3. Design support for intelligent features in embedded systems
4. Validation and verification of embedded systems
5. Novel programming techniques for distributed real-time systems
6. Operating systems and middleware for distributed real-time systems
7. Self-x properties in distributed embedded systems
8. Partitioning and allocation of tasks
9. Distributed real-time operating systems
10. Real-time communication systems
11. Software synthesis for real-time applications
12. Mixed continuous/discrete systems
13. HW/SW co-design for distributed embedded systems
14. Specific (parallel) architectures for distributed embedded systems
15. Dependability and fault tolerance of distributed embedded systems
16. Low power design of embedded systems
17. Case studies of distributed embedded systems

Important dates

December 1st, 2007: Submissions due
February 20th, 2008: Notification of acceptance
March 20th, 2008: Final papers due

Paper Submission

You may submit full papers up to 10 pages or extended abstracts (3 - 5 pages) describing original work on the topics above or related ones via the DIPES conference URL http://www.c-lab.de/dipes. Extended abstracts should provide a summary of the main results and some details to allow the program committee to assess their merits and significance, including references and comparisons. The contribution must be unpublished and not submitted for publication elsewhere, including journals and the proceedings of other symposia or workshops. One author of each accepted paper has to present it at the conference. The proceedings will be published by Springer Science and Business Media, the official IFIP publisher. The final paper may be up to 10 pages in 11 point or larger with a text area of 7" x 4.75". Further formatting guidelines can be found at the publisher's website http://springer.com/series/6102 or at the DIPES website.

Conference Chairs

General Chair: Wayne Wolf, University of Princeton, USA
PC Chair: Bernd Kleinjohann, University of Paderborn/C-LAB, Germany
Publication Chair: Lisa Kleinjohann, University of Paderborn/C-LAB, Germany

Wednesday, October 24, 2007

CFP: UML & AADL 2008 (4/08, Belfast, Northern Ireland)

**********************************************************************
CALL FOR PAPERS : UML&AADLÂ'2008

http://www.artist-embedded.org/artist/Topics,1199.html

Workshop held in conjunction with ICECCS 2008
The thirteenth IEEE International Conference on
Engineering of Complex Computer Systems

http://www.iceccs.org/

http://www.compeng.ulster.ac.uk/events/ecbs2008/workshops.php

April 02 , 2008
Belfast, Norther Ireland

************************************************************************

Submission deadline: December 01, 2007
--------------------------------------

The first OMG sponsored "UML & AADL" workshop was held at ENST Paris (Telecom Paris) in 2006. The workshop was focused on embedded real-time software-intensive systems that are usually found in the avionic, vehicular control and aerospace fields. The workshop clearly had a main concern which was to determine what architectural levels would be better described with UML as opposed to AADL and vice versa, how to use these two standardised languages together (integrating them using an MDA approach, e.g.: TOPCASED).

The second edition of the workshop, "UML&AADL'2007" was held in conjunction with the 12th International Conference on Engineering of Complex Computer Systems (ICECS07). The AADL standard had just been completed with a behaviour annex proposal and the MARTE UML profile was about to be accepted. Thus, the main concerns of the second edition of the workshop were centred around which parts of the MARTE UML profile could be incorporated into an AADL PSM (Platform Specific Model) without overly complicating the language, how to maintain the non-functional properties and aspects of the design throughout the whole software engineering process and how to specify functional and non-functional properties of AADL components.

The third edition of the workshop, "UML&AADL'2008" will again be held with the ICECCS conference since many concerns are found to be common and/or complementary. The proposed topics of the workshop are revolve around the architecture modeling of complex systems. This year, the main concerns are:
• How to handle code generation from a high-level specification
• How to ensure architecture model verification
• How to model DRE (Distributed Real-time Embedded) systems with an MDA approach
• How to carry out scheduling analysis from system models

Topics:
======

New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features they have to manage. They must meet new requirements of reusability, interoperability, flexibility and portability. These new dimensions favour the use of an architecture description language that offers a global vision of the system, and which is particularly suitable for handling real-time characteristics.

Due to the even more increased complexity of distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more obvious in this domain than in monolithic RT systems. The purpose of this workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to behaviour modelling and model-based analysis of DRE systems.

This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE system behaviour and/or architecture models. To this end, we solicit short papers (~6 pages long) as well as full papers (not more than 20 pages) related to, but not limited to, the followingprincipal topics:

• Code generation from UML (action language) or an ADL (for instance,building a runtime corresponding to what is specified in an ADL description, code patterns) towards multiple target languages. Presentation of code genaration frameworks, tool suites or component-based programming will be particularly appreciated
• Model verification to verify functional properties against constraints given in the architecture model
• Verification of non-functional properties given in the architecture model against constraints given in the model
• Modelling DRE systems with languages such as UML and/or AADL, ACME,Wright, or other ADLs
o Behaviour modelling (concerns described in the Scope part)
o How to enhance modelling languages and ADLs to capture real
time,
embedded and distributed aspects in a convenient manner
o How to specify real-time requirements and characteristics in
modelling languages

Workshop Format
===============
This full-day workshop will consist of an introduction of the topic by the workshop organizers, presentations of accepted papers, and in depth discussion of previously identified subjects emerging from the submissions. A summary of the discussions will be made available.

Submission and Publication
==========================
To contribute, please send a position paper or a technical paper to agusti[dot]canals[at]c-s[dot]fr with "ICECCS08 UML&AADL Workshop" in the title. Papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. Preferably, submissions should be in PDF format.

Workshop proceedings will be distributed to all participants and made available through the workshop website.

The seven best papers and a workshop overview will be published in the IEEE Computer Society Press Proceedings.

Additionally, all selected papers will be availables in an "IEEE Xplore Digital Library File Cabinet".

IMPORTANT DATES
===============
Submission deadline: December 01, 2007
All Notification of acceptance: December 15, 2007
Workshop date : April 02, 2008


Organizers
==========
Agusti Canals (CS, France)
Sébastien Gérard (CEA-LIST, France)
Isabelle Perseil (ENST, France)


Programme Committee:
Yamine Ait Ameur (LISI / ENSMA, France)
Jean-Paul Bodeveix (IRIT, France)
Agusti Canals (CS, France)
Mamoun Filali (IRIT, France)
Madeleine Faugère (THALES, France)
Robert France (Colorado State University, USA)
Sébastien Gérard (CEA-LIST, France)
Irfan Hamid (ENST, France)
Bruce Lewis (US Army AMCOM)
Dominique Mery (LORIA, France)
Thierry Millan (IRIT, France)
Richard Paige (University of York, United Kingdom)
Douglas C. Schmidt (Vanderbild University, USA)
Françoise Simonot Lion (LORIA, France)
Oleg Sokolsky (University of Pennsylvania, USA)
Jing Sun (University of Auckland, New Zealand)
Martin Törngren (KTH - Royal Institute of Technology, Sweden)
Thomas Vergnaud (CNES, France)
François Vernadat (CNRS-LAAS, France)
Sergio Yovine (CNRS-Verimag, France)
André Windisch (EADS Military Aircraft, Germany)

Thursday, October 18, 2007

CFP: Software and Compilers for Embedded Systems (SCOPES 2008), March 13-14, Munich

11th International Workshop on
Software and Compilers for Embedded Systems

SCOPES 2008

March 13-14, 2008
ICM, Munich, Germany

http://www.scopesconf.org

----------------------------------------------------------------------------

CALL FOR PAPERS



ABOUT SCOPES 2008

The influence of embedded systems is constantly growing. Increasingly powerful and versatile devices are developed and put on the market at a fast pace. The number of features is increasing, and so arre the constraints on the systems concerning size, performance, energy dissipation and timing predictability. Since most systems today use a processor to execute an application program rather than using dedicated hardware, the requirements can not be fulfilled by hardware architects alone: Hardware and software have to work together to meet the tight constraints put on modern devices.

One of the key characteristics of embedded software is that it heavily depends on the underlying hardware. The reason of the dependency is that embedded software needs to be designed in an application specific way. To reduce the system design cost, e.g. code size, energy consumption etc., embedded software needs to be optimized exploiting the characteristics of the underlying hardware.

SCOPES focuses on the software generation process for modern embedded systems. Topics of interest include all aspects of the compilation process, starting with suitable modeling and specification techniques and programming languages for embedded systems. The emphasis of the workshop lies on code generation techniques for embedded processors. The exploitation of specialized instruction set characteristics is as important as the development of new optimizations for embedded application domains. Cost criteria for the entire code generation and optimization process include runtime, timing predictability, energy dissipation, code size and others. Since today's embedded devices frequently consist of a multi-processor system-on-chip, the scope of this workshop is not limited to single- processor systems but particularly covers compilation techniques for MPSoC architectures.

In addition, this workshop intends to put a spotlight on the interactions between compilers and other components in the embedded system design process. This includes compiler support for e.g. architecture exploration during HW/SW codesign or interactions between operating systems and compilation techniques. Finally, techniques for compiler aided profiling, measurement, debugging and validation of embedded software are also covered by this workshop, because stability of embedded software is mandatory.

SCOPES 2008 is the 11th workshop in a series of workshops initially called "International Workshop on Code Generation for Embedded Processors". The name SCOPES has been used since the 4th workshop. The scope of the workshop remains software for embedded systems with emphasis on code generation (compilers) for embedded processors. SCOPES will be held in cooperation with ACM SIGBED and is sponsored by ARTIST2 and EDAA. SCOPES 2008 is co-located with the DATE conference.


----------------------------------------------------------------------------


IMPORTANT DATES

Full paper submission: Dec 01, 2007
Notification of acceptance: Jan 30, 2008
Final paper submission: Feb 21, 2008


----------------------------------------------------------------------------


SUBMISSION INSTRUCTIONS

Papers should present original research results not published or submitted for publication in other forums. Papers should not exceed 10 pages (single- spaced, 2 columns, 10pt font; see the DATE website http://www.date-conference.com for detailed guidelines) and must be submitted using the SCOPES paper submission website. To permit blind review, submissions should not include the author names. Accepted papers will be published via the ACM digital library.


----------------------------------------------------------------------------


GENERAL CHAIR

Heiko Falk
Computer Science 12
University of Dortmund, DE


PUBLICITY CHAIR

Peter Marwedel
Computer Science 12
University of Dortmund, DE


----------------------------------------------------------------------------


FURTHER INFORMATION

Website: http://www.scopesconf.org
Mailing List: http://www.scopesconf.org/list


----------------------------------------------------------------------------


SPONSORS

SCOPES 2008 is kindly supported and sponsored by the following companies and
institutions:

+ ACM SIGBED
http://www.acm.org/sigbed

+ Artist2 European NoE
http://www.artist-embedded.org

+ European Design and Automation Association, EDAA
http://www.edaa.com

More information about the Artist Mailing List:
http://www.artist-embedded.org/artist/Artist-Mailing-List.html

Tuesday, October 9, 2007

CFP: 2008 ACM International Conference on Computing Frontiers

Call for Papers
2008 ACM International Conference on Computing Frontiers
(Computing Frontiers 2008)

Ischia, Italy
May 5-7, 2008

http://www.computingfrontiers.org/
Sponsored by:

Association for Computing Machinery
ACM Special Interest Group on Microarchitecture

=================================================================

Call for Papers - Computing Frontiers 2008

The increasing needs of present and future computation-intensive applications have stimulated research in new and innovative approaches to the design and implementation of high-performance computing systems. These boundaries between state of the art and innovation constitute the computing frontiers that must be pushed forward to provide the computational support required for the advancement of all science domains and applications. This conference focuses on a wide spectrum of advanced technologies and radically new solutions; it is designed to foster communication among many scientific and technological disciplines.

Authors are invited to submit papers on all areas of innovative computing systems that extend the current frontiers of computer science and engineering and that will provide advanced systems for current and future applications.

Papers are sought on theory, methodologies, technologies, and implementations concerned with innovations in computing paradigms, computational models, architectural paradigms, computer architectures, development environments, compilers, and operating environments. Papers should be submitted to one of the following areas:

* Non-conventional computing
* Next-generation high performance computing, esp. novel high-performance systems (including Cell, GPGPU and custom accelerators)
* Applications, programming models and performance analysis of parallel architectures and novel high-performance systems
* Virtualization and virtual machines
* Grid computing
* Compilers and operating systems
* Workload characterization of emerging applications
* Service oriented architecture (SOA) and system impact
* Supercomputing
* SOC architectures, embedded architectures and special purpose architectures
* Temperature, energy, and complexity-aware designs
* System management and security
* Quantum computing
* Computational biology
* Reconfigurable computing
* Autonomic and organic computing
* Computation intelligence frontiers: theory and industrialapplications
* Fault tolerance and Reliability

Selected papers will be published in a special issue of the HiPEAC journal.

Submitted manuscripts should not exceed 20 double-spaced, single-column pages, including figures, tables, and references. Submission implies that at least one author will register for the conference and present the paper, if accepted. Submissions must be made electronically as Adobe PDF files through the conferenceweb-site, and must not be simultaneously submitted to any other publication outlet.


=========================================================
Computing Frontiers 2008 Committee Information
=========================================================

* General Chair: Alex Ramirez, Universitat Politecnica de Catalunya (UPC)
* Program Chairs: Michael Gschwind, IBM TJ Watson Research Center,
Gianfranco Bilardi, University of Padova

* Finance Chair: Carsten Trinitis, TU M’nchen
* Special Session Chair: Osman Unsal, BSC, ES
* Local Arrangements Chair: Claudia Di Napoli, CNR
* Publicity Chair: Julita Corbalan, UPC
* Liaison Chair for Asia: Hitoshi Oi, University of Aizu
* Registration Chair: Monica Alderighi, INAF
* Publication Chair: Sergio D'Angelo, INAF, IT
* Web Chair: Greg Bronevetsky, LLNL

=========================================================
Important dates
=========================================================

* Paper submission: *December 7, 2007*
* Author notification: *January 18, 2008*
* Final papers due: *February 22, 2008*

=========================================================
Forms / downloads
=========================================================
* Call For Papers: http://www.computingfrontiers.org/docs/cf08_cfp.pdf

=========================================================
Sponsors
=========================================================

Association for Computing Machinery ACM Special Interest Group on Microarchitecture
http://www.acm.org/sigmicro

CFP: First Workshop on Programmability Issues for Multi-Core Computers (MULTIPROG)

CALL FOR PAPER

First Workshop on Programmability Issues for Multi-Core Computers (MULTIPROG)

Held in conjunction with the 3rd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC) Goteborg, Sweden, January 27, 2008


Goal of the Workshop
--------------------
As computer manufacturers are embarking on the multi-core roadmap, which promises a doubling of the number of processors on a chip every other year, the programming community is faced with a severe dilemma. Until now, software has been developed with a single processor in mind and it needs to be parallelized to take advantage of the new breed of multi-core computers. As a result, progress in how to easily harness the computing power of multi-core architectures is in great demand.

This workshop aims to bring together, and cause fruitful interaction between, researchers interested in programming models and their implementation and in computer architecture with the common interest in advancing our knowledge how to simplify the task of parallelization of software for multi-core platforms. A wide spectrum of issues are central themes for this workshop such as what the future programming models should look like to accelerate software productivity and how it should be implemented at the runtime, the compiler, and the architecture level.

We will prioritize papers reporting on on-going work that address cross-cutting issues and that provide thought-provoking insights into the main themes. A special issue that contains the accepted papers is planned for the second issue of Transactions on HiPEAC in June 2008.


Topics of interest
-----------------

Papers are sought on topics including, but not limited to:

* Multi-core architectures
o Architectural support for compilers/programming models
o Processor (core) architecture
o Memory system architecture
o Performance/power issues
* Programming models for multi-core architectures
o Language extensions
o Run-time systems
o Compiler optimizations and techniques
* Applications for multi-core architectures
o Methodologies
o Benchmarking


Organizers
----------

Eduard Ayguade Barcelona Supercomputing Center Spain eduard[at]ac.upc.edu
Roberto Gioiosa Barcelona Supercomputing Center Spain roberto.gioiosa[at]bsc.es
Per Stenstrom Chalmers University of Technology Sweden pers[at]chalmers.se
Osman Unsal Barcelona Supercomputing Center Spain osman.unsal[at]bsc.es


Important dates
---------------
Submission deadline: Oct 5, 2007
Notification to authors: Nov 16, 2007
Final version of accepted papers: Dec 7, 2007

Paper submission
----------------

Submitted papers should use the LNCS format and should be 12 pages maximum. Manuscript preparation guidelines can be found at the LNCS specification web site (go to -> For Authors -> Information for LNCS Authors).
In order to submit your paper go to http://multiprog.ac.upc.edu/CRP/.


Program committee
-----------------

David Bernstein IBM Research Lab in Haifa Israel
Mats Brorsson KTH Sweden
Barbara Chapman University of Houston USA
Marcelo Cintra University of Edinburgh U.K.
Magnus Ekman Sun Microsystems USA
Pascal Felber University of Neuchatel Switzerland
Guang Gao University of Delaware USA
Roberto Georgi University of Siena Italy
Rachid Guerraoui EPFL Switzerland
Erik Hagersten Uppsala University Sweden
Michael Hohmuth AMD - Dresden Germany
Tim Harris Microsoft Research - Cambridge U.K.
Haoquiang Jin NASA Ames USA
Stefanos Kaxiras University of Patras Greece
Ami Marowka Shenkar College of Engineering and Design Israel
Milo Martin University of Pennsylvania USA
Dieter an Mey RWTH, Aachen Germany
Kathy O'Brien IBM Watson Research USA
Mitsuhisa Sato University of Tsukuba Japan
Sanjiv Shah Intel USA
Andre' Seznec IRISA France
Peng Wu IBM Watson Research USA


More details about the workshop can be found at http://multiprog.ac.upc.edu/