A Runtime Checker with Evolutionary Algorithm decision making
Abstract
One of the major goals of the DoD information innovation is to build trusted, adaptive, attack-resilient cyber physical systems. To meet this goal, this project aims to deliver a trustworthy computational tool set to enable the development of inherently safe and secure, resilient, and reliable software. To achieve resilience, the project PIs realized an optimization approach of their runtime verification approach to handle dynamic adaptation. To ensure the computing capability is trustworthy, this project studied the overall software intensive life cycle with a complete view through a sequence of systematic steps beginning from requirements, specification, modeling, design, to implementation, testing, verification and validation. To validate the formal methods based tools, a sophisticated, hierarchical proof-of-concept platform was developed and several real world implementation and tests were conducted. With the real time scheduling technique and interaction with the physical components, a sequence of profound findings were discovered and published. The results and findings have disclosed the fact that a model-based integration approach for cyber physical system design and development plays a significant role in its overall trustworthiness and resilience.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 08, 2018
- Accession Number
- AD1057568
Entities
People
- Xudong He
- Yujian Fu
- Zhijiang Dong