Commit 68e58d0d authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Merge branch '3424_-_Rate_models' into 'master'

3424   rate models

See merge request !28
parents 89f79f9a abd93d1b
project.ecore bf65bc0c76f3c242f7cb3cb750b2df548d9d659f RED
MIRA.aspects.html e761406ccf2f1caec8b1744999283aa51cc7f27a GREEN
MIRA.export_report.html fbd97dff764cff59e647a79f7cd62cd897cf55b4 GREEN
MIRA.glossary.html f0f4ff9b771d96001bdac388b88590716581c573 GREEN
MIRA.requirement_source.html 5fc52fcd8527b0b0c1418b88a9a51affc641aaa2 GREEN
MIRA.requirements.html 52acaf28bddc12f3bd30b08fcf52785e5414042e GREEN
MIRA.requirements_analysis.html d8a27745b2db24883e473f4a819337d4268cb261 GREEN
MIRA.what_is_MIRA.html 3b6528f3da42ff9dc142251243e8340307540740 GREEN
MSC.html 96f052975c78e6d4a985347893c31ab3d6ccc2f1 GREEN
analyses_new.html 728ce1a3036f16fe7abd5a648e69376973833857 GREEN
assume_guarantee_reasoning.html f7fd9713180146bc867214f05070e2b0a3693985 GREEN
beagle_java_deployment.html 8ba70c9b06c3313f3d732bcdb43e8cc15fe193a1 GREEN
bound_check.html 0e375630065dbee1463d9efa3484289534cf34b1 GREEN
code_generation.html 8d3b9847eed8693bbc0c23a0dc5f8be2f118714b GREEN
code_specification.html 6abb0c1e49b2545e5b3d81444481689ca5bbd611 GREEN
component_architecture.html 5a01c22bbfb55839ef8d05e5850a926173f9452c GREEN
cosimulation_with_af3.html 68f061e98b59139f03db22739246d55d41dec492 GREEN
data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b GREEN
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 GREEN
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc GREEN
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 GREEN
getting_started.html 027a12ec4e55a75f1eceab64fc8fa56d2ae6eec4 GREEN
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b GREEN
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc GREEN
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d GREEN
manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad GREEN
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 GREEN
model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 GREEN
model_element_attributes.html 627723b0a950a43af5cbe16c9ffd608a951ccf49 GREEN
model_markers_view.html 9b555dfff011f385fdde640f81ddfe0e5b5edf40 GREEN
model_testing.html 1337b89d2933f98c3ce76fb70a5e2f96c34c8613 GREEN
non_determinism_analysis.html 6358a070d69a95bea3b521b2fad248cb002d7d2f GREEN
ocra_contracts.html 83d86a87bfb7c8253b6396267a26bd9a65e86714 GREEN
operatorpanels.html a5343a0ad3a8421da55bf809e831b61d968c5623 GREEN
operatorpanels_advanced.html f48da6255d25f04cf83e5c181bfeba5c537bcfd4 GREEN
platform_architecture.html 2ff796afc0a14a259ad9a20ec59648b79941786b GREEN
process.html 85b2291750c54d14d06aada3803c2cc9fbf6b2fd GREEN
process_constraints.html a41f194d6100c4f4000f59aaf5bd8b54b7df06c9 GREEN
process_constraints_definition.html b176d4e6070e292abe1cfd38920f2f7bc6bb7ed1 GREEN
process_definition.html e8ad097c1bab232f067b4fc614a8389245b7e89c GREEN
process_usage.html cb2acbc3b8200c452d4de3aebc91a5bcdd49d9a6 GREEN
reachability_analysis.html 23ac6175d49bb9536f51c8359b10807303757c86 GREEN
refactoring.html cdfd1f78f6cb543ad3643eecf8f7c5f5130fe9b6 GREEN
refinement.html da2696e355081a2c1f4baac4629b9e2dd621a9d4 GREEN
refinement_testing.html 3c1ba760015bf4d12bad1567d65d913255416437 GREEN
safety.html 5f7d5b677b31bc916ec2c62d82b44502c0705a2d GREEN
safety_cases.html 95c1ff66f788f7685359e3a7ce21df466fa91258 GREEN
scheduling.html 94646464662c1745795ab1954dfcc5f469fdaee7 GREEN
simulation_with_af3.html 36223384af0af325642fe1dce007aecafa62843f GREEN
state_automaton.html 5850977b2e0f2b760e15340ee8eca319ec16c71f GREEN
technical_architecture_generation.html 0c7f91e00071c4f4883164532b1b38ebbd1f265c GREEN
tipsAndTricks.html 6eef4c172b9f40ec52010e28050f256cad969f36 GREEN
tl_specification.html 2bbc810ab72c9826a60c9486781d1282ca93de41 GREEN
MIRA.aspects.html e761406ccf2f1caec8b1744999283aa51cc7f27a RED
MIRA.export_report.html fbd97dff764cff59e647a79f7cd62cd897cf55b4 RED
MIRA.glossary.html f0f4ff9b771d96001bdac388b88590716581c573 RED
MIRA.requirement_source.html 5fc52fcd8527b0b0c1418b88a9a51affc641aaa2 RED
MIRA.requirements.html 52acaf28bddc12f3bd30b08fcf52785e5414042e RED
MIRA.requirements_analysis.html d8a27745b2db24883e473f4a819337d4268cb261 RED
MIRA.what_is_MIRA.html 3b6528f3da42ff9dc142251243e8340307540740 RED
MSC.html 96f052975c78e6d4a985347893c31ab3d6ccc2f1 RED
analyses_new.html 728ce1a3036f16fe7abd5a648e69376973833857 RED
assume_guarantee_reasoning.html f7fd9713180146bc867214f05070e2b0a3693985 RED
beagle_java_deployment.html 8ba70c9b06c3313f3d732bcdb43e8cc15fe193a1 RED
bound_check.html 0e375630065dbee1463d9efa3484289534cf34b1 RED
code_generation.html 8d3b9847eed8693bbc0c23a0dc5f8be2f118714b RED
code_specification.html 6abb0c1e49b2545e5b3d81444481689ca5bbd611 RED
component_architecture.html 5a01c22bbfb55839ef8d05e5850a926173f9452c RED
cosimulation_with_af3.html 68f061e98b59139f03db22739246d55d41dec492 RED
data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b RED
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 RED
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
getting_started.html 027a12ec4e55a75f1eceab64fc8fa56d2ae6eec4 RED
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad RED
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 RED
model_element_attributes.html 627723b0a950a43af5cbe16c9ffd608a951ccf49 RED
model_markers_view.html 9b555dfff011f385fdde640f81ddfe0e5b5edf40 RED
model_testing.html 1337b89d2933f98c3ce76fb70a5e2f96c34c8613 RED
non_determinism_analysis.html 6358a070d69a95bea3b521b2fad248cb002d7d2f RED
ocra_contracts.html 83d86a87bfb7c8253b6396267a26bd9a65e86714 RED
operatorpanels.html a5343a0ad3a8421da55bf809e831b61d968c5623 RED
operatorpanels_advanced.html f48da6255d25f04cf83e5c181bfeba5c537bcfd4 RED
platform_architecture.html 2ff796afc0a14a259ad9a20ec59648b79941786b RED
process.html 85b2291750c54d14d06aada3803c2cc9fbf6b2fd RED
process_constraints.html a41f194d6100c4f4000f59aaf5bd8b54b7df06c9 RED
process_constraints_definition.html b176d4e6070e292abe1cfd38920f2f7bc6bb7ed1 RED
process_definition.html e8ad097c1bab232f067b4fc614a8389245b7e89c RED
process_usage.html cb2acbc3b8200c452d4de3aebc91a5bcdd49d9a6 RED
reachability_analysis.html 23ac6175d49bb9536f51c8359b10807303757c86 RED
refactoring.html cdfd1f78f6cb543ad3643eecf8f7c5f5130fe9b6 RED
refinement.html da2696e355081a2c1f4baac4629b9e2dd621a9d4 RED
refinement_testing.html 3c1ba760015bf4d12bad1567d65d913255416437 RED
safety.html 5f7d5b677b31bc916ec2c62d82b44502c0705a2d RED
safety_cases.html 95c1ff66f788f7685359e3a7ce21df466fa91258 RED
scheduling.html 94646464662c1745795ab1954dfcc5f469fdaee7 RED
simulation_with_af3.html 36223384af0af325642fe1dce007aecafa62843f RED
state_automaton.html 5850977b2e0f2b760e15340ee8eca319ec16c71f RED
technical_architecture_generation.html 0c7f91e00071c4f4883164532b1b38ebbd1f265c RED
tipsAndTricks.html 6eef4c172b9f40ec52010e28050f256cad969f36 RED
tl_specification.html 2bbc810ab72c9826a60c9486781d1282ca93de41 RED
documentation.html f56a860735bf1f8daa23b155d7364950da24da60 RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.rcp.application</I></H1>
<P>// TODO
</body></html>
documentation.html 8fad5b1762187cdf0f4c183e96dc3416564aa8b9 RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.refinement.ui</I></H1>
<P>// TODO
</body></html>
documentation.html ace34489075f30c740cc76e2b685fb2588ca5c39 RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.refinement</I></H1>
<P>// TODO
</body></html>
refinement.ecore b3716ea803fc543c26d487eb2446ac5078066ce3 RED
documentation.html f92a3cb3cb40bfbf13047888dffe2c69d15a922b RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.safety.ui</I></H1>
<P>// TODO
</body></html>
documentation.html 44564da98169e111a096dc43e7f9aee069cbaa6f RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.safety</I></H1>
<P>// TODO
</body></html>
safety.ecore fd7a3d70f8637d9a4533319b465b5fb5f0ee7f9d RED
documentation.html 0aa56c1855ecf90261167195c513bb6e66463325 RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.safetycases.ui</I></H1>
<P>// TODO
</body></html>
documentation.html 308baf89cb44b7f4c1b8f03a69fcb62bebe2b478 RED
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.safetycases</I></H1>
<P>// TODO
</body></html>
requirementspatterns.ecore b2f09bfc949bafb0392929115b3c0321bf2b192c RED
safetyargumentationpackage.ecore e95d1c0c64d12fa1660899df86cc9009dbae1754 RED
safetycases.ecore 7ffa8dcf923a5375ab8a419a2d8a12a24dbc6647 RED
documentation.html dea88a80d92954504198baff0de1ee391b699676 RED
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment