OpenCert Dashboard part 2
- Complete all pages, sections and activities anchors (without real
executions)
- System design analysis VV: create a Chess project
Change-Id: Ic8062c7794147f657f68b732900e24981c55bc2e
Signed-off-by: Thanh Liem PHAN <thanhliem.phan@all4tec.net>
diff --git a/org.eclipse.opencert.infra.dashboard/META-INF/MANIFEST.MF b/org.eclipse.opencert.infra.dashboard/META-INF/MANIFEST.MF
index 35e8c8d..e59c480 100644
--- a/org.eclipse.opencert.infra.dashboard/META-INF/MANIFEST.MF
+++ b/org.eclipse.opencert.infra.dashboard/META-INF/MANIFEST.MF
@@ -17,6 +17,7 @@
org.eclipse.emf.cdo;bundle-version="4.5.0",
org.eclipse.epf.authoring.ui;bundle-version="1.5.0",
org.eclipse.opencert.apm.assurproj.wizards;bundle-version="1.0.0",
- org.polarsys.chess.wizards;bundle-version="0.9.0"
+ org.polarsys.chess.wizards;bundle-version="0.9.0",
+ org.eclipse.papyrus.sysml.modelexplorer;bundle-version="1.2.0"
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
diff --git a/org.eclipse.opencert.infra.dashboard/icons/assurancecasemanagement/assurance_case_management_off.png b/org.eclipse.opencert.infra.dashboard/icons/assurancecasemanagement/assurance_case_management_off.png
new file mode 100644
index 0000000..c2909f7
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/assurancecasemanagement/assurance_case_management_off.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/assurancecasemanagement/assurance_case_management_on.png b/org.eclipse.opencert.infra.dashboard/icons/assurancecasemanagement/assurance_case_management_on.png
new file mode 100644
index 0000000..0b4964c
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/assurancecasemanagement/assurance_case_management_on.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/evidencemanagement/evidence_management_off.png b/org.eclipse.opencert.infra.dashboard/icons/evidencemanagement/evidence_management_off.png
new file mode 100644
index 0000000..de83923
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/evidencemanagement/evidence_management_off.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/evidencemanagement/evidence_management_on.png b/org.eclipse.opencert.infra.dashboard/icons/evidencemanagement/evidence_management_on.png
new file mode 100644
index 0000000..d2d6a3e
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/evidencemanagement/evidence_management_on.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/processcompliance/process_compliance_def_off.png b/org.eclipse.opencert.infra.dashboard/icons/processcompliance/process_compliance_def_off.png
new file mode 100644
index 0000000..d722da2
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/processcompliance/process_compliance_def_off.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/processcompliance/process_compliance_def_on.png b/org.eclipse.opencert.infra.dashboard/icons/processcompliance/process_compliance_def_on.png
new file mode 100644
index 0000000..c7fe3c5
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/processcompliance/process_compliance_def_on.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/processreusability/processreusability_off.png b/org.eclipse.opencert.infra.dashboard/icons/processreusability/processreusability_off.png
deleted file mode 100644
index 36601ab..0000000
--- a/org.eclipse.opencert.infra.dashboard/icons/processreusability/processreusability_off.png
+++ /dev/null
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/processreusability/processreusability_on.png b/org.eclipse.opencert.infra.dashboard/icons/processreusability/processreusability_on.png
deleted file mode 100644
index 7a89f1b..0000000
--- a/org.eclipse.opencert.infra.dashboard/icons/processreusability/processreusability_on.png
+++ /dev/null
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/systemdesignanalysis/system_design_analysis_vv_off.png b/org.eclipse.opencert.infra.dashboard/icons/systemdesignanalysis/system_design_analysis_vv_off.png
new file mode 100644
index 0000000..b9c1d94
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/systemdesignanalysis/system_design_analysis_vv_off.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/icons/systemdesignanalysis/system_design_analysis_vv_on.png b/org.eclipse.opencert.infra.dashboard/icons/systemdesignanalysis/system_design_analysis_vv_on.png
new file mode 100644
index 0000000..d5bfd8d
--- /dev/null
+++ b/org.eclipse.opencert.infra.dashboard/icons/systemdesignanalysis/system_design_analysis_vv_on.png
Binary files differ
diff --git a/org.eclipse.opencert.infra.dashboard/plugin.xml b/org.eclipse.opencert.infra.dashboard/plugin.xml
index 7a6306d..c6defed 100644
--- a/org.eclipse.opencert.infra.dashboard/plugin.xml
+++ b/org.eclipse.opencert.infra.dashboard/plugin.xml
@@ -29,7 +29,7 @@
title="Standard Compliance Definition"
viewer="true">
<Description>
- Standard Compliance Definition in OpenCert
+ Project independent activities capture, digitalize, store and retrieve standard compliance knowledge. Specify reusable compliant process associated with a specific standard.
</Description>
<Predicate
class="org.eclipse.opencert.infra.dashboard.predicates.DashboardPredicate">
@@ -85,7 +85,7 @@
index="0"
name="Modelling of reusable process elements">
<Description>
- Description body text
+ Modelling of reusable process elements.
</Description>
</Activity>
<Activity
@@ -93,7 +93,7 @@
index="1"
name="Modelling of reusable process patterns">
<Description>
- Description body text
+ Modelling of reusable process patterns.
</Description>
</Activity>
<Activity
@@ -118,7 +118,7 @@
title="Assurance Project Definition"
viewer="true">
<Description>
- Assurance Project Definition in OpenCert
+ Define the scope of compliance for a project, project compliance lifecycle, reuse possibilities and compliance means.
</Description>
<Predicate
class="org.eclipse.opencert.infra.dashboard.predicates.DashboardPredicate">
@@ -192,7 +192,7 @@
index="0"
name="Cross system reuse">
<Description>
- Description body text
+ Cross system reuse.
</Description>
</Activity>
<Activity
@@ -200,48 +200,745 @@
index="1"
name="Cross standard reuse">
<Description>
- Description body text
+ Cross standard reuse.
</Description>
</Activity>
</Section>
</Page>
<Page
- class="org.eclipse.opencert.infra.dashboard.pages.ProcessReusabilityDefinitionPage"
- id="org.eclipse.opencert.infra.dashboard.pages.process.reusability.definition.page"
- imageOff="icons/processreusability/processreusability_off.png"
- imageOn="icons/processreusability/processreusability_on.png"
+ class="org.eclipse.opencert.infra.dashboard.pages.ProcessComplianceDefinitionPage"
+ id="org.eclipse.opencert.infra.dashboard.pages.process.compliance.definition.page"
+ imageOff="icons/processcompliance/process_compliance_def_off.png"
+ imageOn="icons/processcompliance/process_compliance_def_on.png"
index="3"
- tabName="Process Reusability Definition"
- title="Process Reusability Definition"
+ tabName="Process Compliance Definition"
+ title="Process Compliance Definition"
viewer="true">
<Description>
- Process Reusability Definition in OpenCert
+ Validate process reusability, deploy executable process.
</Description>
<Predicate
class="org.eclipse.opencert.infra.dashboard.predicates.DashboardPredicate">
</Predicate>
<Overview
- imageOff="icons/processreusability/processreusability_off.png"
- imageOn="icons/processreusability/processreusability_on.png">
+ imageOff="icons/processcompliance/process_compliance_def_off.png"
+ imageOn="icons/processcompliance/process_compliance_def_on.png">
<Description>
- Define the process reusability.
+ Define the process compliance.
</Description>
</Overview>
<Section
expanded="true"
filtering="true"
- id="org.eclipse.opencert.infra.dashboard.section.process.reusability.definition"
+ id="org.eclipse.opencert.infra.dashboard.section.specify.compliance.process"
index="0"
- name="Process Reusability Definition">
+ name="Specify Compliance Process">
<Description>
- Define the process reuseabitlity.
+ The Process Engineer can import existing processes and resolve the variability due to safety/security appliance.
</Description>
<Activity
- id="org.eclipse.opencert.infra.dashboard.activity.define.process.reuseability"
+ id="org.eclipse.opencert.infra.dashboard.activity.export.definition.planning"
index="0"
- name="Define process reuseability">
+ name="Export the definition and planning of processes modelled ">
<Description>
- Define the process reuseability.
+ Export the definition and planning of processes modelled.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.import.definition.planning"
+ index="1"
+ name="Import the definition and planning of processes modelled into an assurance project">
+ <Description>
+ Import the definition and planning of processes modelled into an assurance project.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.reuse.process.development"
+ index="1"
+ name="Reuse Process Development">
+ <Description>
+ The Process Engineer instantiate the reusable generic base process developed to a project specific process. A check is necessary to be sure that the assumptions for the reused activities are valid for the new project.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.derivate.project.specific.process"
+ index="0"
+ name="Derivate project specific process">
+ <Description>
+ Derivate project specific process.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.check.process.reusability"
+ index="1"
+ name="Check process reusability">
+ <Description>
+ Check process reusability.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.coassessment"
+ index="2"
+ name="Co-Assessment">
+ <Description>
+ The Process Engineer takes the modelling the definition and planning of processes already defined in EPF and import it into OpenCert in order to look at post-planning phases.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.coassessment.cross.system.reuse."
+ index="0"
+ name="Cross system reuse">
+ <Description>
+ Cross system reuse.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.coassessment.cross.standard.reuse"
+ index="1"
+ name="Cross standard reuse">
+ <Description>
+ Cross standard reuse.
+ </Description>
+ </Activity>
+ </Section>
+ </Page>
+ <Page
+ class="org.eclipse.opencert.infra.dashboard.pages.SystemDesignAnalysisVVPage"
+ id="org.eclipse.opencert.infra.dashboard.pages.system.design.analysis.vv"
+ imageOff="icons/systemdesignanalysis/system_design_analysis_vv_off.png"
+ imageOn="icons/systemdesignanalysis/system_design_analysis_vv_on.png"
+ index="4"
+ tabName="System Design Analysis and V&V"
+ title="System Design Analysis and V&V"
+ viewer="true">
+ <Description>
+ Define the system architecture, elicit system requirements, define and validate component contracts and execute Safety/Security analyses.
+ </Description>
+ <Predicate
+ class="org.eclipse.opencert.infra.dashboard.predicates.DashboardPredicate">
+ </Predicate>
+ <Overview
+ imageOff="icons/systemdesignanalysis/system_design_analysis_vv_off.png"
+ imageOn="icons/systemdesignanalysis/system_design_analysis_vv_on.png">
+ <Description>
+ System design, analysis, validation and verification
+ </Description>
+ </Overview>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.system.definition"
+ index="0"
+ name="System Definition">
+ <Description>
+ The development engineer uses SysML BDD, IBD and Requirements Diagrams, possibility to import requirements from external tools, formalization of requirements supported with syntax-driven editors.
+ </Description>
+ <Activity
+ class="org.eclipse.opencert.infra.dashboard.pages.adapters.OpenNewChessProjectWizard"
+ id="org.eclipse.opencert.infra.dashboard.activity.create.chess.project"
+ image="icons/assuranceproject/chess_project_icon.png"
+ index="0"
+ name="Create a CHESS project">
+ <Description>
+ Create a CHESS project.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.create.savona.project"
+ index="1"
+ name="Create a SAVONA project">
+ <Description>
+ Create a SAVONA project.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.specify.requirements.chess"
+ index="2"
+ name="Specify requirements in CHESS">
+ <Description>
+ Specify requirements in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.import.requirements.chess"
+ index="3"
+ name="Import requirements in CHESS">
+ <Description>
+ Import requirements in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.create.system.components.chess"
+ index="4"
+ name="Create system components in CHESS">
+ <Description>
+ Create system components in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.import.savona.model"
+ index="5"
+ name="Import a SAVONA model in CHESS">
+ <Description>
+ Import a SAVONA model in CHESS.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.requirements.formalization.early.validation"
+ index="1"
+ name="Requirements Formalization and Early Validation">
+ <Description>
+ Formal semantic analysis of formal properties, analysis of requirements quality with machine learning techniques and requirements quality metrics editors.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.analysis.requirements.metric"
+ index="0"
+ name="Analysis of requirements based on quality metrics">
+ <Description>
+ Analysis of requirements based on quality metrics.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.formalize.requirements.temporal.logic"
+ index="1"
+ name="Formalize a requirement into temporal logics in CHESS">
+ <Description>
+ Formalize a requirements into temporal logics in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.formalize.requirements.savona"
+ index="2"
+ name="Formalize a requirement in SAVONA">
+ <Description>
+ Formalize a requirement in SAVONA.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.define.contract.component.chess"
+ index="3"
+ name="Define a contract for a component in CHESS">
+ <Description>
+ Define a contract for a component in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.analysis.requirements.semantics"
+ index="4"
+ name="Analysis of requirements’ semantics based on their formalisation into temporal logics">
+ <Description>
+ Analysis of requirements’ semantics based on their formalisation into temporal logics.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.functional.refinement"
+ index="2"
+ name="Functional Refinement">
+ <Description>
+ Using SysML IBD extended with contracts.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.decompose.component.chess"
+ index="0"
+ name="Decompose a component in CHESS">
+ <Description>
+ Decompose a component in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.decompose.component.savona"
+ index="1"
+ name="Decompose a component in SAVONA">
+ <Description>
+ Decompose a component in SAVONA.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.model.contracts.refinement.chess"
+ index="2"
+ name="Model contracts refinement in CHESS">
+ <Description>
+ Model contracts refinement in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.model.contracts.refinement.savona"
+ index="3"
+ name="Model contracts refinement in SAVONA">
+ <Description>
+ Model contracts refinement in SAVONA.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.apply.architectural.patterns.chess"
+ index="4"
+ name="Apply architectural patterns in CHESS">
+ <Description>
+ Apply architectural patterns in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.specify.parameters.chess"
+ index="5"
+ name="Specify parameters of the parameterized architecture in CHESS">
+ <Description>
+ Specify parameters of the parameterized architecture in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.instantiate.parameterized.architecture.chess"
+ index="6"
+ name="Instantiate a parameterized architecture in CHESS">
+ <Description>
+ Instantiate a parameterized architecture in CHESS.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.components.nominal.faulty.behaviour.definition"
+ index="3"
+ name="Component's Nominal and Faulty Behaviour Definition">
+ <Description>
+ Using State Machines or Simulink models extended with fault injection.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.define.nominal.statemachine.chess"
+ index="0"
+ name="Define a nominal state machine for a component in CHESS">
+ <Description>
+ Define a nominal state machine for a component in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.define.error.statemachine.chess"
+ index="1"
+ name="Define an error state machine for a component in CHESS">
+ <Description>
+ Define an error state machine for a component in CHESS.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.define.failure.progation.rule.chess"
+ index="2"
+ name="Define a failure propagation rule for a component in CHESS">
+ <Description>
+ Define a failure propagation rule for a component in CHESS.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.functional.early.verification"
+ index="4"
+ name="Functional Early Verification">
+ <Description>
+ Contract-based Verification of refinement and state-machines, Model Checking, Contract-based Monitoring of Simulink models, Contract-based Verification of Refinement with Strong and Weak Contracts.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.contractbased.verification.refinement"
+ index="0"
+ name="Contract-based verification of refinement">
+ <Description>
+ Contract-based verification of refinement.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.contractbased.verification.statemachines"
+ index="1"
+ name="Contract-based verification of state machines">
+ <Description>
+ Contract-based verification of state machines.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.model.checking"
+ index="2"
+ name="Model checking">
+ <Description>
+ Model checking.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.contractbased.monitoring.simulink"
+ index="3"
+ name="Contract-based monitoring with Simulink">
+ <Description>
+ Contract-based monitoring with Simulink.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.contractbased.verification.refinement.strong.weak"
+ index="4"
+ name="Contract-based verification of refinement for strong and weak contracts">
+ <Description>
+ Contract-based verification of refinement for strong and weak contracts.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.contractbased.tradeoff.analysis"
+ index="5"
+ name="Contract-based trade-off analysis in parameterized architectures">
+ <Description>
+ Contract-based trade-off analysis in parameterized architectures.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.coanalysis"
+ index="5"
+ name="Co-Analysis">
+ <Description>
+ The Development Engineer executes safety and security analysis using: Simulation-based Fault Injection, Model-Based Safety Analysis, Contract-Based Safety Analysis.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.simulationbased.fault.injection"
+ index="0"
+ name="Simulation-based fault injection">
+ <Description>
+ Simulation-based fault injection.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.modelbased.fta"
+ index="1"
+ name="Model-based FTA">
+ <Description>
+ Model-based FTA.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.modelbased.fmea"
+ index="2"
+ name="Model-based FMEA">
+ <Description>
+ Model-based FMEA.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.contractbased.safety.analysis"
+ index="3"
+ name="Contract-based safety analysis">
+ <Description>
+ Contract-based safety analysis.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.concerto.fla.coanalysis"
+ index="4"
+ name="Concerto FLA co-analysis">
+ <Description>
+ Concerto FLA co-analysis.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.model.fmvea"
+ index="5"
+ name="Model failures modes vulnerability & effects analysis">
+ <Description>
+ Model failures modes vulnerability& effects analysis.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.safetysecurity.coanalysis.sa"
+ index="6"
+ name="Safety & Security co-analysis in Safety Architect">
+ <Description>
+ Safety & Security co-analysis in Safety Architect.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.dependability.coanalysis.papyrus.sse"
+ index="7"
+ name="System dependability co-analysis via Papyrus SSE">
+ <Description>
+ System dependability co-analysis via Papyrus SSE.
+ </Description>
+ </Activity>
+ </Section>
+ </Page>
+ <Page
+ class="org.eclipse.opencert.infra.dashboard.pages.AssuranceCaseManagementPage"
+ id="org.eclipse.opencert.infra.dashboard.pages.assurance.case.management"
+ imageOff="icons/assurancecasemanagement/assurance_case_management_off.png"
+ imageOn="icons/assurancecasemanagement/assurance_case_management_on.png"
+ index="5"
+ tabName="Assurance Case Management"
+ title="Assurance Case Management"
+ viewer="true">
+ <Description>
+ Define argumentation using compliance arguments, product arguments. Resolve Safety/Security trade off, link to architecture.
+ </Description>
+ <Predicate
+ class="org.eclipse.opencert.infra.dashboard.predicates.DashboardPredicate">
+ </Predicate>
+ <Overview
+ imageOff="icons/assurancecasemanagement/assurance_case_management_off.png"
+ imageOn="icons/assurancecasemanagement/assurance_case_management_on.png">
+ <Description>
+ Assurance case management.
+ </Description>
+ </Overview>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.create.assurance.case.structure"
+ index="0"
+ name="Create Assurance Case Structure">
+ <Description>
+ The assurance engineer creates and manages assurance cases and link them to the assurance project asset package.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.create.assurance.case"
+ index="0"
+ name="Create a new assurance case">
+ <Description>
+ Create a new assurance case.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.develop.claims.links.evidence"
+ index="1"
+ name="Develop Claims and Links to Evidence">
+ <Description>
+ The assurance engineer defines the argumentation structure, develops claims and links to evidences. The assurance engineer can take advantage of the arguments generation to complete the assurance case arguments.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.import.argumentation.model"
+ index="0"
+ name="Import argumentation model">
+ <Description>
+ Import argumentation model.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.generate.arguments.fragments"
+ index="1"
+ name="Generate arguments fragments from system contracts">
+ <Description>
+ Generate arguments fragments from system contracts.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.generate.process.based.arguments"
+ index="2"
+ name="Generate process based arguments">
+ <Description>
+ Generate process based arguments.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.manage.architecture.assurance.links"
+ index="2"
+ name="Manage Architecture - Assurance Links">
+ <Description>
+ The assurance engineer or the development engineer can explicitly indicate the links between the system architecture components and the assurance cases elements such as argument modules.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.link.architecture.components"
+ index="0"
+ name="Link your architecture components to the assurance case elements">
+ <Description>
+ Link your architecture components to the assurance case elements.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.assurance.case.reuse"
+ index="3"
+ name="Reuse">
+ <Description>
+ The assurance engineer can either create a reusable argument element such as argument patterns or arguments modules or use those elements in the actual argumentation. Assurance engineer can also reuse arguments based on the variability points specified.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.create.argument.pattern.module"
+ index="0"
+ name="Create an argument pattern or argument module">
+ <Description>
+ Create an argument pattern or argument module.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.reuse.assurance.case.patterns.modules"
+ index="1"
+ name="Reuse from assurance case patterns and modules">
+ <Description>
+ Reuse from assurance case patterns and modules.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.assurance.case.related.reuse"
+ index="2"
+ name="Assurance case-related reuse via management of assurance case lines">
+ <Description>
+ Assurance case-related reuse via management of assurance case lines.
+ </Description>
+ </Activity>
+ </Section>
+ </Page>
+ <Page
+ class="org.eclipse.opencert.infra.dashboard.pages.EvidenceManagementPage"
+ id="org.eclipse.opencert.infra.dashboard.pages.evidence.management"
+ imageOff="icons/evidencemanagement/evidence_management_off.png"
+ imageOn="icons/evidencemanagement/evidence_management_on.png"
+ index="6"
+ tabName="Evidence Management"
+ title="Evidence Management"
+ viewer="true">
+ <Description>
+ Define the project evidences, define the traceability between artefacts, execute the process to generate evidence and map them to the compliance needs.
+ </Description>
+ <Predicate
+ class="org.eclipse.opencert.infra.dashboard.predicates.DashboardPredicate">
+ </Predicate>
+ <Overview
+ imageOff="icons/evidencemanagement/evidence_management_off.png"
+ imageOn="icons/evidencemanagement/evidence_management_on.png">
+ <Description>
+ Evidence management.
+ </Description>
+ </Overview>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.create.evidence.specification"
+ index="0"
+ name="Create Evidence Specification">
+ <Description>
+ The assurance engineer can create an evidence model and link it to the assurance project asset package.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.create.evidence.model"
+ index="0"
+ name="Create a new evidence model">
+ <Description>
+ Create a new evidence model.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.create.artiface.traceability"
+ index="1"
+ name="Create Artefact Traceability">
+ <Description>
+ The assurance engineer can specify the traceability between the artefacts and other elements in the models.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.define.traceability.evidences"
+ index="0"
+ name="Define the traceability of your evidences">
+ <Description>
+ Define the traceability of your evidences.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.execute.process.generate.artefacts"
+ index="2"
+ name="Execute Process and Generate Artefacts">
+ <Description>
+ The assurance engineer import evidences either from processes modelled in EPF, from external tools or in a process management tool such as WEFACT execute the processes and retrieve the generated evidences.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.import.process.evidences.epf"
+ index="0"
+ name="Import process and evidences from EPF">
+ <Description>
+ Import process and evidences from EPF.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.import.evidences.external.tool"
+ index="1"
+ name="Import evidences from external tool">
+ <Description>
+ Import evidences from external tool.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.execute.processes.generate.evidences"
+ index="2"
+ name="Execute processes to generate evidences">
+ <Description>
+ Execute processes to generate evidences.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.manage.compliance.process.artefacts"
+ index="3"
+ name="Manage Compliance of Process and Artefacts">
+ <Description>
+ The assurance engineer should create and manage the mapping between what has been done and the needs of compliance from a standard/regulation… The assurance manager or the project manager can show the status of compliance of a project at any time.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.create.new.compliance.maps"
+ index="0"
+ name="Create a new compliance maps">
+ <Description>
+ Create a new compliance maps.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.update.compliance.project"
+ index="1"
+ name="Update the compliance of a project">
+ <Description>
+ Update the compliance of a project.
+ </Description>
+ </Activity>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.show.compliance.status.project"
+ index="2"
+ name="Show the compliance status of a project">
+ <Description>
+ Show the compliance status of a project.
+ </Description>
+ </Activity>
+ </Section>
+ <Section
+ expanded="true"
+ filtering="true"
+ id="org.eclipse.opencert.infra.dashboard.section.evidence.management.reuse"
+ index="4"
+ name="Reuse">
+ <Description>
+ Evidence management reuse.
+ </Description>
+ <Activity
+ id="org.eclipse.opencert.infra.dashboard.activity.manage.evidence.reuse.variability"
+ index="0"
+ name="Manage the evidence reuse variability">
+ <Description>
+ Manage the evidence reuse variability.
</Description>
</Activity>
</Section>
diff --git a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/AssuranceCaseManagementPage.java
similarity index 75%
rename from org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
rename to org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/AssuranceCaseManagementPage.java
index 32f10db..7d96d6f 100644
--- a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
+++ b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/AssuranceCaseManagementPage.java
@@ -14,14 +14,14 @@
package org.eclipse.opencert.infra.dashboard.pages;
/**
- * Page describing the activities related to the process reusability definition.
+ * Page describing the activities related to the assurance case management.
*/
-public class ProcessReusabilityDefinitionPage extends AbstractActivityPage {
+public class AssuranceCaseManagementPage extends AbstractActivityPage {
/**
* Default constructor.
*/
- public ProcessReusabilityDefinitionPage() {
+ public AssuranceCaseManagementPage() {
super();
}
@@ -30,6 +30,6 @@
*/
@Override
protected String getHeaderTitle() {
- return "Process Reusability Definition";
+ return "Assurance Case Management";
}
}
diff --git a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/EvidenceManagementPage.java
similarity index 75%
copy from org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
copy to org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/EvidenceManagementPage.java
index 32f10db..983dbf4 100644
--- a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
+++ b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/EvidenceManagementPage.java
@@ -14,14 +14,14 @@
package org.eclipse.opencert.infra.dashboard.pages;
/**
- * Page describing the activities related to the process reusability definition.
+ * Page describing the activities related to the evidence management.
*/
-public class ProcessReusabilityDefinitionPage extends AbstractActivityPage {
+public class EvidenceManagementPage extends AbstractActivityPage {
/**
* Default constructor.
*/
- public ProcessReusabilityDefinitionPage() {
+ public EvidenceManagementPage() {
super();
}
@@ -30,6 +30,6 @@
*/
@Override
protected String getHeaderTitle() {
- return "Process Reusability Definition";
+ return "Evidence Management";
}
}
diff --git a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessComplianceDefinitionPage.java
similarity index 75%
copy from org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
copy to org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessComplianceDefinitionPage.java
index 32f10db..dd9953c 100644
--- a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
+++ b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessComplianceDefinitionPage.java
@@ -14,14 +14,14 @@
package org.eclipse.opencert.infra.dashboard.pages;
/**
- * Page describing the activities related to the process reusability definition.
+ * Page describing the activities related to the process compliance definition.
*/
-public class ProcessReusabilityDefinitionPage extends AbstractActivityPage {
+public class ProcessComplianceDefinitionPage extends AbstractActivityPage {
/**
* Default constructor.
*/
- public ProcessReusabilityDefinitionPage() {
+ public ProcessComplianceDefinitionPage() {
super();
}
@@ -30,6 +30,6 @@
*/
@Override
protected String getHeaderTitle() {
- return "Process Reusability Definition";
+ return "Process Compliance Definition";
}
}
diff --git a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/SystemDesignAnalysisVVPage.java
similarity index 75%
copy from org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
copy to org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/SystemDesignAnalysisVVPage.java
index 32f10db..f86c04e 100644
--- a/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/ProcessReusabilityDefinitionPage.java
+++ b/org.eclipse.opencert.infra.dashboard/src/org/eclipse/opencert/infra/dashboard/pages/SystemDesignAnalysisVVPage.java
@@ -14,14 +14,14 @@
package org.eclipse.opencert.infra.dashboard.pages;
/**
- * Page describing the activities related to the process reusability definition.
+ * Page describing the activities related to the system design analysis, validation and verification.
*/
-public class ProcessReusabilityDefinitionPage extends AbstractActivityPage {
+public class SystemDesignAnalysisVVPage extends AbstractActivityPage {
/**
* Default constructor.
*/
- public ProcessReusabilityDefinitionPage() {
+ public SystemDesignAnalysisVVPage() {
super();
}
@@ -30,6 +30,6 @@
*/
@Override
protected String getHeaderTitle() {
- return "Process Reusability Definition";
+ return "System Design Analysis and V&V";
}
}