National HCSS Conference 2014

14th Annual High Confidence Software and Systems Conference.
file

Visible to the public Toward Precise and Accurate Descriptions of Weaknesses

Submitted by Paul E. Black on Fri, 04/25/2014 - 9:20am. Contributor:

Abstract:

MITRE's Common Weakness Enumeration (CWE) http://cwe.mitre.org/ is a list of several hundred classes of weakness that may be found in software. While it is a huge amount of progress over what was available a decade ago, there is still a lot of work to do. We propose some directions to significantly improve CWEs. These directions come from semantic templates, software fault patterns, and other work.

file

Visible to the public Moving forward with DIS and the Building Code

Submitted by scherlis on Thu, 04/24/2014 - 10:19pm. Contributors:

Presented as part of the 2014 HCSS conference.

Moderator:Bill Scherlis (CMU)
Panelists: Byron Cook (Microsoft Research and University Colllege London), Kathleen Fisher (DARPA), John Hatcliff (Kansas State University), John Launchbury (Galois, Inc.), Ray Richards (Rockwell Collins)

Abstract:

file

Visible to the public DARPA's BRAIN Initiative

Submitted by Katie Dey on Thu, 04/24/2014 - 11:02am. Contributor:

Presented as part of the 2014 HCSS conference.

file

Visible to the public Programming Languages for High-Assurance Autonomous Vehicles

Submitted by leepike on Wed, 04/23/2014 - 5:39am. Contributor:

Presented as part of the 2014 HCSS conference.

Abstract: