Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor

Publisher Website

17 January 2021

book chapter
conference paper
Published by Springer Science and Business Media LLC

p. 263-279
https://doi.org/10.1007/978-3-030-67220-1_20

Abstract

No abstract available

Keywords

This publication has 21 references indexed in Scilit:

Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration
Published by Association for Computing Machinery (ACM) ,2019
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
IEEE Transactions on Software Engineering, 2018
Co-Simulation
ACM Computing Surveys, 2018
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
Published by Springer Science and Business Media LLC ,2018
High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
IEEE Control Systems, 2017
Formally verified differential dynamic logic
Published by Association for Computing Machinery (ACM) ,2017
HyComp: An SMT-Based Model Checker for Hybrid Systems
Lecture Notes in Computer Science, 2015
Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models
Service Design and Innovation Conference, 2012
Satisfiability modulo theories
Communications of the ACM, 2011
The Theory of Hybrid Automata
Published by Springer Science and Business Media LLC ,2000

Cited by 2 articles