CPS Research

Abstract

Contents include: CPS Verification Involves Multiple Domains: *Logic *Timing; Addressing Scalability: *Restrict Behavior-Domain Specific Language + Restricted Communication (middleware) -Enforcers; *Scalable Verification-Statistical Model Checking: Semantic Important Sampling; Evolving Hardware: *Multicore Scheduling

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2017
Accession Number
AD1086822

Entities

People

  • Dionisio de Niz
  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Sensors

DTIC Thesaurus Topics

  • Area Coverage
  • Computations
  • Computer Programming
  • Computer Programs
  • Copyrights
  • Department Of Defense
  • Engineering
  • Guarantees
  • Language
  • Materials
  • Middleware
  • Overload
  • Programming Languages
  • Scheduling (Production)
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Parallel and Distributed Computing.