Abstract
We present a compositional semantics and analysis framework for hierarchical block diagrams (HBDs) in terms of atomic and composite predicate transformers. Our framework consists of two components: (1) a compiler that translates Simulink HBDs into an algebra of transformers composed in series, in parallel, and in feedback; (2) an implementation of the theory of transformers and static analysis techniques for them in Isabelle. We evaluate our framework on several case studies including a benchmark Simulink model by Toyota.
Cite
CITATION STYLE
Dragomir, I., Preoteasa, V., & Tripakis, S. (2016). Compositional semantics and analysis of hierarchical block diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9641, pp. 38–56). Springer Verlag. https://doi.org/10.1007/978-3-319-32582-8_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
