Embedded Systems

Chair: Tarek Abdelzaher

Program Committee Members

The Embedded Systems Track of SSS 2009 seeks papers describing significant contributions to the broad field of embedded computing, control, and communication, with emphasis on stability, safety, and security. Topics may cover fundamental research challenges, theoretical foundations and architectures for embedded systems including but not limited to quality of service, scheduling, resource management, system integration, dependability, kernel-level mechanisms, design & development tools, formal methods, software component models, performance modeling, and performance control.

Areas of interest to this track are divided into the following themes:

• Safety-critical systems and applications: Contributions are encouraged on modeling, analysis, design, and composition of embedded systems for commercial, industry, military, or other production environments, including automotive, avionics, industrial control, aerospace, electronics, and sensors. Topics in this area include but are not limited to challenges, requirements, model problems, and constraints associated with embedded technologies to meet requirements such as stability, safety, performance, predictability, reliability, certifiability or security.
• Emerging embedded systems: Papers are solicited that detail prototypes, experiments, implementations, and novel experiences in emerging embedded computing areas that present new model problems or identify significant constraints that require new approaches to stability, safety, and security in embedded computing. New computational paradigms, programming abstractions, guarantee semantics and middleware components are encouraged.
• Open embedded systems: Challenges and solutions for open embedded systems are solicited where independently developed components and applications share resources, often across a network, making stability, safety and security harder to attain. Topics may include but are not limited to interoperability of open performance-aware applications, performance guarantees under uncertainty, combining/trading-off different performance dimensions such as dependability, timeliness and security, wireless and mobile embedded computing, embedded ad hoc networks, sensor networks, as well as novel quality and performance metrics for open embedded systems.
• Control in embedded computing: Interactions between embedded computing and control systems. Co-stability of software and physical components. Control of software performance. Control-theoretic models and analysis of distributed computing systems.