For the post of Computer Society President, there are three candidates: Roger U. Fujii, John W. Walz and write-in candidate Joe Bumblis.

Important Dates

• Submission deadline: September 30, 2010 (Thursday)
• Notification of acceptance: October 18, 2010 (Monday)
• Camera-ready papers due: November 12, 2010 (Friday)
• RTSS 2010 dates: November 30 — December 3

For further information, please visit the RTSS 2010 WiP session webpage.

Researchers and practitioners are invited to submit proposals for workshops to be held in conjunction with the EuroSys 2011 conference. The purpose of workshops is to provide a forum for exchanging opinions, presenting ideas, and discussing preliminary results in a small and interactive atmosphere.

Proposals should include:

• Workshop name and a 150 to 200 word abstract describing the workshop, suitable for the conference Web site.
• A short summary of the topic, scope and significance of the workshop including a discussion on the relevance to EuroSys topics. Please include information about past iterations of the workshop, if any.
• Information about the procedure for selecting papers plans for dissemination (for example, special issues of journals, or position statements distributed to the participants), the expected number of participants and the planned workshop format.
• A brief CV of each of the organizers including contact addresses and an identification of a single primary contact.

Important dates

• Workshop proposals due: October 19, 2009 (11:59am CEST)
• Acceptance notification: November 7, 2009
• Date of Workshops: April 13, 2010

For more details, consult the EuroSys 2011 website.

Call for Papers: Special Track on Embedded Systems (Applications, Solutions & Techniques)

Important dates:

• August 24, 2010 — Paper submission deadline
• October 12, 2010 — Notification of acceptance
• November 2, 2010 — Camera-ready version due

For more details, consult the track website.

The technical program of CRTS 2010 will include

• invited talks
• regular papers
• NEW for 2010: demonstration session of tools/methodologies for composing real-time systems

CRTS 2010 will be held in conjunction with IEEE RTSS 2010 in San Diego, California, U.S.A. on November 30th, 2010.

Important dates:

More details: http://retis.sssup.it/crts2010/

1st Analytic Virtual Integration of Cyber-Physical Systems Workshop
November 30, San Diego, California

Web site: http://www.cs.illinois.edu/~sibin/avicps/index.html

Cyber Physical Systems (CPS) are software-based systems that control and interact with
physical processes. Such systems play a key role in an ever increasing number of industries.
For example, over 80% of the innovations in automotive systems are for cyber-enabled
system capabilities. Modern aircraft are carefully co-designed and tightly integrated CPS
machines. This trend is also demonstrated by modern medical systems. The movement
towards increasing dependency on software is driven by the fact that software enables the
delivery of a large number of customized capabilities in a product using a relatively small
number of physical and computing platforms.

However, the co-design of physical platforms, computer systems, and embedded software
systems and their tight integration also creates a high degree of complexity of interactions
within and across these systems that far exceeds the capability of existing system composition
technologies. These technologies are of paramount importance to industries that integrate
independently-developed parts into their final products (e.g. automotive and avionics).
Furthermore, even though analytical models of such systems are currently used to predict
different system-level properties they are often developed on a property-by-property basis
by different teams leading to inconsistent assumptions and conclusions. The lack of effective
system-wide analytical results prevents the discovery of design flaws that stem from the
interaction complexity of the system parts; i.e. prevented until the system is physically
integrated. Due to such flaws, the system integration time often exceeds 50% of the total
development time for non-safety critical applications. In safety critical systems, such as
avionics, the system integration and certification time often exceeds 70% of total development
time and costs.

Looking ahead, the success of next generation CPS systems demands system-wide architecture
design patterns and supporting technologies that can integrate legacy components, COTS
components and co-designed new components in such a way that properties such as real
time, safety, fault tolerance and security can be analyzed and predicted before the systems
are physically built. Moreover, it is necessary to have a system-wide composition model that
integrates the different analyses into a single consistent semantic framework to avoid
conflicting results.

This workshop focuses on analytical system composition technologies that will
eventually include:

1. Composition technologies to automatically propagate the impact of modifications in one modeling domain into others.
2. Assumption resolution between modeling abstractions and constructs of different analysis domains.
3. System-level schedulability optimization technologies that integrate constraints imposed by other analytic domains (E.g: security, mechanical stress, heat dissipation, etc.)
4. A quantitative and early analysis of the system architecture performance in an end-to-end fashion, deriving perhaps even the worst/best/average case behaviour for the entire platform and new hardware abstractions. In fact, existing task/system models reason at levels that are well abstracted away from real details (and variations inherent in) hardware components (e.g. multicores, memory architectures, I/O, network-on-chip, etc.). They also are unable to cope with workloads that are beyond the capabilities of traditional computational resources (e.g. video streams, weather data, GPS, etc.)
5. Fault tolerance technologies and reliability analysis techniques that integrate the different natures of physical, hardware and software faults in a common, consistent framework.
6. Safety analysis such as model checking for mixed criticality CPS applications, for example, flight management systems and/or safe medical devices plug and play (MDPnP)
7. Security protocol development and verification techniques for CPS applications.
8. Models for describing/quantifying the environments where such systems must operate.

The goal of this workshop is to explore architecture design patterns, tools and the theoretical
analytical foundations for creating common system-wide composition models where key
properties can be studied and guarantees provided before the start of actual development.
Of particular interest are the case studies on the challenges of expressing the properties of
the final product in terms of component properties and the architecture that governs their
interactions. Both solutions and/or open problems are welcome.

PAPER SUBMISSION

We encourage the submission of papers that present novel ideas, state-of-the-art, work-in-progress and suggest open issues. We also encourage the submission of position papers.

Submissions should be no more than 8 pages in two-column, single spaced, 10 pt format.
Suggested latex style file from IEEE: ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip

All figures, references, etc. must fit within the 8 page limit. Papers that do not meet these requirements will not be reviewed. All submissions should be in the PDF format and submitted at the following link: http://www.easychair.org/conferences/?conf=avicps2010

Submission of the paper implies that should the paper be accepted, at least one of the authors will register and present the paper at the workshop.

Please contact Dioniso de Niz (dionisio@sei.cmu.edu) or Sibin Mohan (sibin@cs.uiuc.edu) for
further information.

IMPORTANT DATES

Submission deadline: September 12, 2010
Notification: October 18, 2010
Camera-ready version: October 24, 2010
Early Registration Deadline: October 29, 2010
Workshop: November 30, 2010

ORGANIZERS

Dionoso de Niz. Software Engineering Institute (SEI).
Sibin Mohan. University of Illinois at Urbana-Champaign (UIUC).

PROGRAM COMMITTEE

Lui Sha. University of Illinois at Urbana-Champaign (UIUC).
Raj Rajkumar. Carnegie Mellon University.
Bruce Krogh. Carnegie Mellon University.
Ken Butts. Toyota.
Marco Caccamo. University of Illinois at Urbana-Champaign (UIUC).
Peter Feiler. Software Engineering Institute (SEI).
Alessandro Forin. Microsoft Research.
Oleg Sokolsky. University of Pennsylvania.
Russell Kegley. Lockheed Martin.
Jonathan Preston. Lockheed Martin.
Steve Vestal. Adventium Labs.
Bill Milam. Ford.
Tom Fuhrman. General Motors.
Sagar Chaki. Software Engineering Institute (SEI).
Rahul Mangharam. University of Pennsylvania.
Jorgen Hansson. Chalmers University.

Important dates

• Paper pre-submission deadline: 10 September 2010
• Abstract submission deadline: 3 October 2010
• Full paper submission deadline: 10 October 2010, 23:59 UTC — no extensions will be granted
• Reviews released to authors: 25 December 2010
• Author rebuttals due: 31 December 2010
• Notification to authors: 8 January 2011
• Camera-ready & copyright-form deadline: TBD
• EuroSys’11 conference: 10-13 April 2011

Special Issue Call for Papers: Temperature/Energy Aware Real-Time Systems

Guest Editors:

• Daniel Mossé, University of Pittsburgh (USA)
• Julius C.B. Leite, Universidade Federal Fluminense (Brazil)
• Dara Kusic, University of Pittsburgh (USA)

Important dates:

• Paper submission deadline: 30 July 2010
• First Decision: 30 September 2010
• Final Manuscript Deadline: 1 November 2010
• Final Decision: December 2010
• Publication: Early 2011

Real-time systems encompassing a range from small-scale embedded devices to large-scale data centers are increasingly challenged to reduce energy consumption while maintaining assurance that soft and hard deadlines will be met. Techniques such as software-controlled dynamic voltage scaling and demand-based on/off approaches have emerged as attractive alternatives to static management policies, yet their flexibility is often matched by the complexity of the solution, with the accompanying risk that deadlines will occasionally be missed. As the computational demands of real-time systems continue to grow, effective yet transparent energy-management schemes will become increasingly important to minimize energy consumption, extend battery
life, and reduce cooling requirements due to thermal loss.

To help advance such work, the Journal Real-Time Systems is planning a special issue on energy and thermal management in real-time systems. The special issue will primarily focus on novel theoretical and/or experience
with practical software-level solutions that advance the research in energy and thermal management of real-time systems. Soft- and hard-deadline real-time systems will be considered equally for the special issue. Realistic applications as testbeds are also of particular interest, examples of which include cyber-physical systems, medical
applications, and sensor networks. Results from real system implementations will be favored over those from simulation. Of particular interest are approaches and applications of energy management in real-time systems to
include, but not limited to:

• Energy-aware operating systems for embedded systems
• Energy and thermal-aware techniques for scheduling, memory management, and
• quality of service
• Energy reduction in communications over sensor networks
• Cluster-level virtualization, consolidation and load balancing techniques
• Dynamic frequency and voltage scaling
• Risk mitigation of deadline misses for demand-based strategies
• Techniques for reliability using energy/thermal metrics
• Case studies of energy and thermal management in real systems

Paper submission:

Authors are encouraged to submit high-quality, original work that has neither appeared in, nor is under consideration by, other journals. Springer offers authors, editors and reviewers of Real-Time Systems a web-enabled online manuscript submission and review system. Our online system offers authors the ability to track the review process of their manuscript. Manuscripts should be submitted to: http://TIME.edmgr.com. This online system offers easy and straightforward log-in and submission procedures, and supports a wide range of submission file formats.

Papers are sought for the 18th International Conference on Real-Time and Network Systems (RTNS 2010) to be held in Toulouse, France, on Nov 4 and 5, 2010.

A detailed CFP can be obtained from the conference’s website.

Important dates

• Submission Deadline: June 6th
• Authors Notification: September 3rd
• Final Manuscript Due: September 24th
• Conference dates: November 4 — 5

May 16 is a hard deadline for paper submissions. Please read the complete CFP for more details.