CPS Research

reportActive / Technical Report | Accession Number: AD1086822 | Open PDF

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

Author(s):
De Niz, Dionisio ; Chaki, Sagar
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Descriptive Note:
Technical Report
Pagination:
0040

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release;

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
DM17-0337
Contract/Grant Number(s):
FA8702-15-D-0002
 Subject Terms
Joint Capability Areas:
JCA_1.2_Force Preparation; JCA_1_Force Support; JCA_1.2.3_Educating; JCA_5_Command and Control; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_5.3_Planning; JCA_6_Net Centric; JCA_6.1_Information Transport; JCA_6.2_Enterprise Services; JCA_4.6_Engineering
Communities of Interest:
Air Platforms
Descriptor(s):
sampling, monte carlo method, computer programming, application software, CYBER PHYSICAL SYSTEMS, computer program verification
Field(s)/Group(s):
Computer Programming and Software
Report Date:
2016 Jan 01
Creation Date:
2019 Dec 16