Static Detection of Bugs in Embedded Software Using Lightweight Verification Project

Description

Validating software is a critical step in developing high confidence systems. Typical software development practices are not acceptable in systems where failure leads to loss of life or other high costs. New software development tools are needed to radically reduce defect rates and enable the high levels of confidence required for safety- and security-critical systems. Lightweight verification techniques have proven themselves effective in finding defects in large software systems by balancing rigor with scalability and usability. Lightweight verification techniques do not exhaustively check software, but they can find defects in systems that are too large for more rigorous analysis techniques, and are fast becoming an essential tool for software developers. The techniques generally fail to address key sources of problems specific to embedded systems: paths due to asynchronous transfer of control or context switches between tasks are not considered; assembly language components are ignored; it is hard to detect violations of domain-specific rules. We propose to extend and adapt our static analysis technology to make it capable of addressing these problems. We will exploit our existing connections with NASA facilities to gain help validating our approach and to ensure that the solution we propose is responsive to NASA's unique needs.

General Information

• This data is described at

  http://catalog.data.gov/dataset/static-detection-of-bugs-in-embedded-software-using-lightweight-verification-project Do you think this data is incorrect? Let us know

• This data is published by

  National Aeronautics and Space Administration Do you think this data is incorrect? Let us know

Legal Information

• The rights statement is at

  http://catalog.data.gov/dataset/static-detection-of-bugs-in-embedded-software-using-lightweight-verification-project Do you think this data is incorrect? Let us know

• Outside the US, this data is available under

  Creative Commons CCZero Do you think this data is incorrect? Let us know

• There are

  yes, and the rights are all held by the same person or organisation Do you think this data is incorrect? Let us know

• The content is available under

  Creative Commons CCZero Do you think this data is incorrect? Let us know

• The rights statement includes data about

  its data licence Do you think this data is incorrect? Let us know

• This data contains

  no data about individuals Do you think this data is incorrect? Let us know

Practical Information

• The data appears in this collection

  http://catalog.data.gov/organization/nasa-gov Do you think this data is incorrect? Let us know

• The accuracy or relevance of this data will

  go out of date but it is timestamped Do you think this data is incorrect? Let us know

• The data is

  backed up offsite Do you think this data is incorrect? Let us know

Technical Information

• This data is published at

  http://techport.nasa.gov/xml-api/5900 Do you think this data is incorrect? Let us know

• This data is

  machine-readable Do you think this data is incorrect? Let us know

• The format of this data is

  a standard open format Do you think this data is incorrect? Let us know

Social Information

• The documentation includes machine-readable data for

  title Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  description Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  identifier Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  landing page Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  publisher Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  keyword(s) or tag(s) Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  distribution(s) Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  release date Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  modification date Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  temporal coverage Do you think this data is incorrect? Let us know

• The documentation includes machine-readable data for

  language Do you think this data is incorrect? Let us know

• The documentation about each distribution includes machine-readable data for

  release date Do you think this data is incorrect? Let us know

• The documentation about each distribution includes machine-readable data for

  a URL to access the data Do you think this data is incorrect? Let us know

• The documentation about each distribution includes machine-readable data for

  a URL to download the dataset Do you think this data is incorrect? Let us know

• The documentation about each distribution includes machine-readable data for

  type of download media Do you think this data is incorrect? Let us know

• Find out how to contact someone about this data at

  http://catalog.data.gov/dataset/static-detection-of-bugs-in-embedded-software-using-lightweight-verification-project Do you think this data is incorrect? Let us know

• Find out how to suggest improvements to publication at

  http://www.data.gov/issue/?media_url=http://catalog.data.gov/dataset/static-detection-of-bugs-in-embedded-software-using-lightweight-verification-project Do you think this data is incorrect? Let us know