Skip to content

Home

Jump to bottom
Daniel Larraz edited this page Jun 5, 2018 · 6 revisions

Welcome to the ir2lustre wiki!

1. JSON Representation of CoCoSim Models

1.1 CoCoSim Blocks in JSON

1.2 CoCoSim Stateflow in JSON

2. Mapping from Basic CoCoSim Blocks to Lustre Constructs

2.1 CoCoSim constructs to Lustre constructs

2.2 Types

2.3 Translation of CoCoSim contracts

2.4 Translation of Stateflow Charts

2.4.1 Translation of States

2.4.2 Translation of Junctions

2.5 Mapping Information

Clone this wiki locally