The High Confidence Software and Systems (HCSS) Coordinating Group (CG) of the Federal Networking and Information Technology R&D (NITRD) Subcommittee, Committee on Technology of the National Science and Technology Council, invites you to attend and to consider submitting a position paper for the National Workshop on Research Directions in Composition and Systems Technology for High Confidence Cyber-Physical Systems (CST-HCCPS). The CST-HCCPS Workshop is a follow-on to a series of vendor briefings held between the Fall of 2005 and early 2006, as well as two earlier workshops held in July 2006 and November 2006. It will be held in The Westin Arlington Gateway Hotel in Arlington, Virginia on July 9th and 10th, 2007.
Submission of position papers is not a requirement for attending the Workshop. However, through the call for position papers, we solicit inputs that can be used by the HCSS CG to help identify the research needs, challenges, and roadmap for CST-HCCPS. The organizers will deliver a report to the Government that summarizes the workshop’s findings. By submitting a position paper, you will have the opportunity to provide technical facts and information that potentially can help shape the future direc\tion of HCSS. Due to the workshop’s ambitious schedule, position papers are requested by Wednesday, June 20, 2007.
These workshops are designed to support the High Confidence Software and Systems (HCSS) Coordinating Group of the Networking and Information Technology Research and Development (NITR&D) Sub-committee, National Science and Technology Council, Executive Office of the President.
The purpose of the CST-HCCPS Workshop is to assess research needs and promising technical approaches pertaining to restructuring current systems technology to derive the high confidence software platforms needed for cyber physical systems (CPS). The goal is to provide a sound, practical technological base for deeply integrating the cyber and physical aspects of future certifiably dependable engineered systems. The CST-HCCPS Workshop will produce documentation which will be delivered in the form of a final report to help shape national research investments in HCSS-related systems and assurance technologies.
Despite advances in standards-based commercial-off-the-shelf (COTS) technologies, key challenges—which are often multidisciplinary in nature—must be addressed before COTS hardware and software can be used effectively and productively to build mission-critical CPS. For example, developers of these 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. Yet the physical and cyber complexities of new and planned systems will require guaranteed behaviors and prevention of unfavorable emergent behaviors.
The following are examples of the types of questions addressed by workshop participants:
- What are the abstractions that we need to be trying to program for CPS? What are the varieties of abstraction and virtualization boundaries that need to be supported by CPS platform technologies?
- What are the new (or that could be invented) platform technologies and services (gadgets, thread-/event-like mechanisms, scheduling, new fault tolerance/recovery ideas, etc.) that are needed for CPS? How is this different from today's RTOS?
- What is needed for design-for-verification/certification/assurance from the formal methods, systems, and programming/engineering perspecives? What ideas exist for significantley enabling safe design and at the same time supporting evidence-based certification?
CST-HCCPS Workshop Organizers
- Azer Bestavros, Boston University (Co-Chair)
- Raj Rajkumar, Carnegie Mellon University (Co-Chair)
- Doug Schmidt, Vanderbilt University (Co-Chair)
CST-HCCPS Program Committee
- Steve Goddard (University of Nebraska-Lincoln)
- John Hatcliff (KSU)
- Bruce Krogh (Carnegie Mellon)
- Klara Nahrstedt (UIUC)
- George Pappas(University of Pennsylvania)
- Kevin Sullivan (UVA)
- Frankie King (NCO/NITRD)
HCSS CG Sponsor Agencies
- Ray Bortner (AFRL, HCSS CG member)
- Helen Gill (NSF, HCSS CG Co-Chair)
- Brad Martin (NAS, HCSS CG Co-Chair)
- Albert Wavering (NIST, HCSS CG member