├── .github └── workflows │ ├── maven.yml │ └── release.yml ├── .gitignore ├── README.md ├── combined ├── pom.xml └── src │ └── test │ ├── java │ └── combined │ │ └── MaestroCheckCombinationTest.java │ └── resources │ ├── fmi2 │ ├── buildDescription.xml │ ├── modelDescription.xml │ └── terminalsAndIcons.xml │ └── fmi3 │ ├── buildDescription.xml │ ├── modelDescription.xml │ └── terminalsAndIcons.xml ├── fmi2 ├── GPL3-LICENCE ├── LICENCE ├── MIT-LICENCE ├── cosim-model │ ├── CoSimulationConfig.vdmsl │ ├── FMI2 │ │ ├── .gitignore │ │ └── _HOWTO_FMI2 │ ├── TestFMUs.vdmsl │ └── pom.xml ├── cosim-test │ ├── CoSimCombinatorials.vdmsl │ ├── FMI2 │ │ ├── .gitignore │ │ └── _HOWTO_FMI2 │ ├── FMI2_API │ │ ├── .gitignore │ │ └── _HOWTO_FMI2_API │ └── SpringMassDamper.vdmsl ├── cosim2vdm │ ├── pom.xml │ └── src │ │ ├── main │ │ └── java │ │ │ └── cosim2vdm │ │ │ ├── COSIMToVDM.java │ │ │ ├── JSONArray.java │ │ │ ├── JSONObject.java │ │ │ └── JSONReader.java │ │ └── test │ │ └── resources │ │ └── massSpringDamper.json ├── dynamic-model │ ├── APIStates_3.2.3.vdmsl │ ├── APITypes_2.1.2.vdmsl │ ├── Computation_4.2.2.vdmsl │ ├── CreateDestroy_2.1.5.vdmsl │ ├── Environment_2.1.2.vdmsl │ ├── EvalEquations_3.2.2.vdmsl │ ├── FMI2 │ │ ├── .gitignore │ │ └── _HOWTO_FMI2 │ ├── GetSetState_2.1.8.vdmsl │ ├── GetSetVariables_2.1.7.vdmsl │ ├── Initialization_2.1.6.vdmsl │ ├── InquirePlatform_2.1.4.vdmsl │ ├── Logging_2.1.5.vdmsl │ ├── PartialDerivatives_2.1.9.vdmsl │ ├── SetTimeAndCT_3.2.1.vdmsl │ ├── StateMachineFuncs.vdmsl │ ├── StatusRetrieval_4.2.3.vdmsl │ ├── Tests │ │ ├── BouncingBall.vdmsl │ │ ├── Tests.vdmsl │ │ └── XSD.vdmsl │ └── TransferIO_4.2.1.vdmsl ├── modelex-test │ ├── FMI2 │ │ ├── .gitignore │ │ └── _HOWTO_FMI2 │ ├── FMI2_API │ │ ├── .gitignore │ │ └── _HOWTO_FMI2_API │ ├── ModelExCombinatorials.vdmsl │ └── SpringMassDamper.vdmsl ├── pom.xml ├── 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 │ │ ├── .gitignore │ │ ├── BuildConfiguration.adoc │ │ ├── CoSimulation.adoc │ │ ├── DefaultExperiment.adoc │ │ ├── FMI2Rules.adoc │ │ ├── FMI2Rules.html │ │ ├── FmiModelDescription.adoc │ │ ├── LogCategories.adoc │ │ ├── ModelExchange.adoc │ │ ├── ModelStructure.adoc │ │ ├── ModelVariables.adoc │ │ ├── Terminals.adoc │ │ ├── TypeDefinitions.adoc │ │ ├── UnitDefinitions.adoc │ │ └── fmi2_specification.html │ ├── Support.vdmsl │ ├── Terminals.vdmsl │ ├── Tests │ │ ├── ControlledTemperature.vdmsl │ │ ├── IntegrateSignal.vdmsl │ │ ├── SpringMassDamper.vdmsl │ │ ├── Tests.vdmsl │ │ └── validationError.vdmsl │ ├── TypeDefinitions.vdmsl │ ├── UnitDefinitions.vdmsl │ ├── Validation.vdmsl │ ├── VariableNaming.vdmsl │ ├── XSD.vdmsl │ └── pom.xml ├── static-model │ ├── BuildConfiguration_2.3.vdmsl │ ├── CoSimulation_4.3.1.vdmsl │ ├── DefaultExperiment_2.2.5.vdmsl │ ├── FMI2Schema.vdmsl │ ├── FMIModelDescription_2.2.1.vdmsl │ ├── GraphicalRepresentation_2.3.vdmsl │ ├── LogCategories_2.2.4.vdmsl │ ├── Misc.vdmsl │ ├── ModelExchange_3.3.1.vdmsl │ ├── ModelStructure_2.2.8.vdmsl │ ├── ModelVariables_2.2.7.vdmsl │ ├── Terminals_2.3.vdmsl │ ├── Tests │ │ ├── SpringMassDamper.vdmsl │ │ └── Tests.vdmsl │ ├── TypeDefinitions_2.2.3.vdmsl │ ├── UnitDefinitions_2.2.2.vdmsl │ ├── Validation.vdmsl │ ├── VariableNaming_2.2.9.vdmsl │ ├── VendorAnnotations_2.2.6.vdmsl │ ├── VendorAnnotations_2.3.vdmsl │ ├── XSD.vdmsl │ └── pom.xml ├── static-tests │ ├── 2.2.1_initialUnknowns1.xml │ ├── 2.2.1_initialUnknowns2.xml │ ├── 2.2.1_initialUnknowns3.xml │ ├── 2.2.1_invalidDerivatives1.xml │ ├── 2.2.1_invalidDerivatives2.xml │ ├── 2.2.1_invalidDerivatives3.xml │ ├── 2.2.1_invalidMultipleSet.xml │ ├── 2.2.1_invalidOutputs1.xml │ ├── 2.2.1_invalidOutputs2.xml │ ├── 2.2.1_noModelType.xml │ ├── 2.2.1_typeCheckFail.xml │ ├── 2.2.1_wrongFMIVersion.xml │ ├── 2.2.2_duplicateUnitNames.xml │ ├── 2.2.3_invalidTypeName.xml │ ├── 2.2.3_invalidTypes.xml │ ├── 2.2.4_duplicateCategories.xml │ ├── 2.2.5_invalidExperiment.xml │ ├── 2.2.6_duplicateVendorNames.xml │ ├── 2.2.7_causalityVariabiliy.xml │ ├── 2.2.7_duplicateVarNames.xml │ ├── 2.2.7_notInMinMaxRange.xml │ ├── 2.2.8_invalidUnknowns.xml │ ├── 2.2.9_invalidStructNames.xml │ ├── 3.3.1_duplicateSourceFiles.xml │ ├── 4.3.1_duplicateSourceFiles.xml │ ├── expectedResults │ ├── minimal.xml │ ├── runFmuCheck.sh │ └── runTests.sh └── vdmcheck │ ├── README │ ├── pom.xml │ └── src │ ├── assembly │ ├── assembly-rules.xml │ └── assembly-static.xml │ ├── main │ ├── java │ │ ├── VDMCheck.java │ │ ├── VDMCheckPlus.java │ │ ├── maestro │ │ │ ├── MaestroCheck.java │ │ │ ├── MaestroCheckFMI2.java │ │ │ └── OnFailError.java │ │ └── vdmcheck │ │ │ └── annotations │ │ │ └── in │ │ │ └── INOnFailAnnotation.java │ ├── resources │ │ ├── annotations │ │ │ ├── ast-tc.mappings │ │ │ └── tc-in.mappings │ │ └── 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 │ └── scripts │ │ └── VDMCheck2.sh │ └── test │ ├── java │ ├── MaestroCheckFMI2Test.java │ └── MaestroCheckTest.java │ └── resources │ ├── TestFMU.fmu │ ├── icons │ └── terminalsAndIcons.xml │ ├── minimal.xml │ ├── modelDescription.xml │ └── sources │ └── buildDescription.xml ├── fmi3 ├── GPL3-LICENCE ├── LICENCE ├── MIT-LICENCE ├── clock-model │ ├── Clocks.vdmsl │ ├── Importer.vdmsl │ ├── Validation.vdmsl │ ├── clock_paper.pdf │ └── scenario.vdmsl ├── dynamic-matrix │ ├── FMI3 API Matrix.csv │ ├── README │ └── csv2vdm.awk ├── dynamic-model │ ├── APIPreconditions.vdmsl │ ├── APIStates_3.2.3.vdmsl │ ├── APITypes_2.1.2.vdmsl │ ├── ClockActivation_2.1.9.vdmsl │ ├── Computation_4.2.4.vdmsl │ ├── CreateDestroy_2.1.5.vdmsl │ ├── Environment_2.1.2.vdmsl │ ├── EvalEquations_3.2.2.vdmsl │ ├── FMI3 │ │ ├── .gitignore │ │ └── _HOWTO_FMI3 │ ├── GetNumbers_2.1.12.vdmsl │ ├── GetSetState_2.1.10.vdmsl │ ├── GetVariables_2.1.7.vdmsl │ ├── Initialization_2.1.6.vdmsl │ ├── InquirePlatform_2.1.4.vdmsl │ ├── Logging_2.1.5.vdmsl │ ├── Misc.vdmsl │ ├── PartialDerivatives_2.1.11.vdmsl │ ├── SetTimeAndCT_3.2.1.vdmsl │ ├── SetVariables_2.1.7.vdmsl │ ├── Tests │ │ ├── CoSimulationFMU.vdmsl │ │ ├── CoSimulationFMU.xml │ │ ├── ModelExchangeFMU.vdmsl │ │ ├── ModelExchangeFMU.xml │ │ ├── ScheduledExecutionFMU.vdmsl │ │ ├── ScheduledExecutionFMU.xml │ │ ├── SpringMassDamper.vdmsl │ │ ├── TestAPI.vdmsl │ │ ├── TestCalculate.vdmsl │ │ ├── TestPaths.vdmsl │ │ ├── TestXML2VDM.sh │ │ ├── VariableTypesFMU.vdmsl │ │ ├── VariableTypesFMU.xml │ │ └── XSD.vdmsl │ └── VariableAccess_4.2.3.vdmsl ├── ls-bus-model │ ├── FMI3Schema.vdmsl │ ├── NetworkDescription.vdmsl │ ├── NetworkRules.vdmsl │ ├── Support.vdmsl │ ├── pom.xml │ └── tests │ │ ├── errorFMU.vdmsl │ │ └── testFMU.vdmsl ├── pom.xml ├── 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 │ │ ├── .gitignore │ │ ├── BuildConfiguration.adoc │ │ ├── CoSimulation.adoc │ │ ├── DefaultExperiment.adoc │ │ ├── FMI3Rules.adoc │ │ ├── FMI3Rules.html │ │ ├── FmiModelDescription.adoc │ │ ├── LogCategories.adoc │ │ ├── ModelExchange.adoc │ │ ├── ModelStructure.adoc │ │ ├── ModelVariables.adoc │ │ ├── ScheduledExecution.adoc │ │ ├── Terminals.adoc │ │ ├── TypeDefinitions.adoc │ │ ├── UnitDefinitions.adoc │ │ └── fmi3_specification.html │ ├── ScheduledExecution.vdmsl │ ├── Support.vdmsl │ ├── Terminals.vdmsl │ ├── Tests │ │ ├── TestXML │ │ │ ├── alias_example.xml │ │ │ ├── build_description_complex.xml │ │ │ ├── build_description_simple.xml │ │ │ ├── co_simulation.xml │ │ │ ├── co_simulation_early_return.xml │ │ │ ├── minimal.xml │ │ │ ├── model_exchange.xml │ │ │ ├── scheduled_execution.xml │ │ │ ├── string_vector_example.xml │ │ │ ├── structural_parameter_example.xml │ │ │ ├── tandi_variables.xml │ │ │ ├── terminals_and_icons.xml │ │ │ ├── unit_definition.xml │ │ │ └── variable_types.xml │ │ ├── Tests.vdmsl │ │ ├── alias_example.vdmsl │ │ ├── build_description_complex.vdmsl │ │ ├── build_description_simple.vdmsl │ │ ├── co_simulation.vdmsl │ │ ├── co_simulation_early_return.vdmsl │ │ ├── generateTest.sh │ │ ├── generateTests.sh │ │ ├── minimal.vdmsl │ │ ├── model_exchange.vdmsl │ │ ├── scheduled_execution.vdmsl │ │ ├── string_vector_example.vdmsl │ │ ├── structural_parameter_example.vdmsl │ │ ├── tandi_variables.vdmsl │ │ ├── terminals_and_icons.vdmsl │ │ ├── unit_definition.vdmsl │ │ ├── validationError.vdmsl │ │ └── variable_types.vdmsl │ ├── TypeDefinitions.vdmsl │ ├── UnitDefinitions.vdmsl │ ├── Validation.vdmsl │ ├── VariableNaming.vdmsl │ ├── XSD.vdmsl │ └── pom.xml ├── static-model │ ├── Annotations.vdmsl │ ├── BuildConfiguration.vdmsl │ ├── CoSimulation.vdmsl │ ├── DefaultExperiment.vdmsl │ ├── FMI3Schema.vdmsl │ ├── FMIModelDescription.vdmsl │ ├── GraphicalRepresentation.vdmsl │ ├── LogCategories.vdmsl │ ├── Misc.vdmsl │ ├── ModelExchange.vdmsl │ ├── ModelStructure.vdmsl │ ├── ModelVariables.vdmsl │ ├── ScheduledExecution.vdmsl │ ├── Terminals.vdmsl │ ├── Tests │ │ └── Tests.vdmsl │ ├── TypeDefinitions.vdmsl │ ├── UnitDefinitions.vdmsl │ ├── Validation.vdmsl │ ├── VariableNaming.vdmsl │ ├── XSD.vdmsl │ └── pom.xml └── vdmcheck │ ├── pom.xml │ └── src │ ├── assembly │ └── assembly-rules.xml │ ├── main │ ├── java │ │ ├── VDMCheck.java │ │ ├── VDMCheckPlus.java │ │ ├── maestro │ │ │ ├── MaestroCheckFMI3.java │ │ │ └── OnFailError.java │ │ └── vdmcheck │ │ │ └── annotations │ │ │ └── in │ │ │ └── INOnFailAnnotation.java │ ├── resources │ │ ├── annotations │ │ │ ├── ast-tc.mappings │ │ │ └── tc-in.mappings │ │ └── 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 │ └── scripts │ │ └── VDMCheck3.sh │ └── test │ ├── java │ └── MaestroCheckFMI3Test.java │ └── resources │ ├── minimal.xml │ ├── modelDescription.xml │ ├── sources │ └── buildDescription.xml │ ├── terminalsAndIcons │ └── terminalsAndIcons.xml │ └── test.fmu ├── fmuReader ├── pom.xml └── src │ ├── main │ ├── java │ │ └── fmureader │ │ │ └── FMUReader.java │ └── resources │ │ └── vdmj.readers │ └── test │ └── java │ └── fmureader │ └── TestReader.java ├── pom.xml ├── renumber.awk ├── renumber3.sh └── xsd2vdm ├── .gitignore ├── pom.xml └── src ├── main ├── java │ ├── types │ │ ├── AssertionFacet.java │ │ ├── BasicType.java │ │ ├── Constraint.java │ │ ├── DigitsFacet.java │ │ ├── EnumFacet.java │ │ ├── ErrorFacet.java │ │ ├── Facet.java │ │ ├── Field.java │ │ ├── FixedFacet.java │ │ ├── Keywords.java │ │ ├── LengthFacet.java │ │ ├── MinMaxFacet.java │ │ ├── OptionalType.java │ │ ├── PatternFacet.java │ │ ├── QuoteType.java │ │ ├── RecordType.java │ │ ├── SeqType.java │ │ ├── TimezoneFacet.java │ │ ├── Type.java │ │ ├── UnionType.java │ │ └── WhitespaceFacet.java │ ├── values │ │ ├── AnyValue.java │ │ ├── RecordValue.java │ │ ├── SeqValue.java │ │ ├── SimpleValue.java │ │ └── VDMValue.java │ └── xsd2vdm │ │ ├── Namespaces.java │ │ ├── XMLSaxHandler.java │ │ ├── XSDContent.java │ │ ├── XSDConverter.java │ │ ├── XSDConverter_v11.java │ │ ├── XSDElement.java │ │ ├── XSDSaxHandler.java │ │ ├── Xsd2Raw.java │ │ └── Xsd2VDM.java └── scripts │ ├── xsd2raw.sh │ └── xsd2vdm.sh └── test └── resources ├── XSD.vdmsl └── fmi2.properties /.github/workflows/maven.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/.github/workflows/maven.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/README.md -------------------------------------------------------------------------------- /combined/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/pom.xml -------------------------------------------------------------------------------- /combined/src/test/java/combined/MaestroCheckCombinationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/java/combined/MaestroCheckCombinationTest.java -------------------------------------------------------------------------------- /combined/src/test/resources/fmi2/buildDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/resources/fmi2/buildDescription.xml -------------------------------------------------------------------------------- /combined/src/test/resources/fmi2/modelDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/resources/fmi2/modelDescription.xml -------------------------------------------------------------------------------- /combined/src/test/resources/fmi2/terminalsAndIcons.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/resources/fmi2/terminalsAndIcons.xml -------------------------------------------------------------------------------- /combined/src/test/resources/fmi3/buildDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/resources/fmi3/buildDescription.xml -------------------------------------------------------------------------------- /combined/src/test/resources/fmi3/modelDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/resources/fmi3/modelDescription.xml -------------------------------------------------------------------------------- /combined/src/test/resources/fmi3/terminalsAndIcons.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/combined/src/test/resources/fmi3/terminalsAndIcons.xml -------------------------------------------------------------------------------- /fmi2/GPL3-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/GPL3-LICENCE -------------------------------------------------------------------------------- /fmi2/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/LICENCE -------------------------------------------------------------------------------- /fmi2/MIT-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/MIT-LICENCE -------------------------------------------------------------------------------- /fmi2/cosim-model/CoSimulationConfig.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-model/CoSimulationConfig.vdmsl -------------------------------------------------------------------------------- /fmi2/cosim-model/FMI2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-model/FMI2/.gitignore -------------------------------------------------------------------------------- /fmi2/cosim-model/FMI2/_HOWTO_FMI2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-model/FMI2/_HOWTO_FMI2 -------------------------------------------------------------------------------- /fmi2/cosim-model/TestFMUs.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-model/TestFMUs.vdmsl -------------------------------------------------------------------------------- /fmi2/cosim-model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-model/pom.xml -------------------------------------------------------------------------------- /fmi2/cosim-test/CoSimCombinatorials.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-test/CoSimCombinatorials.vdmsl -------------------------------------------------------------------------------- /fmi2/cosim-test/FMI2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-test/FMI2/.gitignore -------------------------------------------------------------------------------- /fmi2/cosim-test/FMI2/_HOWTO_FMI2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-test/FMI2/_HOWTO_FMI2 -------------------------------------------------------------------------------- /fmi2/cosim-test/FMI2_API/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-test/FMI2_API/.gitignore -------------------------------------------------------------------------------- /fmi2/cosim-test/FMI2_API/_HOWTO_FMI2_API: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-test/FMI2_API/_HOWTO_FMI2_API -------------------------------------------------------------------------------- /fmi2/cosim-test/SpringMassDamper.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim-test/SpringMassDamper.vdmsl -------------------------------------------------------------------------------- /fmi2/cosim2vdm/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim2vdm/pom.xml -------------------------------------------------------------------------------- /fmi2/cosim2vdm/src/main/java/cosim2vdm/COSIMToVDM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim2vdm/src/main/java/cosim2vdm/COSIMToVDM.java -------------------------------------------------------------------------------- /fmi2/cosim2vdm/src/main/java/cosim2vdm/JSONArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim2vdm/src/main/java/cosim2vdm/JSONArray.java -------------------------------------------------------------------------------- /fmi2/cosim2vdm/src/main/java/cosim2vdm/JSONObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim2vdm/src/main/java/cosim2vdm/JSONObject.java -------------------------------------------------------------------------------- /fmi2/cosim2vdm/src/main/java/cosim2vdm/JSONReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim2vdm/src/main/java/cosim2vdm/JSONReader.java -------------------------------------------------------------------------------- /fmi2/cosim2vdm/src/test/resources/massSpringDamper.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/cosim2vdm/src/test/resources/massSpringDamper.json -------------------------------------------------------------------------------- /fmi2/dynamic-model/APIStates_3.2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/APIStates_3.2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/APITypes_2.1.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/APITypes_2.1.2.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Computation_4.2.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Computation_4.2.2.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/CreateDestroy_2.1.5.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/CreateDestroy_2.1.5.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Environment_2.1.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Environment_2.1.2.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/EvalEquations_3.2.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/EvalEquations_3.2.2.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/FMI2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/FMI2/.gitignore -------------------------------------------------------------------------------- /fmi2/dynamic-model/FMI2/_HOWTO_FMI2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/FMI2/_HOWTO_FMI2 -------------------------------------------------------------------------------- /fmi2/dynamic-model/GetSetState_2.1.8.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/GetSetState_2.1.8.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/GetSetVariables_2.1.7.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/GetSetVariables_2.1.7.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Initialization_2.1.6.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Initialization_2.1.6.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/InquirePlatform_2.1.4.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/InquirePlatform_2.1.4.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Logging_2.1.5.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Logging_2.1.5.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/PartialDerivatives_2.1.9.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/PartialDerivatives_2.1.9.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/SetTimeAndCT_3.2.1.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/SetTimeAndCT_3.2.1.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/StateMachineFuncs.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/StateMachineFuncs.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/StatusRetrieval_4.2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/StatusRetrieval_4.2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Tests/BouncingBall.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Tests/BouncingBall.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Tests/Tests.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Tests/Tests.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/Tests/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/Tests/XSD.vdmsl -------------------------------------------------------------------------------- /fmi2/dynamic-model/TransferIO_4.2.1.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/dynamic-model/TransferIO_4.2.1.vdmsl -------------------------------------------------------------------------------- /fmi2/modelex-test/FMI2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/modelex-test/FMI2/.gitignore -------------------------------------------------------------------------------- /fmi2/modelex-test/FMI2/_HOWTO_FMI2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/modelex-test/FMI2/_HOWTO_FMI2 -------------------------------------------------------------------------------- /fmi2/modelex-test/FMI2_API/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/modelex-test/FMI2_API/.gitignore -------------------------------------------------------------------------------- /fmi2/modelex-test/FMI2_API/_HOWTO_FMI2_API: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/modelex-test/FMI2_API/_HOWTO_FMI2_API -------------------------------------------------------------------------------- /fmi2/modelex-test/ModelExCombinatorials.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/modelex-test/ModelExCombinatorials.vdmsl -------------------------------------------------------------------------------- /fmi2/modelex-test/SpringMassDamper.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/modelex-test/SpringMassDamper.vdmsl -------------------------------------------------------------------------------- /fmi2/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/pom.xml -------------------------------------------------------------------------------- /fmi2/rule-model/Annotations.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Annotations.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/BuildConfiguration.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/BuildConfiguration.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/CoSimulation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/CoSimulation.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Common.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Common.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/DefaultExperiment.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/DefaultExperiment.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/EffectiveVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/EffectiveVariables.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/FMI2Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/FMI2Schema.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/FMIModelDescription.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/FMIModelDescription.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/InvariantSupport.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/InvariantSupport.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/LogCategories.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/LogCategories.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/ModelExchange.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/ModelExchange.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/ModelStructure.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/ModelStructure.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/ModelVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/ModelVariables.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/.gitignore: -------------------------------------------------------------------------------- 1 | *.adoc.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/BuildConfiguration.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/BuildConfiguration.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/CoSimulation.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/CoSimulation.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/DefaultExperiment.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/DefaultExperiment.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/FMI2Rules.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/FMI2Rules.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/FMI2Rules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/FMI2Rules.html -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/FmiModelDescription.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/FmiModelDescription.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/LogCategories.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/LogCategories.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/ModelExchange.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/ModelExchange.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/ModelStructure.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/ModelStructure.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/ModelVariables.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/ModelVariables.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/Terminals.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/Terminals.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/TypeDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/TypeDefinitions.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/UnitDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/UnitDefinitions.adoc -------------------------------------------------------------------------------- /fmi2/rule-model/Rules/fmi2_specification.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Rules/fmi2_specification.html -------------------------------------------------------------------------------- /fmi2/rule-model/Support.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Support.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Terminals.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Terminals.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Tests/ControlledTemperature.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Tests/ControlledTemperature.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Tests/IntegrateSignal.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Tests/IntegrateSignal.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Tests/SpringMassDamper.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Tests/SpringMassDamper.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Tests/Tests.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Tests/Tests.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Tests/validationError.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Tests/validationError.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/TypeDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/TypeDefinitions.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/UnitDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/UnitDefinitions.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/Validation.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/VariableNaming.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/VariableNaming.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/XSD.vdmsl -------------------------------------------------------------------------------- /fmi2/rule-model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/rule-model/pom.xml -------------------------------------------------------------------------------- /fmi2/static-model/BuildConfiguration_2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/BuildConfiguration_2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/CoSimulation_4.3.1.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/CoSimulation_4.3.1.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/DefaultExperiment_2.2.5.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/DefaultExperiment_2.2.5.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/FMI2Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/FMI2Schema.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/FMIModelDescription_2.2.1.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/FMIModelDescription_2.2.1.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/GraphicalRepresentation_2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/GraphicalRepresentation_2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/LogCategories_2.2.4.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/LogCategories_2.2.4.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/Misc.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/Misc.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/ModelExchange_3.3.1.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/ModelExchange_3.3.1.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/ModelStructure_2.2.8.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/ModelStructure_2.2.8.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/ModelVariables_2.2.7.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/ModelVariables_2.2.7.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/Terminals_2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/Terminals_2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/Tests/SpringMassDamper.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/Tests/SpringMassDamper.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/Tests/Tests.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/Tests/Tests.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/TypeDefinitions_2.2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/TypeDefinitions_2.2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/UnitDefinitions_2.2.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/UnitDefinitions_2.2.2.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/Validation.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/VariableNaming_2.2.9.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/VariableNaming_2.2.9.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/VendorAnnotations_2.2.6.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/VendorAnnotations_2.2.6.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/VendorAnnotations_2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/VendorAnnotations_2.3.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/XSD.vdmsl -------------------------------------------------------------------------------- /fmi2/static-model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-model/pom.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_initialUnknowns1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_initialUnknowns1.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_initialUnknowns2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_initialUnknowns2.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_initialUnknowns3.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_initialUnknowns3.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_invalidDerivatives1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_invalidDerivatives1.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_invalidDerivatives2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_invalidDerivatives2.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_invalidDerivatives3.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_invalidDerivatives3.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_invalidMultipleSet.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_invalidMultipleSet.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_invalidOutputs1.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_invalidOutputs1.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_invalidOutputs2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_invalidOutputs2.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_noModelType.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_noModelType.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_typeCheckFail.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_typeCheckFail.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.1_wrongFMIVersion.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.1_wrongFMIVersion.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.2_duplicateUnitNames.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.2_duplicateUnitNames.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.3_invalidTypeName.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.3_invalidTypeName.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.3_invalidTypes.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.3_invalidTypes.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.4_duplicateCategories.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.4_duplicateCategories.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.5_invalidExperiment.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.5_invalidExperiment.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.6_duplicateVendorNames.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.6_duplicateVendorNames.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.7_causalityVariabiliy.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.7_causalityVariabiliy.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.7_duplicateVarNames.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.7_duplicateVarNames.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.7_notInMinMaxRange.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.7_notInMinMaxRange.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.8_invalidUnknowns.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.8_invalidUnknowns.xml -------------------------------------------------------------------------------- /fmi2/static-tests/2.2.9_invalidStructNames.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/2.2.9_invalidStructNames.xml -------------------------------------------------------------------------------- /fmi2/static-tests/3.3.1_duplicateSourceFiles.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/3.3.1_duplicateSourceFiles.xml -------------------------------------------------------------------------------- /fmi2/static-tests/4.3.1_duplicateSourceFiles.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/4.3.1_duplicateSourceFiles.xml -------------------------------------------------------------------------------- /fmi2/static-tests/expectedResults: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/expectedResults -------------------------------------------------------------------------------- /fmi2/static-tests/minimal.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/minimal.xml -------------------------------------------------------------------------------- /fmi2/static-tests/runFmuCheck.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/runFmuCheck.sh -------------------------------------------------------------------------------- /fmi2/static-tests/runTests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/static-tests/runTests.sh -------------------------------------------------------------------------------- /fmi2/vdmcheck/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/README -------------------------------------------------------------------------------- /fmi2/vdmcheck/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/pom.xml -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/assembly/assembly-rules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/assembly/assembly-rules.xml -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/assembly/assembly-static.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/assembly/assembly-static.xml -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/java/VDMCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/java/VDMCheck.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/java/VDMCheckPlus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/java/VDMCheckPlus.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/java/maestro/MaestroCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/java/maestro/MaestroCheck.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/java/maestro/MaestroCheckFMI2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/java/maestro/MaestroCheckFMI2.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/java/maestro/OnFailError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/java/maestro/OnFailError.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/java/vdmcheck/annotations/in/INOnFailAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/java/vdmcheck/annotations/in/INOnFailAnnotation.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/annotations/ast-tc.mappings -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/annotations/tc-in.mappings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/annotations/tc-in.mappings -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2Annotation.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2Annotation.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2AttributeGroups.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2AttributeGroups.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2ModelDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2ModelDescription.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2ScalarVariable.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2ScalarVariable.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2Type.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2Type.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2Unit.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2Unit.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2VariableDependency.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi2VariableDependency.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3Annotation.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3Annotation.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3BuildDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3BuildDescription.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3Terminal.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3Terminal.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3TerminalsAndIcons.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/fmi3TerminalsAndIcons.xsd -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/resources/fmi2schema/xsd2vdm.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/resources/fmi2schema/xsd2vdm.properties -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/main/scripts/VDMCheck2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/main/scripts/VDMCheck2.sh -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/java/MaestroCheckFMI2Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/java/MaestroCheckFMI2Test.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/java/MaestroCheckTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/java/MaestroCheckTest.java -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/resources/TestFMU.fmu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/resources/TestFMU.fmu -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/resources/icons/terminalsAndIcons.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/resources/icons/terminalsAndIcons.xml -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/resources/minimal.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/resources/minimal.xml -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/resources/modelDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/resources/modelDescription.xml -------------------------------------------------------------------------------- /fmi2/vdmcheck/src/test/resources/sources/buildDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi2/vdmcheck/src/test/resources/sources/buildDescription.xml -------------------------------------------------------------------------------- /fmi3/GPL3-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/GPL3-LICENCE -------------------------------------------------------------------------------- /fmi3/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/LICENCE -------------------------------------------------------------------------------- /fmi3/MIT-LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/MIT-LICENCE -------------------------------------------------------------------------------- /fmi3/clock-model/Clocks.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/clock-model/Clocks.vdmsl -------------------------------------------------------------------------------- /fmi3/clock-model/Importer.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/clock-model/Importer.vdmsl -------------------------------------------------------------------------------- /fmi3/clock-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/clock-model/Validation.vdmsl -------------------------------------------------------------------------------- /fmi3/clock-model/clock_paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/clock-model/clock_paper.pdf -------------------------------------------------------------------------------- /fmi3/clock-model/scenario.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/clock-model/scenario.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-matrix/FMI3 API Matrix.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-matrix/FMI3 API Matrix.csv -------------------------------------------------------------------------------- /fmi3/dynamic-matrix/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-matrix/README -------------------------------------------------------------------------------- /fmi3/dynamic-matrix/csv2vdm.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-matrix/csv2vdm.awk -------------------------------------------------------------------------------- /fmi3/dynamic-model/APIPreconditions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/APIPreconditions.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/APIStates_3.2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/APIStates_3.2.3.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/APITypes_2.1.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/APITypes_2.1.2.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/ClockActivation_2.1.9.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/ClockActivation_2.1.9.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Computation_4.2.4.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Computation_4.2.4.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/CreateDestroy_2.1.5.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/CreateDestroy_2.1.5.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Environment_2.1.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Environment_2.1.2.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/EvalEquations_3.2.2.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/EvalEquations_3.2.2.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/FMI3/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/FMI3/.gitignore -------------------------------------------------------------------------------- /fmi3/dynamic-model/FMI3/_HOWTO_FMI3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/FMI3/_HOWTO_FMI3 -------------------------------------------------------------------------------- /fmi3/dynamic-model/GetNumbers_2.1.12.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/GetNumbers_2.1.12.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/GetSetState_2.1.10.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/GetSetState_2.1.10.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/GetVariables_2.1.7.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/GetVariables_2.1.7.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Initialization_2.1.6.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Initialization_2.1.6.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/InquirePlatform_2.1.4.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/InquirePlatform_2.1.4.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Logging_2.1.5.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Logging_2.1.5.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Misc.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Misc.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/PartialDerivatives_2.1.11.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/PartialDerivatives_2.1.11.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/SetTimeAndCT_3.2.1.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/SetTimeAndCT_3.2.1.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/SetVariables_2.1.7.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/SetVariables_2.1.7.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/CoSimulationFMU.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/CoSimulationFMU.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/CoSimulationFMU.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/CoSimulationFMU.xml -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/ModelExchangeFMU.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/ModelExchangeFMU.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/ModelExchangeFMU.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/ModelExchangeFMU.xml -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/ScheduledExecutionFMU.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/ScheduledExecutionFMU.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/ScheduledExecutionFMU.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/ScheduledExecutionFMU.xml -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/SpringMassDamper.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/SpringMassDamper.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/TestAPI.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/TestAPI.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/TestCalculate.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/TestCalculate.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/TestPaths.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/TestPaths.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/TestXML2VDM.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/TestXML2VDM.sh -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/VariableTypesFMU.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/VariableTypesFMU.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/VariableTypesFMU.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/VariableTypesFMU.xml -------------------------------------------------------------------------------- /fmi3/dynamic-model/Tests/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/Tests/XSD.vdmsl -------------------------------------------------------------------------------- /fmi3/dynamic-model/VariableAccess_4.2.3.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/dynamic-model/VariableAccess_4.2.3.vdmsl -------------------------------------------------------------------------------- /fmi3/ls-bus-model/FMI3Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/FMI3Schema.vdmsl -------------------------------------------------------------------------------- /fmi3/ls-bus-model/NetworkDescription.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/NetworkDescription.vdmsl -------------------------------------------------------------------------------- /fmi3/ls-bus-model/NetworkRules.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/NetworkRules.vdmsl -------------------------------------------------------------------------------- /fmi3/ls-bus-model/Support.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/Support.vdmsl -------------------------------------------------------------------------------- /fmi3/ls-bus-model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/pom.xml -------------------------------------------------------------------------------- /fmi3/ls-bus-model/tests/errorFMU.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/tests/errorFMU.vdmsl -------------------------------------------------------------------------------- /fmi3/ls-bus-model/tests/testFMU.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/ls-bus-model/tests/testFMU.vdmsl -------------------------------------------------------------------------------- /fmi3/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/pom.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Annotations.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Annotations.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/BuildConfiguration.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/BuildConfiguration.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/CoSimulation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/CoSimulation.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Common.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Common.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/DefaultExperiment.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/DefaultExperiment.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/EffectiveVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/EffectiveVariables.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/FMI3Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/FMI3Schema.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/FMIModelDescription.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/FMIModelDescription.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/InvariantSupport.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/InvariantSupport.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/LogCategories.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/LogCategories.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/ModelExchange.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/ModelExchange.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/ModelStructure.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/ModelStructure.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/ModelVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/ModelVariables.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/.gitignore: -------------------------------------------------------------------------------- 1 | *.adoc.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/BuildConfiguration.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/BuildConfiguration.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/CoSimulation.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/CoSimulation.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/DefaultExperiment.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/DefaultExperiment.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/FMI3Rules.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/FMI3Rules.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/FMI3Rules.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/FMI3Rules.html -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/FmiModelDescription.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/FmiModelDescription.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/LogCategories.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/LogCategories.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/ModelExchange.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/ModelExchange.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/ModelStructure.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/ModelStructure.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/ModelVariables.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/ModelVariables.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/ScheduledExecution.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/ScheduledExecution.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/Terminals.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/Terminals.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/TypeDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/TypeDefinitions.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/UnitDefinitions.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/UnitDefinitions.adoc -------------------------------------------------------------------------------- /fmi3/rule-model/Rules/fmi3_specification.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Rules/fmi3_specification.html -------------------------------------------------------------------------------- /fmi3/rule-model/ScheduledExecution.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/ScheduledExecution.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Support.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Support.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Terminals.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Terminals.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/alias_example.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/alias_example.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/build_description_complex.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/build_description_complex.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/build_description_simple.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/build_description_simple.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/co_simulation.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/co_simulation.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/co_simulation_early_return.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/co_simulation_early_return.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/minimal.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/minimal.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/model_exchange.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/model_exchange.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/scheduled_execution.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/scheduled_execution.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/string_vector_example.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/string_vector_example.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/structural_parameter_example.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/structural_parameter_example.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/tandi_variables.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/tandi_variables.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/terminals_and_icons.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/terminals_and_icons.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/unit_definition.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/unit_definition.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/TestXML/variable_types.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/TestXML/variable_types.xml -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/Tests.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/Tests.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/alias_example.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/alias_example.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/build_description_complex.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/build_description_complex.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/build_description_simple.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/build_description_simple.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/co_simulation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/co_simulation.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/co_simulation_early_return.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/co_simulation_early_return.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/generateTest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/generateTest.sh -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/generateTests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/generateTests.sh -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/minimal.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/minimal.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/model_exchange.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/model_exchange.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/scheduled_execution.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/scheduled_execution.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/string_vector_example.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/string_vector_example.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/structural_parameter_example.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/structural_parameter_example.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/tandi_variables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/tandi_variables.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/terminals_and_icons.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/terminals_and_icons.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/unit_definition.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/unit_definition.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/validationError.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/validationError.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Tests/variable_types.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Tests/variable_types.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/TypeDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/TypeDefinitions.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/UnitDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/UnitDefinitions.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/Validation.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/VariableNaming.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/VariableNaming.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/XSD.vdmsl -------------------------------------------------------------------------------- /fmi3/rule-model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/rule-model/pom.xml -------------------------------------------------------------------------------- /fmi3/static-model/Annotations.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/Annotations.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/BuildConfiguration.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/BuildConfiguration.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/CoSimulation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/CoSimulation.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/DefaultExperiment.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/DefaultExperiment.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/FMI3Schema.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/FMI3Schema.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/FMIModelDescription.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/FMIModelDescription.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/GraphicalRepresentation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/GraphicalRepresentation.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/LogCategories.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/LogCategories.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/Misc.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/Misc.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/ModelExchange.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/ModelExchange.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/ModelStructure.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/ModelStructure.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/ModelVariables.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/ModelVariables.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/ScheduledExecution.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/ScheduledExecution.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/Terminals.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/Terminals.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/Tests/Tests.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/Tests/Tests.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/TypeDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/TypeDefinitions.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/UnitDefinitions.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/UnitDefinitions.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/Validation.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/Validation.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/VariableNaming.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/VariableNaming.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/XSD.vdmsl -------------------------------------------------------------------------------- /fmi3/static-model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/static-model/pom.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/pom.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/assembly/assembly-rules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/assembly/assembly-rules.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/java/VDMCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/java/VDMCheck.java -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/java/VDMCheckPlus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/java/VDMCheckPlus.java -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/java/maestro/MaestroCheckFMI3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/java/maestro/MaestroCheckFMI3.java -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/java/maestro/OnFailError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/java/maestro/OnFailError.java -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/java/vdmcheck/annotations/in/INOnFailAnnotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/java/vdmcheck/annotations/in/INOnFailAnnotation.java -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/annotations/ast-tc.mappings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/annotations/ast-tc.mappings -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/annotations/tc-in.mappings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/annotations/tc-in.mappings -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Annotation.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Annotation.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3AttributeGroups.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3AttributeGroups.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3BuildDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3BuildDescription.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3InterfaceType.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3InterfaceType.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3ModelDescription.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3ModelDescription.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Terminal.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Terminal.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3TerminalsAndIcons.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3TerminalsAndIcons.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Type.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Type.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Unit.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Unit.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Variable.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3Variable.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3VariableDependency.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/resources/fmi3schema/fmi3VariableDependency.xsd -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/main/scripts/VDMCheck3.sh -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/test/java/MaestroCheckFMI3Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/test/java/MaestroCheckFMI3Test.java -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/test/resources/minimal.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/test/resources/minimal.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/test/resources/modelDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/test/resources/modelDescription.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/test/resources/sources/buildDescription.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/test/resources/sources/buildDescription.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/test/resources/terminalsAndIcons/terminalsAndIcons.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/test/resources/terminalsAndIcons/terminalsAndIcons.xml -------------------------------------------------------------------------------- /fmi3/vdmcheck/src/test/resources/test.fmu: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmi3/vdmcheck/src/test/resources/test.fmu -------------------------------------------------------------------------------- /fmuReader/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmuReader/pom.xml -------------------------------------------------------------------------------- /fmuReader/src/main/java/fmureader/FMUReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmuReader/src/main/java/fmureader/FMUReader.java -------------------------------------------------------------------------------- /fmuReader/src/main/resources/vdmj.readers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmuReader/src/main/resources/vdmj.readers -------------------------------------------------------------------------------- /fmuReader/src/test/java/fmureader/TestReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/fmuReader/src/test/java/fmureader/TestReader.java -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/pom.xml -------------------------------------------------------------------------------- /renumber.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/renumber.awk -------------------------------------------------------------------------------- /renumber3.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/renumber3.sh -------------------------------------------------------------------------------- /xsd2vdm/.gitignore: -------------------------------------------------------------------------------- 1 | *.xsd 2 | /test* 3 | /*.xml 4 | -------------------------------------------------------------------------------- /xsd2vdm/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/pom.xml -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/AssertionFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/AssertionFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/BasicType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/BasicType.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/Constraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/Constraint.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/DigitsFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/DigitsFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/EnumFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/EnumFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/ErrorFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/ErrorFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/Facet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/Facet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/Field.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/FixedFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/FixedFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/Keywords.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/Keywords.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/LengthFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/LengthFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/MinMaxFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/MinMaxFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/OptionalType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/OptionalType.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/PatternFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/PatternFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/QuoteType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/QuoteType.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/RecordType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/RecordType.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/SeqType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/SeqType.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/TimezoneFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/TimezoneFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/Type.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/UnionType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/UnionType.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/types/WhitespaceFacet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/types/WhitespaceFacet.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/values/AnyValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/values/AnyValue.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/values/RecordValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/values/RecordValue.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/values/SeqValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/values/SeqValue.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/values/SimpleValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/values/SimpleValue.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/values/VDMValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/values/VDMValue.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/Namespaces.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/Namespaces.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/XMLSaxHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/XMLSaxHandler.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/XSDContent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/XSDContent.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/XSDConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/XSDConverter.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/XSDConverter_v11.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/XSDConverter_v11.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/XSDElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/XSDElement.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/XSDSaxHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/XSDSaxHandler.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/Xsd2Raw.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/Xsd2Raw.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/java/xsd2vdm/Xsd2VDM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/java/xsd2vdm/Xsd2VDM.java -------------------------------------------------------------------------------- /xsd2vdm/src/main/scripts/xsd2raw.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/scripts/xsd2raw.sh -------------------------------------------------------------------------------- /xsd2vdm/src/main/scripts/xsd2vdm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/main/scripts/xsd2vdm.sh -------------------------------------------------------------------------------- /xsd2vdm/src/test/resources/XSD.vdmsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/test/resources/XSD.vdmsl -------------------------------------------------------------------------------- /xsd2vdm/src/test/resources/fmi2.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/INTO-CPS-Association/FMI-VDM-Model/HEAD/xsd2vdm/src/test/resources/fmi2.properties --------------------------------------------------------------------------------