|
||
|
|
|
|
| Call for Position Papers | |
| Submit to CFP | |
| Agenda | |
| Hotel Reservations | |
| Sister Conferences | |
| Workshop Registration | |
|
|
|
|
Question or Comment |
BackgroundSome of the most challenging R&D software problems for cyber-physicalsystems are those associated with producing, and where computer processors control physical, chemical, or biological processes or devices. Examples of such systems include airplanes and air traffic control systems, automobiles, power grids, oil refineries, and patient monitoring systems. Despite advances in standards-based commercial-off-the-shelf (COTS) technologies, key challenges must be addressed before COTS software can be used to build mission-critical distributed real-time embedded (DRE) systems effectively and productively. For example, developers of DRE systems continue to use ad hoc means to develop, configure, and deploy their applications due to the lack of formally analyzable and verifiable building block components at the operating system and middleware layers. Recognizing this tremendous challenge and responsibility, the HCSS Coordinating Group has decided to conduct an extensive community outreach for exploring new ideas and identifying emerging trends that could be used as input for a National research agenda on High Confidence Software Platforms for Cyber-Physical Systems. In particular, the workshop will focus on R&D strategies and tactics for restructuring the current real-time operating system, virtual machine, and distributed computing middleware platforms into a sound and assured real-time technology base for building future cyber-physical systems. Panel Breakout Sessions (see Agenda for full details)1. Architecture, Execution, and (Spatio-Temporal) Virtualization (Lead: Joe Loyall) 2. Services and Assembly (Lead: Priya Narasimhan) 3. Programming and Synthesis, Hardware, and Software (Lead: Kevin Sullivan) Workshop OrganizersDoug Schmidt, Vanderbilt University (Co-Chair)Raj Rajkumar, Carnegie Mellon University (Co-Chair) HCSS CG Sponsor AgenciesHelen Gill (NSF, HCSS CG Co-Chair)Brad Martin (NSA, HCSS CG Co-Chair) Paul Miner (NASA) Ray Bortner (AFRL) Program CommitteeDavid Bacon (IBM)Brian Bershad (U of Washington) Ken Birman (Cornell) Greg Bollella (Sun Microsystems) Alessandro Forin (Microsoft Research) Steve Goddard (U of Nebraska-Lincoln) John Hatcliff (Kansas State U) Frankie King (NCO/NITRD) Doug Lea (SUNY-Oswego) Joe Loyall (BBN Technologies) Frank Mueller (NCSU) Klara Nahrstedt (UIUC) Priya Narasimhan (CMU) Doug Niehaus (U of Kansas) William Scherlis (CMU) Lui Sha (UIUC) Jack Stankovic (UVA) Kevin Sullivan (UVA) Jan Vitek (Purdue) Kurt C. Wallnau (Software Engineering Institute)
|