TEMPORAL LOGIC ROBUSTNESS GUIDED TESTING FOR CYBER-PHYSICAL SYSTEMS

摘要

Embodiments of model-based system design with model verification are disclosed. An embodiment includes receiving a model for a system and at least one specification for the system. In some embodiments, the system determines at least one of a minimum expected robustness value and a maximum expected robustness value for a region of a search space of the model with respect to the at least one specification. The model may be modified based on the determined minimum or maximum expected robust ness value.

主权项

1. A method for development and verification of system models, comprising:
receiving, by a processor, a model for a system; receiving, by the processor, at least one specification for the system; determining, by the processor, at least one of a minimum expected robustness value and a maximum expected robustness value for a region of a search space of the model with respect to the at least one specification; and modifying, by the processor, the model based on the determined minimum expected robustness value or maximum expected robustness value.