| Workshop or Conference Events |
Date |
Location |
Status |
| Stimulating and Sustaining Excitement and Discovery in K-12 STEM Education |
Tue. Jul 31, 2007 |
Friday Institute, North Carolina State University, Raleigh, NC |
Confirmed |
| An exploratory pilot workshop to develop a strategy for motivating the early preparation and eventual deployment of experts in HCSS techniques into the U.S. workforce. |
Web site
|
| |
| High Confidence Platforms for Cyber-Physical Systems |
|
Westin Hotel, Arlington, VA |
Confirmed |
| This workshop asseses the R&D needs and promising technical approaches for restructuring current systems technologies to derive the high confidence software platforms needed for cyber-physical systems (CPS). |
|
Web site
|
| |
| NSA's Hybrid Systems Conference |
|
TBD |
Tentative |
| |
| NSA's 7th Annual HCSS Conference |
|
The conference Center at the Maritime Institute, Linthicum Heights, MD |
Confirmed |
| |
| Strategic Planning, Roadmapping, and Writers' Workshop |
|
University of Pennsylvani, Philadelphia, PA |
Confirmed |
| A forum for contributors to all HCSS CG workshop reports to discuss format for preparing reports, crosscutting technical R&D issues among reports; and strategic planning, |
| |
| Joint High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (PnP) Interoperability Workshop |
|
Hyatt Regency Cambridge, Cambridge, MA |
Confirmed |
| This follow-on workshop will identify the R&D covering all aspects of high integrity medical devices, software, and systems, which are essential to support innovative networked medical device systems to improve safety and efficiency in health care. |
| |
| FAA's Annual Software and Complex Electronic Hardware Conference |
|
New Orleans, LA |
Confirmed |
| |
| Static Analysis Summit II |
|
Hyatt Fair Lakes Hotel, Fairfax, VA |
Confirmed |
| A NIST-sponsored Software Assurance Metrics and Tool Evaluation Meeting for stakeholders to identify software assurance tools and R&D requirements. This summit is co-located with SIGada 2007. |
|
Web site
|
| |
| Mixed Criticality Architecture Requirements (MCAR) Working Group Meeting |
|
Embassy Suites Hotel, Arlington, VA |
Confirmed |
| |
| NSA's Joint Ninth Annual HCSS Conference and SAT Solver Workkshop |
|
TBD |
Confirmed |
| |
| Outside Meetings or Events |
Date |
Location |
Status |
| National Academies Symposium to release the study, Software for Dependable Systems: Sufficient Evidence? |
Tue. Oct 23, 2007 |
Lecture Room, National Academy of Sciences, 2101 Constitution Ave., NW, Washington, DC |
Confirmed |
| In 2003, several HCSS CG agencies funded the National Academies/CSTB to prepare the study, Software for Dependable Systems: Sufficient Evidence?. The study committee led the symposium to publicly discuss the study's merits, findings, and recommendati |
 FAA Presentation  Barbara Lingberg |
| FDA Presentation Paul Jones |
| |
| Embedded Systems Week (ES 2007) |
Sun. Sep 30, 2007 |
Salzburg, Austria |
Confirmed |
| Includes three conferences: International Conference on Embedded Systems (EMSOFT), International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), International Conference on Hardware-Software Codesign and System Synt |
| |
| 13th IEEE Real-Time & Embedded Technology and Applications Symposium |
|
Bellevue, Washington |
Confirmed |
| |
| 28th IEEE Real-Time Systems Symposium 2007 (RTSS 2007) |
|
Tucson, AZ |
Confirmed |
| |
| Cyber Physical Systems (CPS) Week at the 14th Annual IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) |
|
St. Louis, MO |
Confirmed |
| |
| Reports or Publications |
|
|
|
| Research Needs/Workshop Reports |
|
|
|
|
HCSS Research Needs - Janurary 10, 2001
|
| |
| HCSS CG-Sponsored Extramural Studies |
|
|
|
|
Software for Dependable Systems: Sufficient Evidence?
|
| |
| Presentations |
|
|
|
|
Setting an Interagency HCS Research Agenda
Proceedings of the Interagency High Confidence Systems Workshop, March 25, 1998
|
| |
