High Confidence Software and Systems Coordinating Group (HCSS CG)
Contents |
Overview
The HCSS CG coordinates the activities of the High Confidence Software and Systems Program Component Area (PCA).
HCSS R&D supports development of scientific foundations and innovative and enabling software and hardware technologies for the engineering, verification and validation, assurance, and certification of complex, networked, distributed computing systems and cyber-physical (IT-enabled) systems (CPS). The goal is to enable seamless, fully synergistic integration of computational intelligence, communication, control, sensing, actuation, and adaptation with physical devices and information processes to routinely realize high-confidence, optimally performing systems that are essential for effectively operating life-, safety-, security-, and mission-critical applications. These systems must be capable of interacting correctly, safely, and securely with humans and the physical world in changing environments and unforeseen conditions. In many cases, they must be certifiably dependable. The vision is to realize dependable systems that are more precise and highly efficient; respond more quickly; work in dangerous or inaccessible environments; provide large-scale, distributed coordination; augment human capabilities; and enhance societal quality of life. New science and technology are needed to build these systems with computing, communication, information, and control pervasively embedded at all levels, thus enabling entirely new generations of engineering designs that can enhance U.S, competitiveness across economic and industrial sectors.
Co-Chairs
Events
- October 25-27, 2012
- The New Clockwork for Time-Critical Computing National Workshop
- Hyatt Regency Baltimore, 300 Light Street, Baltimore, Maryland
- http://cps-vo.org/group/time-criticalworkshops
- Weeks of April 15th, 22nd, and 29th 2013 two day workshop
- CPS Medical Devices
- National Science Foundation, 4201 Wilson Boulevard, Arlington, VA 22230
- April 8-11, 2013
- CPS Week 2013
- Philadelphia, PA
- http://cps-vo.org/node/5521
- May 5-10, 2013(?) based on 2012 dates
- 13th Annual HCSS Conference
- Annapolis, MD
- May 14-16, 2013
- 5th NASA Formal Methods Symposium NFM 2013
- NASA Ames Research Center, Moffett Field, CA
- http://ti.arc.nasa.gov/events/nfm-2013/
Reports and Publications
- High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care (February 2009) http://www.nitrd.gov/About/MedDevice-FINAL1-web.pdf
- CPS_OSTP_Response - Winning the Future
Related Presentations
- Academic Community’s Views on Research Contributions to NextGen by Prof. Hamsa Balakrishnan and Prof. Eric Feron
- Critical Code: Software Producibility for Defense by Dr. William Scherlis (Chair of the National Academies report)