Commit 62d306e7 authored by Simon Barner's avatar Simon Barner
Browse files

Merge branch 'master' of https://git.fortiss.org/af3/af3-rcp.git into 3672

parents 0f4c3354 64aa72ab
......@@ -2,3 +2,7 @@
path = org.fortiss.af3.rcp.application/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.rcp.help/.settings"]
path = org.fortiss.af3.rcp.help/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
eclipse.preferences.version=1
encoding//html/external_tools.html=UTF-8
encoding//model/conti.ecorediag=UTF-8
encoding//uml/exploration.ecorediag=UTF-8
encoding/<project>=US-ASCII
eclipse.preferences.version=1
editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
formatter_profile=_fortiss
formatter_settings_version=12
org.eclipse.jdt.ui.javadoc=true
org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates><template autoinsert\="false" context\="gettercomment_context" deleted\="false" description\="Comment for getter method" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.gettercomment" name\="gettercomment">/** Returns ${bare_field_name}. */</template><template autoinsert\="false" context\="settercomment_context" deleted\="false" description\="Comment for setter method" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.settercomment" name\="settercomment">/** Sets ${bare_field_name}. */</template><template autoinsert\="true" context\="constructorcomment_context" deleted\="false" description\="Comment for created constructors" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.constructorcomment" name\="constructorcomment">/**\n * ${tags}\n */</template><template autoinsert\="false" context\="filecomment_context" deleted\="false" description\="Comment for created Java files" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.filecomment" name\="filecomment">/*-------------------------------------------------------------------------+\n| Copyright ${year} fortiss GmbH |\n| |\n| Licensed under the Apache License, Version 2.0 (the "License"); |\n| you may not use this file except in compliance with the License. |\n| You may obtain a copy of the License at |\n| |\n| http\://www.apache.org/licenses/LICENSE-2.0 |\n| |\n| Unless required by applicable law or agreed to in writing, software |\n| distributed under the License is distributed on an "AS IS" BASIS, |\n| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |\n| See the License for the specific language governing permissions and |\n| limitations under the License. |\n+--------------------------------------------------------------------------*/</template><template autoinsert\="false" context\="typecomment_context" deleted\="false" description\="Comment for created types" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.typecomment" name\="typecomment">/**\n * \n * @author ${user}\n*/</template><template autoinsert\="false" context\="fieldcomment_context" deleted\="false" description\="Comment for fields" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.fieldcomment" name\="fieldcomment">\n/** */</template><template autoinsert\="true" context\="methodcomment_context" deleted\="false" description\="Comment for non-overriding methods" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.methodcomment" name\="methodcomment">/**\n * ${tags}\n */</template><template autoinsert\="false" context\="overridecomment_context" deleted\="false" description\="Comment for overriding methods" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.overridecomment" name\="overridecomment">/** {@inheritDoc} */</template><template autoinsert\="true" context\="delegatecomment_context" deleted\="false" description\="Comment for delegate methods" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.delegatecomment" name\="delegatecomment">/**\n * ${tags}\n * ${see_to_target}\n */</template><template autoinsert\="true" context\="newtype_context" deleted\="false" description\="Newly created files" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.newtype" name\="newtype">${filecomment}\n${package_declaration}\n\n${typecomment}\n${type_declaration}</template><template autoinsert\="true" context\="classbody_context" deleted\="false" description\="Code in new class type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.classbody" name\="classbody">\n</template><template autoinsert\="true" context\="interfacebody_context" deleted\="false" description\="Code in new interface type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.interfacebody" name\="interfacebody">\n</template><template autoinsert\="true" context\="enumbody_context" deleted\="false" description\="Code in new enum type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.enumbody" name\="enumbody">\n</template><template autoinsert\="true" context\="annotationbody_context" deleted\="false" description\="Code in new annotation type bodies" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.annotationbody" name\="annotationbody">\n</template><template autoinsert\="true" context\="catchblock_context" deleted\="false" description\="Code in new catch blocks" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.catchblock" name\="catchblock">// ${todo} Auto-generated catch block\n${exception_var}.printStackTrace();</template><template autoinsert\="true" context\="methodbody_context" deleted\="false" description\="Code in created method stubs" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.methodbody" name\="methodbody">// ${todo} Auto-generated method stub\n${body_statement}</template><template autoinsert\="true" context\="constructorbody_context" deleted\="false" description\="Code in created constructor stubs" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.constructorbody" name\="constructorbody">${body_statement}\n// ${todo} Auto-generated constructor stub</template><template autoinsert\="true" context\="getterbody_context" deleted\="false" description\="Code in created getters" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.getterbody" name\="getterbody">return ${field};</template><template autoinsert\="true" context\="setterbody_context" deleted\="false" description\="Code in created setters" enabled\="true" id\="org.eclipse.jdt.ui.text.codetemplates.setterbody" name\="setterbody">${field} \= ${param};</template><template autoinsert\="true" context\="gettercomment_context" deleted\="false" description\="Comment for getter function" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.gettercomment" name\="gettercomment">/**\n * @return the ${bare_field_name}\n */</template><template autoinsert\="true" context\="settercomment_context" deleted\="false" description\="Comment for setter function" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.settercomment" name\="settercomment">/**\n * @param ${param} the ${bare_field_name} to set\n */</template><template autoinsert\="true" context\="constructorcomment_context" deleted\="false" description\="Comment for created constructors" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.constructorcomment" name\="constructorcomment">/**\n * ${tags}\n */</template><template autoinsert\="true" context\="filecomment_context" deleted\="false" description\="Comment for created JavaScript files" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.filecomment" name\="filecomment">/**\n * \n */</template><template autoinsert\="true" context\="typecomment_context" deleted\="false" description\="Comment for created types" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.typecomment" name\="typecomment">/**\n * @author ${user}\n *\n * ${tags}\n */</template><template autoinsert\="true" context\="fieldcomment_context" deleted\="false" description\="Comment for vars" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.fieldcomment" name\="fieldcomment">/**\n * \n */</template><template autoinsert\="true" context\="methodcomment_context" deleted\="false" description\="Comment for non-overriding function" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.methodcomment" name\="methodcomment">/**\n * ${tags}\n */</template><template autoinsert\="true" context\="overridecomment_context" deleted\="false" description\="Comment for overriding functions" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.overridecomment" name\="overridecomment">/* (non-JSDoc)\n * ${see_to_overridden}\n */</template><template autoinsert\="true" context\="delegatecomment_context" deleted\="false" description\="Comment for delegate functions" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.delegatecomment" name\="delegatecomment">/**\n * ${tags}\n * ${see_to_target}\n */</template><template autoinsert\="true" context\="newtype_context" deleted\="false" description\="Newly created files" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.newtype" name\="newtype">${filecomment}\n${package_declaration}\n\n${typecomment}\n${type_declaration}</template><template autoinsert\="true" context\="classbody_context" deleted\="false" description\="Code in new class type bodies" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.classbody" name\="classbody">\n</template><template autoinsert\="true" context\="catchblock_context" deleted\="false" description\="Code in new catch blocks" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.catchblock" name\="catchblock">// ${todo} Auto-generated catch block\n${exception_var}.printStackTrace();</template><template autoinsert\="true" context\="methodbody_context" deleted\="false" description\="Code in created function stubs" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.methodbody" name\="methodbody">// ${todo} Auto-generated function stub\n${body_statement}</template><template autoinsert\="true" context\="constructorbody_context" deleted\="false" description\="Code in created constructor stubs" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.constructorbody" name\="constructorbody">${body_statement}\n// ${todo} Auto-generated constructor stub</template><template autoinsert\="true" context\="getterbody_context" deleted\="false" description\="Code in created getters" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.getterbody" name\="getterbody">return ${field};</template><template autoinsert\="true" context\="setterbody_context" deleted\="false" description\="Code in created setters" enabled\="true" id\="org.eclipse.wst.jsdt.ui.text.codetemplates.setterbody" name\="setterbody">${field} \= ${param};</template></templates>
sp_cleanup.add_default_serial_version_id=true
sp_cleanup.add_generated_serial_version_id=false
sp_cleanup.add_missing_annotations=true
sp_cleanup.add_missing_deprecated_annotations=true
sp_cleanup.add_missing_methods=false
sp_cleanup.add_missing_nls_tags=false
sp_cleanup.add_missing_override_annotations=true
sp_cleanup.add_missing_override_annotations_interface_methods=true
sp_cleanup.add_serial_version_id=false
sp_cleanup.always_use_blocks=true
sp_cleanup.always_use_parentheses_in_expressions=false
sp_cleanup.always_use_this_for_non_static_field_access=false
sp_cleanup.always_use_this_for_non_static_method_access=false
sp_cleanup.convert_to_enhanced_for_loop=false
sp_cleanup.correct_indentation=false
sp_cleanup.format_source_code=true
sp_cleanup.format_source_code_changes_only=false
sp_cleanup.make_local_variable_final=false
sp_cleanup.make_parameters_final=false
sp_cleanup.make_private_fields_final=true
sp_cleanup.make_type_abstract_if_missing_method=false
sp_cleanup.make_variable_declarations_final=true
sp_cleanup.never_use_blocks=false
sp_cleanup.never_use_parentheses_in_expressions=true
sp_cleanup.on_save_use_additional_actions=false
sp_cleanup.organize_imports=true
sp_cleanup.qualify_static_field_accesses_with_declaring_class=false
sp_cleanup.qualify_static_member_accesses_through_instances_with_declaring_class=true
sp_cleanup.qualify_static_member_accesses_through_subtypes_with_declaring_class=true
sp_cleanup.qualify_static_member_accesses_with_declaring_class=false
sp_cleanup.qualify_static_method_accesses_with_declaring_class=false
sp_cleanup.remove_private_constructors=true
sp_cleanup.remove_trailing_whitespaces=false
sp_cleanup.remove_trailing_whitespaces_all=true
sp_cleanup.remove_trailing_whitespaces_ignore_empty=false
sp_cleanup.remove_unnecessary_casts=true
sp_cleanup.remove_unnecessary_nls_tags=false
sp_cleanup.remove_unused_imports=false
sp_cleanup.remove_unused_local_variables=false
sp_cleanup.remove_unused_private_fields=true
sp_cleanup.remove_unused_private_members=false
sp_cleanup.remove_unused_private_methods=true
sp_cleanup.remove_unused_private_types=true
sp_cleanup.sort_members=false
sp_cleanup.sort_members_all=false
sp_cleanup.use_blocks=false
sp_cleanup.use_blocks_only_for_return_and_throw=false
sp_cleanup.use_parentheses_in_expressions=false
sp_cleanup.use_this_for_non_static_field_access=false
sp_cleanup.use_this_for_non_static_field_access_only_if_necessary=true
sp_cleanup.use_this_for_non_static_method_access=false
sp_cleanup.use_this_for_non_static_method_access_only_if_necessary=true
activeProfiles=
eclipse.preferences.version=1
resolveWorkspaceProjects=true
version=1
......@@ -19,7 +19,8 @@ Export-Package: org.fortiss.af3.rcp.application;
org.osgi.framework",
org.fortiss.af3.rcp.application.example,
test.org.fortiss.af3.rcp.application
Require-Bundle: eu.fbk.af3.tools.diagram.ui;bundle-version="2.15.0",
Require-Bundle: org.fortiss.af3.rcp.help;bundle-version="2.15.0",
eu.fbk.af3.tools.diagram.ui;bundle-version="2.15.0",
org.fortiss.af3.cosimulation.ui;bundle-version="2.15.0",
org.fortiss.af3.exploration.ui;bundle-version="2.15.0",
org.fortiss.af3.mira.ui;bundle-version="2.15.0",
......@@ -51,8 +52,6 @@ Require-Bundle: eu.fbk.af3.tools.diagram.ui;bundle-version="2.15.0",
org.eclipse.equinox.http.registry,
org.eclipse.equinox.http.servlet,
org.eclipse.equinox.p2.director,
org.eclipse.help.ui;bundle-version="4.1.500",
org.eclipse.help.webapp;bundle-version="3.9.500",
org.eclipse.osgi.services,
org.eclipse.swtbot.eclipse.finder;bundle-version="2.0.5";resolution:=optional,
org.eclipse.swtbot.forms.finder;bundle-version="2.0.5";resolution:=optional,
......
......@@ -10,7 +10,4 @@ bin.includes = plugin.xml,\
splash.bmp,\
html/,\
plugin_customization.ini,\
toc.xml,\
test-data/,\
intro/,\
introdata.xml
test-data/
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 a2daa6bb9a39083cf2498df26df54572f69c38da RED
data_dictionary.html b3ae064896c7617b7adff889d129802c7832438b RED
dse_perspective.html f050d9fa27d2c20ce5dc14e56b37184676bda4c6 RED
efficient_deployment.html f51b3cf4a6dc9e172cdbe50c2703a13414d0f3cc RED
external_tools.html 49d87b1873ffd6c5132aafd7238464a565742a55 RED
getting_started.html 856f0f694a2bdf70519703acda8dcd90657808da RED
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad RED
mcdc.html e2c759d71cf926540a34cae6b5c65e3899dd7e36 GREEN
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 RED
model_element_attributes.html b9b78c89164cad7dfa13e0df1f3beb5f58a3f1e3 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 50f3f6f97c8fa23f1790924333897ce1d0073e96 GREEN
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
documentation.html f56a860735bf1f8daa23b155d7364950da24da60 RED
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!--
Documentation of Defining a Schedule.
@author eder
@ConQAT.Rating GREEN Hash: 68B35ECC4936ACB69F9747BCFD93386B
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Using the new (experimental) DSE perspective</title>
</head>
<body>
<h2><u><font color="#336699">Using the reworked DSE perspective (beta)</font></u></h2>
AutoFOCUS 3 supports an approach for supporting the system designer by generating platform architectures, deployments (mapping of components to platforms) and schedules (timing information of a deployment).
These DSE features have already been part of AF3 for two years in the modeling perspective
The new perspective for these activities should make these features easier to access with a improved usability. (Note that this feature is experimental up to this point and is
not supporting all of the DSE activities, offered in the modelling perspective, yet).
<br><br>
If you want to open the DSE perspective you have to click on the open perspective button and select the DSE perspective.
<br><br>
<img src="./pictures/dse_perspective_selection.png">
<br><br>
Now you will find yourself in the DSE Dashboard which is the starting point for any of the DSE activities:
<ul>
<li><a href="org.fortiss.af3.exploration.ui.help/dse_dashboard.html">DSE Dashboard</a></li>
<li><a href="org.fortiss.af3.exploration.ui.help/constraints.html">DSE Constraint Modeling</a></li>
<li><a href="org.fortiss.af3.exploration.ui.help/objectives.html">DSE Objective Modeling</a></li>
<li><a href="org.fortiss.af3.exploration.ui.help/deployment_synthesis.html">DSE Deployment Synthesis</a></li>
<li><a href="org.fortiss.af3.exploration.ui.help/schedule_synthesis.html">DSE Schedule Synthesis</a></li>
<li><a href="org.fortiss.af3.exploration.ui.help/visualization.html">DSE Visualization</a></li>
</ul>
</body>
</html>
\ No newline at end of file
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Deployment Synthesis in AutoFOCUS3</title>
</head>
<body>
<h1><u><font color="#336699">Efficient Deployment</font></u></h1>
AutoFOCUS 3 supports an approach for supporting the system designer by generating a deployment efficiently that is the allocation
of logical components to platform architecture components.
This can be done according to certain criteria like timing, safety constraints and memory consumption.
<br><br>
<img src="./pictures/DSE.Start.png">
<br><br>
Right-click on the project and open DSE (Design Space Exploration) where one can choose between Synthesis of Technical Architectures, Deployments and Schedules.
<br><br>
<img src="./pictures/DSE.Navigator.png">
<br><br>
An Design Space Exploration (DSE) item opens in the Navigator View, containing already the manual deployment (from above). As we can use
the DSE also for Scheduling Synthesis later on, the (Manual) Deployment is already there (if existing).
<br><br>
By double-click on the DSE in the Navigator a DSE Editor opens (see below). From this point on we can start doing either
Technical Architecture Synthesis (left section), Deployment Synthesis (middle section), Schedule Synthesis (right section).
<br><br>
<img src="./pictures/DSE.Tech.Editor.png">
<br><br>
<h2><u><font color="#336699">Efficient Deployment Synthesis (middle section)</font></u></h2>
<h3><u><font color="#336699">Generation</font></u></h3>
Select the platform architecture (there can be more than one) on which the logical components should be deployed and hit
Deployment Generation Wizard.
<br><br>
Select first the component architecture and then the top- level logical components which should be included in the deployment. A Filter on the right hand side enables to
deploy just child components of the one selected, or all components in the tree.
<br><br>
<img src="./pictures/DSE.Wizard1.png">
<br><br>
Press the NEXT button for the next wizard page.
<br><br>
This page(below) allows to define allocation constraints in terms of whether a component has to be (or is not allowed to be) allocated on a certain ECU.
<br><br>
<img src="./pictures/DSE.Wizard.Alloc.Constraints.png">
<br><br>
Press the NEXT button for the next wizard page.
<br><br>
This page (below) provides an overview over the component parameters such as WCET, Memory and SIL. Furthermore it provides a parameter overview for the ECUs.
<br><br>
<img src="./pictures/DSE.Wizard.Parameters.Overview.png">
<br><br>
Press the NEXT button for the next wizard page.
<br><br>
This page (below) allows to manipulate the duration of each signal.
<br><br>
<img src="./pictures/DSE.Wizard.Communication.Time.png">
<br><br>
Press the NEXT button for the next wizard page.
<br><br>
This page (below) allows for enabling/disabling various Constraints. If you have added Safety Specification (either traced from requirements)
or by drag and dropping safety specification to components AND have added SIL Levels to hardware components by using the editor page of
the top-level platform architecture, you can find for Safety-Oriented Deployments. This is a deployment, where software components do not
have a SIL higher than provided by the hardware component it is mapped on.
<br><br>
<img src="./pictures/DSE.Wizard2.png">
<br><br>
Furthermore you can find for a single valid solution or and optimized solution w.r.t (for now) the optimization criteria of timing.
<br><br>
<img src="./pictures/DSE.Wizard.Gen.png">
<br><br>
Select a Timeout for the SMT Solver and hit Generate Deployments. When finished the "Next" button is enabled to go for the next
Wizard page.
<br><br>
<img src="./pictures/DSE.Wizard.Results.png">
<br><br>
This page illustrates given results. You can select all (button) or select the ones you may be interested in. Hit "Save Selected Elements" and then
"Finish".
<br><br>
All selected results are displayed in the Navigator View, containing already a certain Schedule with a certain End-2-End latency.
<br><br>
<img src="./pictures/DSE.Results.png">
<br><br>
<h3><u><font color="#336699">Visualization</font></u></h3>
After the deployments have been calculated you can examine them in the 3D Editor Tab within a 3-dimensional coordinate system, whereby
one can use color as the fourth dimension. Enter this Visualization by hitting "Visualization" at the bottom of the Editor page.
<br><br>
On the right side you can do some adjustments, such as defining which parameter is assigned to which axis. By rolling with the mouse
over one of the deployments the data related to the deployment appears. After finding the deployment that suits one the best one
can push the the "Generate Deployment" button. A generated Deployment including the given generated Schedule will be added to your model.
<br><br>
<img src="./pictures/EDeployment.Results.png">
<br><br>
In case the design space of possible deployments is large, one can limit it by using the concept of planes. One can set up planes
on the right side of the 3D Editor.
<br><br>
<img src="./pictures/EDeployment.Planes.png">
<br><br>
Another Visualization is supported by double-clicking on a certain generated Deployment in the Navigator View. All relevant
information, including a Scheduling View is presented here:
<br><br>
<img src="./pictures/DSE.GenResult.png">
<br><br>
<h3><u><font color="#336699">History</font></u></h3>
All former DSE runs (maybe you give longer timebounds) are stored an can be loaded to the DSE Navigator later again. Then you can
again visualize them, choose the one that fits your system needs and add the "generated Deployment" and "generated Schedule" to
your system model. Choosing between History Elements is rather easy by clicking "switch to selected history element" (see below).
<br><br>
<img src="./pictures/DSE.History.png">
<br><br>
</body>
</html>
\ No newline at end of file
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<title>Redmine 404 error</title>
<style>
body{
font-family: Trebuchet MS,Georgia,"Times New Roman",serif;
color:#303030;
margin:10px;
}
h1{
font-size:1.5em;
}
p{
font-size:0.8em;
}
</style>
<body>
<h1>Page not found</h1>
<p>The page you were trying to access doesn't exist or has been removed.</p>
<p><a href="javascript:history.back()">Back</a></p>
</body>
</html>
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