├── .gitattributes ├── .gitignore ├── CITATION.cff ├── Cargo.toml ├── LICENSE.txt ├── README.md ├── assets ├── auto_generated │ ├── .gitkeep │ └── binaries │ │ └── .gitkeep ├── common │ ├── endpoint.toml │ ├── fmi2 │ │ ├── backend_remote_FMU.py │ │ └── modelDescription.xml │ └── fmi3 │ │ ├── backend_remote_FMU.py │ │ └── modelDescription.xml ├── csharp │ ├── .gitignore │ ├── README.md │ ├── backend.cs │ ├── backend_private.cs │ ├── launch.toml │ ├── model.cs │ └── model.csproj ├── java │ ├── .gitignore │ ├── README.md │ ├── build.gradle │ ├── gradle │ │ └── wrapper │ │ │ ├── gradle-wrapper.jar │ │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── launch.toml │ └── src │ │ └── main │ │ └── java │ │ ├── Backend.java │ │ ├── BackendPrivate.java │ │ └── Model.java ├── matlab │ ├── README.md │ ├── launch.toml │ ├── matlab_interface.py │ ├── matlab_proxy.py │ ├── matlabcode │ │ ├── cancel_step.m │ │ ├── deserialize.m │ │ ├── do_step.m │ │ ├── enter_initialization_mode.m │ │ ├── exit_initialization_mode.m │ │ ├── get_boolean.m │ │ ├── get_directional_derivative.m │ │ ├── get_integer.m │ │ ├── get_output_derivatives.m │ │ ├── get_real.m │ │ ├── get_string.m │ │ ├── get_xxx_status.m │ │ ├── instantiate.m │ │ ├── reset.m │ │ ├── serialize.m │ │ ├── set_boolean.m │ │ ├── set_debug_logging.m │ │ ├── set_input_derivatives.m │ │ ├── set_integer.m │ │ ├── set_real.m │ │ ├── set_string.m │ │ ├── setup_experiment.m │ │ └── terminate.m │ └── requirements.txt ├── proxy │ ├── README.md │ └── launch.toml └── python │ ├── fmi2 │ ├── README.md │ ├── backend.py │ ├── backend_remote.py │ └── model.py │ ├── fmi3 │ ├── README.md │ ├── backend.py │ ├── backend_remote.py │ └── model.py │ ├── launch.toml │ └── requirements.txt ├── cli ├── Cargo.toml ├── src │ ├── lib.rs │ ├── main.rs │ └── utils.rs └── tests │ ├── cli_tests.rs │ ├── common │ └── mod.rs │ └── python_tests │ ├── common.py │ └── fmu_tests.py ├── docker-build ├── Dockerfile └── build_all.sh ├── figures ├── how_it_works.drawio ├── how_it_works.drawio.svg ├── how_it_works.svg ├── unifmu_distributed-combined.svg └── unifmu_distributed.drawio ├── fmiapi ├── .gitignore ├── Cargo.toml ├── build.rs └── src │ ├── dispatcher.rs │ ├── fmi2.rs │ ├── fmi3.rs │ ├── lib.rs │ └── spawn.rs ├── generated_fmus └── .gitkeep ├── schemas ├── fmi2_messages.proto ├── fmi3_messages.proto └── unifmu_handshake.proto ├── test_dependencies ├── vdmcheck2-1.1.3 │ ├── FMI2Rules.html │ ├── GPL3-LICENCE │ ├── LICENCE │ ├── MIT-LICENCE │ ├── VDMCheck2.sh │ ├── annotations.jar │ ├── fmi2-rule-model │ │ ├── Annotations.vdmsl │ │ ├── BuildConfiguration.vdmsl │ │ ├── CoSimulation.vdmsl │ │ ├── Common.vdmsl │ │ ├── DefaultExperiment.vdmsl │ │ ├── EffectiveVariables.vdmsl │ │ ├── FMI2Schema.vdmsl │ │ ├── FMIModelDescription.vdmsl │ │ ├── InvariantSupport.vdmsl │ │ ├── LogCategories.vdmsl │ │ ├── ModelExchange.vdmsl │ │ ├── ModelStructure.vdmsl │ │ ├── ModelVariables.vdmsl │ │ ├── Rules │ │ │ ├── BuildConfiguration.adoc │ │ │ ├── CoSimulation.adoc │ │ │ ├── DefaultExperiment.adoc │ │ │ ├── FMI2Rules.adoc │ │ │ ├── FmiModelDescription.adoc │ │ │ ├── LogCategories.adoc │ │ │ ├── ModelExchange.adoc │ │ │ ├── ModelStructure.adoc │ │ │ ├── ModelVariables.adoc │ │ │ ├── Terminals.adoc │ │ │ ├── TypeDefinitions.adoc │ │ │ └── UnitDefinitions.adoc │ │ ├── Support.vdmsl │ │ ├── Terminals.vdmsl │ │ ├── TypeDefinitions.vdmsl │ │ ├── UnitDefinitions.vdmsl │ │ ├── Validation.vdmsl │ │ ├── VariableNaming.vdmsl │ │ └── XSD.vdmsl │ ├── fmi2schema │ │ ├── fmi2.xsd │ │ ├── fmi2Annotation.xsd │ │ ├── fmi2AttributeGroups.xsd │ │ ├── fmi2ModelDescription.xsd │ │ ├── fmi2ScalarVariable.xsd │ │ ├── fmi2Type.xsd │ │ ├── fmi2Unit.xsd │ │ ├── fmi2VariableDependency.xsd │ │ ├── fmi3Annotation.xsd │ │ ├── fmi3BuildDescription.xsd │ │ ├── fmi3Terminal.xsd │ │ ├── fmi3TerminalsAndIcons.xsd │ │ └── xsd2vdm.properties │ ├── fmuReader.jar │ ├── vdmcheck2.jar │ ├── vdmj.jar │ └── xsd2vdm.jar └── vdmcheck3-1.1.3 │ ├── FMI3Rules.html │ ├── GPL3-LICENCE │ ├── LICENCE │ ├── MIT-LICENCE │ ├── VDMCheck3.sh │ ├── annotations.jar │ ├── fmi3-rule-model │ ├── Annotations.vdmsl │ ├── BuildConfiguration.vdmsl │ ├── CoSimulation.vdmsl │ ├── Common.vdmsl │ ├── DefaultExperiment.vdmsl │ ├── EffectiveVariables.vdmsl │ ├── FMI3Schema.vdmsl │ ├── FMIModelDescription.vdmsl │ ├── InvariantSupport.vdmsl │ ├── LogCategories.vdmsl │ ├── ModelExchange.vdmsl │ ├── ModelStructure.vdmsl │ ├── ModelVariables.vdmsl │ ├── Rules │ │ ├── BuildConfiguration.adoc │ │ ├── CoSimulation.adoc │ │ ├── DefaultExperiment.adoc │ │ ├── FMI3Rules.adoc │ │ ├── FmiModelDescription.adoc │ │ ├── LogCategories.adoc │ │ ├── ModelExchange.adoc │ │ ├── ModelStructure.adoc │ │ ├── ModelVariables.adoc │ │ ├── ScheduledExecution.adoc │ │ ├── Terminals.adoc │ │ ├── TypeDefinitions.adoc │ │ └── UnitDefinitions.adoc │ ├── ScheduledExecution.vdmsl │ ├── Support.vdmsl │ ├── Terminals.vdmsl │ ├── TypeDefinitions.vdmsl │ ├── UnitDefinitions.vdmsl │ ├── Validation.vdmsl │ ├── VariableNaming.vdmsl │ └── XSD.vdmsl │ ├── fmi3schema │ ├── fmi3.xsd │ ├── fmi3Annotation.xsd │ ├── fmi3AttributeGroups.xsd │ ├── fmi3BuildDescription.xsd │ ├── fmi3InterfaceType.xsd │ ├── fmi3ModelDescription.xsd │ ├── fmi3Terminal.xsd │ ├── fmi3TerminalsAndIcons.xsd │ ├── fmi3Type.xsd │ ├── fmi3Unit.xsd │ ├── fmi3Variable.xsd │ └── fmi3VariableDependency.xsd │ ├── fmuReader.jar │ ├── vdmcheck3.jar │ ├── vdmj.jar │ └── xsd2vdm.jar └── test_local.sh /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/.gitignore -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/CITATION.cff -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- 1 | [workspace] 2 | resolver = "2" 3 | 4 | members = ["fmiapi", "cli"] 5 | -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/README.md -------------------------------------------------------------------------------- /assets/auto_generated/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /assets/auto_generated/binaries/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /assets/common/endpoint.toml: -------------------------------------------------------------------------------- 1 | ip = "192.168.137.1" 2 | port = 5000 3 | -------------------------------------------------------------------------------- /assets/common/fmi2/backend_remote_FMU.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/common/fmi2/backend_remote_FMU.py -------------------------------------------------------------------------------- /assets/common/fmi2/modelDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/common/fmi2/modelDescription.xml -------------------------------------------------------------------------------- /assets/common/fmi3/backend_remote_FMU.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/common/fmi3/backend_remote_FMU.py -------------------------------------------------------------------------------- /assets/common/fmi3/modelDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/common/fmi3/modelDescription.xml -------------------------------------------------------------------------------- /assets/csharp/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/.gitignore -------------------------------------------------------------------------------- /assets/csharp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/README.md -------------------------------------------------------------------------------- /assets/csharp/backend.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/backend.cs -------------------------------------------------------------------------------- /assets/csharp/backend_private.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/backend_private.cs -------------------------------------------------------------------------------- /assets/csharp/launch.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/launch.toml -------------------------------------------------------------------------------- /assets/csharp/model.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/model.cs -------------------------------------------------------------------------------- /assets/csharp/model.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/csharp/model.csproj -------------------------------------------------------------------------------- /assets/java/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/.gitignore -------------------------------------------------------------------------------- /assets/java/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/README.md -------------------------------------------------------------------------------- /assets/java/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/build.gradle -------------------------------------------------------------------------------- /assets/java/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /assets/java/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /assets/java/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/gradlew -------------------------------------------------------------------------------- /assets/java/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/gradlew.bat -------------------------------------------------------------------------------- /assets/java/launch.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/launch.toml -------------------------------------------------------------------------------- /assets/java/src/main/java/Backend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/src/main/java/Backend.java -------------------------------------------------------------------------------- /assets/java/src/main/java/BackendPrivate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/src/main/java/BackendPrivate.java -------------------------------------------------------------------------------- /assets/java/src/main/java/Model.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/java/src/main/java/Model.java -------------------------------------------------------------------------------- /assets/matlab/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/README.md -------------------------------------------------------------------------------- /assets/matlab/launch.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/launch.toml -------------------------------------------------------------------------------- /assets/matlab/matlab_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlab_interface.py -------------------------------------------------------------------------------- /assets/matlab/matlab_proxy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlab_proxy.py -------------------------------------------------------------------------------- /assets/matlab/matlabcode/cancel_step.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/cancel_step.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/deserialize.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/deserialize.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/do_step.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/do_step.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/enter_initialization_mode.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/enter_initialization_mode.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/exit_initialization_mode.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/exit_initialization_mode.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_boolean.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_boolean.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_directional_derivative.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_directional_derivative.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_integer.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_integer.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_output_derivatives.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_output_derivatives.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_real.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_real.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_string.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_string.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/get_xxx_status.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/get_xxx_status.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/instantiate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/instantiate.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/reset.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/reset.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/serialize.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/serialize.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/set_boolean.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/set_boolean.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/set_debug_logging.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/set_debug_logging.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/set_input_derivatives.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/set_input_derivatives.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/set_integer.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/set_integer.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/set_real.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/set_real.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/set_string.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/set_string.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/setup_experiment.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/setup_experiment.m -------------------------------------------------------------------------------- /assets/matlab/matlabcode/terminate.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/matlab/matlabcode/terminate.m -------------------------------------------------------------------------------- /assets/matlab/requirements.txt: -------------------------------------------------------------------------------- 1 | zmq -------------------------------------------------------------------------------- /assets/proxy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/proxy/README.md -------------------------------------------------------------------------------- /assets/proxy/launch.toml: -------------------------------------------------------------------------------- 1 | location = "Remote" -------------------------------------------------------------------------------- /assets/python/fmi2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi2/README.md -------------------------------------------------------------------------------- /assets/python/fmi2/backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi2/backend.py -------------------------------------------------------------------------------- /assets/python/fmi2/backend_remote.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi2/backend_remote.py -------------------------------------------------------------------------------- /assets/python/fmi2/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi2/model.py -------------------------------------------------------------------------------- /assets/python/fmi3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi3/README.md -------------------------------------------------------------------------------- /assets/python/fmi3/backend.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi3/backend.py -------------------------------------------------------------------------------- /assets/python/fmi3/backend_remote.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi3/backend_remote.py -------------------------------------------------------------------------------- /assets/python/fmi3/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/fmi3/model.py -------------------------------------------------------------------------------- /assets/python/launch.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/launch.toml -------------------------------------------------------------------------------- /assets/python/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/assets/python/requirements.txt -------------------------------------------------------------------------------- /cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/Cargo.toml -------------------------------------------------------------------------------- /cli/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/src/lib.rs -------------------------------------------------------------------------------- /cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/src/main.rs -------------------------------------------------------------------------------- /cli/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/src/utils.rs -------------------------------------------------------------------------------- /cli/tests/cli_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/tests/cli_tests.rs -------------------------------------------------------------------------------- /cli/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/tests/common/mod.rs -------------------------------------------------------------------------------- /cli/tests/python_tests/common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/tests/python_tests/common.py -------------------------------------------------------------------------------- /cli/tests/python_tests/fmu_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/cli/tests/python_tests/fmu_tests.py -------------------------------------------------------------------------------- /docker-build/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/docker-build/Dockerfile -------------------------------------------------------------------------------- /docker-build/build_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/docker-build/build_all.sh -------------------------------------------------------------------------------- /figures/how_it_works.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/figures/how_it_works.drawio -------------------------------------------------------------------------------- /figures/how_it_works.drawio.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/figures/how_it_works.drawio.svg -------------------------------------------------------------------------------- /figures/how_it_works.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/figures/how_it_works.svg -------------------------------------------------------------------------------- /figures/unifmu_distributed-combined.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/figures/unifmu_distributed-combined.svg -------------------------------------------------------------------------------- /figures/unifmu_distributed.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/figures/unifmu_distributed.drawio -------------------------------------------------------------------------------- /fmiapi/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/.gitignore -------------------------------------------------------------------------------- /fmiapi/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/Cargo.toml -------------------------------------------------------------------------------- /fmiapi/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/build.rs -------------------------------------------------------------------------------- /fmiapi/src/dispatcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/src/dispatcher.rs -------------------------------------------------------------------------------- /fmiapi/src/fmi2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/src/fmi2.rs -------------------------------------------------------------------------------- /fmiapi/src/fmi3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/src/fmi3.rs -------------------------------------------------------------------------------- /fmiapi/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/src/lib.rs -------------------------------------------------------------------------------- /fmiapi/src/spawn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/fmiapi/src/spawn.rs -------------------------------------------------------------------------------- /generated_fmus/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /schemas/fmi2_messages.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/schemas/fmi2_messages.proto -------------------------------------------------------------------------------- /schemas/fmi3_messages.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/schemas/fmi3_messages.proto -------------------------------------------------------------------------------- /schemas/unifmu_handshake.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/schemas/unifmu_handshake.proto -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/FMI2Rules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/FMI2Rules.html -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/GPL3-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/GPL3-LICENCE -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/LICENCE -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/MIT-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/MIT-LICENCE -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/VDMCheck2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/VDMCheck2.sh -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/annotations.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/annotations.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Annotations.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Annotations.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/BuildConfiguration.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/BuildConfiguration.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/CoSimulation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/CoSimulation.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Common.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Common.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/DefaultExperiment.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/DefaultExperiment.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/EffectiveVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/EffectiveVariables.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/FMI2Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/FMI2Schema.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/FMIModelDescription.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/FMIModelDescription.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/InvariantSupport.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/InvariantSupport.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/LogCategories.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/LogCategories.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/ModelExchange.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/ModelExchange.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/ModelStructure.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/ModelStructure.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/ModelVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/ModelVariables.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/BuildConfiguration.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/BuildConfiguration.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/CoSimulation.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/CoSimulation.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/DefaultExperiment.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/DefaultExperiment.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/FMI2Rules.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/FMI2Rules.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/FmiModelDescription.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/FmiModelDescription.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/LogCategories.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/LogCategories.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/ModelExchange.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/ModelExchange.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/ModelStructure.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/ModelStructure.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/ModelVariables.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/ModelVariables.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/Terminals.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/Terminals.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/TypeDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/TypeDefinitions.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/UnitDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Rules/UnitDefinitions.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Support.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Support.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Terminals.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Terminals.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/TypeDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/TypeDefinitions.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/UnitDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/UnitDefinitions.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/Validation.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/VariableNaming.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/VariableNaming.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2-rule-model/XSD.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2Annotation.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2Annotation.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2AttributeGroups.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2AttributeGroups.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2ModelDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2ModelDescription.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2ScalarVariable.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2ScalarVariable.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2Type.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2Type.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2Unit.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2Unit.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2VariableDependency.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi2VariableDependency.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3Annotation.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3Annotation.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3BuildDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3BuildDescription.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3Terminal.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3Terminal.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3TerminalsAndIcons.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/fmi3TerminalsAndIcons.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmi2schema/xsd2vdm.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmi2schema/xsd2vdm.properties -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/fmuReader.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/fmuReader.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/vdmcheck2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/vdmcheck2.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/vdmj.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/vdmj.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck2-1.1.3/xsd2vdm.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck2-1.1.3/xsd2vdm.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/FMI3Rules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/FMI3Rules.html -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/GPL3-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/GPL3-LICENCE -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/LICENCE -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/MIT-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/MIT-LICENCE -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/VDMCheck3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/VDMCheck3.sh -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/annotations.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/annotations.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Annotations.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Annotations.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/BuildConfiguration.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/BuildConfiguration.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/CoSimulation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/CoSimulation.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Common.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Common.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/DefaultExperiment.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/DefaultExperiment.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/EffectiveVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/EffectiveVariables.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/FMI3Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/FMI3Schema.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/FMIModelDescription.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/FMIModelDescription.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/InvariantSupport.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/InvariantSupport.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/LogCategories.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/LogCategories.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ModelExchange.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ModelExchange.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ModelStructure.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ModelStructure.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ModelVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ModelVariables.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/BuildConfiguration.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/BuildConfiguration.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/CoSimulation.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/CoSimulation.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/DefaultExperiment.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/DefaultExperiment.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/FMI3Rules.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/FMI3Rules.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/FmiModelDescription.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/FmiModelDescription.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/LogCategories.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/LogCategories.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ModelExchange.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ModelExchange.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ModelStructure.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ModelStructure.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ModelVariables.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ModelVariables.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ScheduledExecution.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/ScheduledExecution.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/Terminals.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/Terminals.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/TypeDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/TypeDefinitions.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/UnitDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Rules/UnitDefinitions.adoc -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ScheduledExecution.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/ScheduledExecution.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Support.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Support.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Terminals.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Terminals.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/TypeDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/TypeDefinitions.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/UnitDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/UnitDefinitions.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/Validation.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/VariableNaming.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/VariableNaming.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3-rule-model/XSD.vdmsl -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Annotation.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Annotation.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3AttributeGroups.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3AttributeGroups.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3BuildDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3BuildDescription.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3InterfaceType.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3InterfaceType.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3ModelDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3ModelDescription.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Terminal.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Terminal.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3TerminalsAndIcons.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3TerminalsAndIcons.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Type.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Type.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Unit.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Unit.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Variable.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3Variable.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3VariableDependency.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmi3schema/fmi3VariableDependency.xsd -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/fmuReader.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/fmuReader.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/vdmcheck3.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/vdmcheck3.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/vdmj.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/vdmj.jar -------------------------------------------------------------------------------- /test_dependencies/vdmcheck3-1.1.3/xsd2vdm.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_dependencies/vdmcheck3-1.1.3/xsd2vdm.jar -------------------------------------------------------------------------------- /test_local.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/unifmu/HEAD/test_local.sh --------------------------------------------------------------------------------