HCSS CG Activities

HCSS CG-Sponsored and Co-Sponsored Briefings, Planning Meetings, and Workshops

(Updated April 2007)

2007

October

• HCSS CG participation at EMSOFT Conference, Week of October 5, 2007, Salzburg, Austria

July

• K-12 STEM Education Planning Workshop, July 30-August 1, 2007 at North Carolina State University at Raleigh. This is an exploratory workshop with the goal of workshop is to develop a strategy for motivating the early preparation and eventual deployment of experts in HCSS techniques into the U.S. workforce.
• Follow-on Workshop – New Research Directions in Composition and Systems Technology for High Confidence Physical Systems, July 9-10, 2007, Westin Hotel Arlington, Virginia. These activities are co-located with the Object Management Group’s (OMG’s) Annual Real-Time Embedded Systems Conference, July 9-12, 2007. The main purpose of this 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 more sound and assured technology base for deeply integrating the cyber and physical aspects of future engineered systems. It is a follow-on to earlier planning workshops held in July and November 2006

June

• Follow-on Workshop – High Confidence Medical Devices, Software, and Systems Workshop, June 25-26, Hyatt Regency Hotel, Boston, Massachusetts, Co-located with the Plug-n-Play Workshop (hosted by Dr. Julian Goldman of Harvard Medical School and Massachusetts General Hospital, June 27, 2007, Boston, MA). This workshop will provide a forum for the presentation of research and development covering all aspects of high integrity medical devices, software, and systems, which is essential to support innovative networked medical device systems to improve safety and efficiency in health care. It is a follow-on to earlier workshops held in 2004 and 2005.
• Report Writers’ Workshop on June 8 at the University of Pennsylvania in Philadelphia, Pennsylvania. The workshop will bring together all contributors to HCSS Workshop reports and roll out a single style, content, and roadmapping format to be adopted for preparing current and future HCSS workshop reports

Summer

• Static Analysis Workshop (Domestic Follow-on Meeting) [Proposed for the U.S.; Details are forthcoming]
• Public meeting for the release of the HCSS CG-sponsored NAS study, Sufficient Evidence: Building Certifiably Dependable Systems, National Academies Main Campus, Washington, D.C. (Tentative completion date: First quarter 2007)

May

• NSA’s 7th Annual HCSS Conference, May 8-10, 2007, The Conference Center at the Maritime Institute, 692 Maritime Blvd., Linthicum Heights, MD  21090, [www.ccmit.org]

April

• HCSS CG participation in the Event Structures Meeting, April 3, 2007, Bellevue, Washington
• HCSS CG participation in the IEEE/RTAS Conference, April 3-7, Bellevue, Washington

Spring

• Static Analysis Summit (International Follow-on Meeting) – [Proposed for the United Kingdom; Details are forthcoming]

March

• Medical devices roundtable discussion with Dr. Julian Goldman (Massachusetts General Hospital); Dr. Insup Lee (U Penn); Larry Levitt (Kaiser Family Foundation); and Vish Sankaran (HHS/ONCHIT), Friday, March 9, 2007, 11:00 a.m. – 3:00 p.m., ITS-Noesis Business Unit Large Conference Room
• Presentation to the HCSS CG on the Federal Aeronautics R&D Plan by Dr. Robie Samanta Roy, Assistant Director for Space and Aeronautics, OSTP and William S. Davis, NSTC Representative for Space and Aeronautics, Wednesday, March 7, 2007, 11:00 a.m. – 1:00 p.m., NSF/Stafford II-Room 415
• Pre-planning meeting for the Verification Grand Challenge activity, March 2-3, 2007 [Palo Alto, CA]

2006

November-December

• National Workshop on New Directions for High Confidence Software Platforms for Cyber-Physical System Technologies,November 29- December 1, 2006, Hilton Old Town Alexandria, Alexandria, Virginia [http://www.isis.vanderbilt.edu/HCSP-CPS/ ]
• National Workshop – Beyond SCADA: Cyber Physical Systems, November 8-9, 2006, Sheraton-Station Square Hotel, Pittsburgh, Pennsylvania [http://trust.eecs.berkeley.edu/scada/wiki/Scada/Main] or [http://www.truststc.org/scada/]

October

• National Workshop Aviation Software Systems for the Second Century of Flight: Design for Certifiably Dependable Systems, October 5-6, 2006, Hilton Old Town Alexandria, Alexandria, Virginia

September

• Public meeting for the release of the HCSS CG-commissioned NAS study, Sufficient Evidence: Building Dependable Systems [Proposed for mid-September, 2006, National Academies, Washington, D.C.

August

• Joint HCSS CG Monthly Meeting and HCRTOS Vendor Non-Disclosure Briefings with Apple, Intel, National Instruments, and UTRC, August 2, 2006, NSF, Arlington, Virginia

July

• Planning Meeting for the National Workshop on the Next Generation of High Confidence Real-Time Systems Technologies (9:00 a.m. – 5:00 p.m.) and Birds of a Feather (6:00 p.m. – 8:00 p.m.), July 10-14, 2006, Arlington Hilton Hotel, Arlington, Virginia. These activities are co-located with OMG’s Annual Real-Time Embedded Systems Conference to be held at the same location.

June

• Joint UE-EU-Tekes Workshop on Long-Term Challenges in High Confidence Composable (Evolutionary)Embedded Systems, June 21-23, 2006, Helsinki, Finland (http://trust.eecs.berkeley.edu/euus/wiki/Euus/ConferenceVenueAndHotelArrangements)
• NIST-led Static Analysis Symposium, Thursday, June 29, 2006, NIST Headquarters, Gaithersburg, MD, (See http://samate.nist.gov/SAS)

April

• NSA’s Annual HCSS Conference, April 17-19, 2006, The Conference Center at the Maritime Institute, 5700 Hammonds Ferry Road, Linthicum Heights, MD  21090, (www.ccmit.org)
• HCSS CG Community Working Meeting on the Verification Grand Challenge, April 26, 2006, SRI, Washington, D.C.

March

• HCSS CG’s Planning Meeting for the National Workshop on Beyond SCADA: Networked Embedded Control Systems, March 14-15, 2006, Embassy Suites Hotel @ 1250 22nd & Pennsylvania, Washington, D.C.
• HCSS CG’s US-EU Embedded Systems Meeting, March 16-17, 2006, Embassy Suites Hotel-Convention Center, Washington, D.C.

January

• Combination HCSS CG monthly meeting and Fourth Round of Technology Development High Confidence RTOS Vendor Non-disclosure Briefings, Tuesday, January 17, 2005, 12:00 p.m.-5:00 p.m., NSF/Stafford II, Room 595)
  
  

2005

• The HCSS CG will host an all-day series of closed Stage Setting vendor non-disclosure briefings on Assured, Real-Time Operating Systems on Wednesday, September 7, 2005 at the National Science Foundation, Arlington, VA, 8:30 a.m. -
  6:00 p.m.
  
  
• The HCSS CG will hold a closed all-day interagency Special Meeting on program and budget coordination on Monday, October 3, 2005; NSF/Stafford II-Room 415; 9:00 a.m. -
  4:00 p.m.
  
  
• The HCSS CG will hold a three-day series of all-day closed industry non-disclosure briefings on Assured, Real-Time Operating Systems on Tuesday, October 4 – Thursday, October 6, 2005 at the National Science Foundation, Arlington, VA, 9:00 a.m. – 5:00 p.m. each day.
  
  
• The National Institute of Standards and Technology will host the Second Annual US OWASP AppSec Conference, October 11-12, 2005, NIST, Gaithersburg, Maryland.
  
  http://www.owasp.org/conferences/appsec2005dc.html
  
  
• The National Institute of Standards and Technology will hold a Workshop on Software Security Assurance Tools, Techniques, and Metrics, November 7-8, 2005, Long Beach, CA, Co-located with ASE 2005.
  
  http://samate.nist.gov/SATTM/
  
  
• The National Institute of Standards and Technology will hold a Workshop on Software Assessment (WOSA'2005), November 8, 2005, Chicago, IL, co-located with ISSRE 2005.
  
  http://rachel.utdallas.edu/issre/wosa2005.doc
  
  
• The HCSS CG will sponsor an Assured, Real-Time Operating Systems Birds of a Feather at the SuperComputing ’05 conference on Wednesday, November 16, 2005 in Seattle, Washington, 12:15 p.m. - 1:15 p.m.
  [More details are forthcoming]
  
  
• The HCSS CG will sponsor an Aviation Safety/Flight Critical Systems Workshop Planning Meeting on Monday, November 21 - Thursday, November 22, 2005 in Seattle, Washington.
  [More details are forthcoming]
  
  
• The HCSS CG will sponsor a CIP/SCADA//Power Grid Workshop Planning Meeting tentatively scheduled for December 2005 in the Washington, D.C. area.
  [More details are forthcoming]
  

• A North American HCSS Open Verification Workshop was held February 21-23, 2005 in Menlo Park, CA. The goal of the workshop was to evolve and evaluate verification tools in combination against the growing collection of increasingly difficult challenge codes and specifications and to yield a roadmap for the relevant verification technologies.
  
  http://www.csl.sri.com/users/shankar/VGC05/
  
  
• On March 9 - 11, 2005 the National Security Agency's (NSA) HCSS Group sponsored its 5th HCSS Conference, a meeting showcasing recent technical accomplishments, promising research activities, and future research directions, all focused on improving the confidence of software and systems. The technical program was held at the Conference Center at the Maritime Institute, Linthicum Heights, Maryland.
  
  
• The HCSS CG sponsored a High Confidence Medical Devices Software and Systems Research and Roadmap HCMDSSR&R Workshop on June 2-3, 2005 in Philadelphia, Pennsylvania. The goal of the workshop was to bring national attention to the rapidly increasing use of software to control medical devices that makes their development and production a crucial issue for assuring reliable and safe medical device technology advances and innovations for the future. Workshop deliverables include a taxonomy of research needs for next generation IT research for medical devices and a roadmap for near-, medium-, and long-term research development and implementation.
  
  http://www.cis.upenn.edu/hcmdss/
  
  
• The HCSS CG will hold a preliminary workshop planning meeting on Aviation Safety at MIT on Monday, August 8, 2005, at MIT, Cambridge, MA, 2:00 p.m.
  
  
• The National Institute of Standards and Technology will hold a Workshop on Defining the State of the Art in Software Security Tools, August 10-11, 2005, NIST, Gaithersburg, Maryland.
  
  http://samate.nist.gov/softSecToolsSOA

2004

• On November 16-17, 2004, the HCSS CG held its first High Confidence Medical Device Software and Systems (HCMDSS) Workshop Planning Meeting (WPM). The purpose of the HCMDSS WPM was to bring together experts from industry, academia, and government to identify crucial medical device software and systems issues and challenges facing the manufacture of medical devices. This activity was the first step in planning for a larger national-level workshop slated for the Spring of 2005. The meeting was held in Arlington, Virginia.
  
  http://www.cis.upenn.edu/hcmdss-planning/
  
  

2002

• A U.S. Technical Workshop on Information Technology for Critical Infrastructure Protection was held on September 19-20, 2002, and a U.S.-E.U. Workshop on R&D Strategy for Sustaining an Information Society: U.S.-E.U. Collaboration was held on September 23-24, 2002. Both workshops were held at the National Conference Center in Landsdowne, Virginia.
  
  The U.S. Technical Workshop identified fundamental Information Technology (IT) challenges that must be answered to make the critical infrastructure of the Nation safer against potential attacks and to explore the international aspect of proposed research plans and policies.
  
  The U.S.-E.U. Workshop focused on the information technology research emerging in the control of critical infrastructure systems including developing approaches to ensure protection and understanding of these systems and controlling system interdependencies.
  
  The final product of both workshops is a report that will be available for Federal program managers to plan and coordinate their activities. The workshops were organized by UC Berkeley, in conjunction with Vanderbilt University & the University of Virginia. Funding is provided by the National Science Foundation and Sandia Laboratories.
  
  http://www.eecs.berkeley.edu/CIP/