Systematic top-down design of cyber-physical models with integrated validation and formal verification-Reference-Cited by-同舟云学术

Systematic top-down design of cyber-physical models with integrated validation and formal verification

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
language:
Short-container-title:

Author:

Luckeneder Christoph¹,Kaindl Hermann¹

Affiliation:

1. TU Wien, Vienna, Austria

Funder

Federal Ministry of Transport, Innovation and Technology (BMVIT)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3183440.3194967

Reference5 articles.

1. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press Cambridge MA USA. I-XVII 1--975 pages. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press Cambridge MA USA. I-XVII 1--975 pages.

2. Counterexample-guided abstraction refinement for symbolic model checking

3. Model checking and abstraction

4. Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Driver propensity to fatigue and drowsiness: a probabilistic approach;Theoretical Issues in Ergonomics Science;2021-04-01

2. Towards Compositional Verification for Modular Robotic Systems;Electronic Proceedings in Theoretical Computer Science;2020-12-03

3. Formal Verification of Control Modules in Cyber-Physical Systems;Sensors;2020-09-10

4. A Probabilistic Model of Taking-Over Control from Semi-autonomous Vehicles;Human Systems Engineering and Design III;2020-08-30

5. Towards Probabilistic Analysis of Human-System Integration in Automated Driving;Advances in Intelligent Systems and Computing;2020