Synthesizing SystemC Code from Delay Hybrid CSP

DOI10.1007/978-3-319-71237-6_2zbMath1503.68186arXiv1709.09019MaRDI QIDQ5055993

Gaogao Yan, Li Jiao, Naijun Zhan, Shu-Ling Wang

Publication date: 9 December 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.09019

zbMATH Keywords

code generation; SystemC; approximate bisimulation; delay dynamical systems; delay hybrid CSP

Mathematics Subject Classification ID

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

93C15: Control/observation systems governed by ordinary differential equations

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

93C43: Delay control/observation systems

Uses Software

• LUSTRE
• Charon
• Esterel