Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

increase of efficiency

biblio

Visible to the public Detecting the Use of Unsafe Data in Software of Embedded Systems by Means of Static Analysis Methodology

Submitted by grigby1 on Fri, 02/22/2019 - 4:10pm
  • pubcrawl
  • unsafe data
  • Syntactics
  • syntactic information
  • static program code analysis
  • static code analysis
  • static analysis methodology
  • static analysis
  • software quality
  • Semantics
  • semantic information
  • Resiliency
  • composability
  • program diagnostics
  • program code
  • potentially unsafe data
  • Indexes
  • increase of efficiency
  • Human behavior
  • embedded systems
  • embedded computing
  • diagnostic rules
  • Containers
biblio

Visible to the public The approach to finding errors in program code based on static analysis methodology

Submitted by grigby1 on Thu, 06/07/2018 - 3:12pm
  • semantic information
  • tools
  • testing
  • syntax tree
  • Syntactics
  • syntactic information
  • static program code analysis
  • static code analysis methodology
  • static code analysis
  • source code (software)
  • source code
  • software quality
  • Semantics
  • Bars
  • Resiliency
  • resilience
  • pubcrawl
  • program diagnostics
  • program code Error detection
  • increase of efficiency
  • Human behavior
  • embedded computing
  • efficiency improvement
  • diagnostic rules
  • composability

Terms of Use  |  ©2023. CPS-VO