Heterogeneous verification of cyber-physical systems using behavior relations

DOI10.1145/2185632.2185641MaRDI QIDQ2986750zbMATH OpenOpenAlexFDO

Authors Akshay Rajhans, Bruce H. Krogh

Publication date 16 May 2017

Published in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2185632.2185641

zbMATH Keywords

behavior relationscyber-physical systemsheterogeneous verificationmulti-model verificationsemantic consistency

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional heterogeneous abstraction
• Hybrid Systems: Computation and Control
• Verification of heterogeneous multi-agent system using MCMAS
• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• Compositional cyber-physical systems modeling

Cited in

(10)

• IPL: an integration property language for multi-model cyber-physical systems
• Compositional heterogeneous abstraction
• Co-verification approach to control software program for CPS
• Compositional cyber-physical systems modeling
• Skill-based verification of cyber-physical systems
• A co-modelling approach for cyber-physical systems with SysML/MARTE/pCCSL
• Verification of heterogeneous multi-agent system using MCMAS
• Hybrid Systems: Computation and Control
• Dynamic reconfigurations in frequency constrained data flow
• ModelPlex: verified runtime validation of verified cyber-physical system models

This page was built for publication: Heterogeneous verification of cyber-physical systems using behavior relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986750)