Commits · 0ecd8ff844b2bd8ba27121471010f95bb58a8c75 · af3 / af3-rcp

Mar 24, 2020

Andreas Bayha authored 5 years ago

Updated the "New Requirement" screenshot.

Issue-Ref: 3949
Issue-Url: https://af3-developer.fortiss.org/issues/3949



Signed-off-by: Andreas Bayha <bayha@fortiss.org>

0ecd8ff8

GREEN · 6c15c43e

Johannes Eder authored 5 years ago

Issue-Ref: 3949
Issue-Url: https://af3-developer.fortiss.org/issues/3949



Signed-off-by: Johannes Eder <eder@fortiss.org>

6c15c43e

Mar 23, 2020

MIRA: Removed unused Pictures · f444fbe5

Andreas Bayha authored 5 years ago

Removed pictures, that were unused (already before)

Issue-Ref: 3949
Issue-Url: https://af3-developer.fortiss.org/issues/3949



Signed-off-by: Andreas Bayha <bayha@fortiss.org>

f444fbe5

MIRA: Updated help · 461b307b

Andreas Bayha authored 5 years ago

Replaced more outdated pictures.

Issue-Ref: 3949
Issue-Url: https://af3-developer.fortiss.org/issues/3949



Signed-off-by: Andreas Bayha <bayha@fortiss.org>

461b307b

MIRA: Updated help · 11f9151f

Andreas Bayha authored 5 years ago

Updated screenshots and removed outdated (removed) parts.

Issue-Ref: 3949
Issue-Url: https://af3-developer.fortiss.org/issues/3949



Signed-off-by: Andreas Bayha <bayha@fortiss.org>

11f9151f

Mar 18, 2020

Removed unused files · f9bc926c

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

f9bc926c

removed mira pages · 82c9dc91

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

82c9dc91

Mar 17, 2020

Refactored requirements · 5280f629

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

5280f629

Removed component library · d61db18b

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

d61db18b

removed outdated aspects pictures · 4c105239

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

4c105239

removed outdated table pictures · a0e58c10

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

a0e58c10

removed testing · 579836ce

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

579836ce

Removed FOCUSer pictures · 0bbc9c33

Johannes Eder authored 5 years ago

Issue-Ref: 3866
Issue-Url: https://af3-developer.fortiss.org/issues/3866



Signed-off-by: Johannes Eder <eder@fortiss.org>

0bbc9c33

Removed FOCUSer help · 7f136e0a

Johannes Eder authored 5 years ago

Issue-Ref: 3938
Issue-Url: https://af3-developer.fortiss.org/issues/3938



Signed-off-by: Johannes Eder <eder@fortiss.org>

7f136e0a

GREEN · 91b6ce58

Johannes Eder authored 5 years ago

Issue-Ref: 3939
Issue-Url: https://af3-developer.fortiss.org/issues/3939



Signed-off-by: Johannes Eder <eder@fortiss.org>

91b6ce58

Mar 03, 2020

Use org.eclipse.jface.resource.ResourceLocator.imageDescriptorFromBundle · 606a10b1

Simon Barner authored 5 years ago

* Instead of deprecated method in AbstractUIPlugin

Issue-Ref: 3939
Issue-Url: https://af3-developer.fortiss.org/issues/3939



Signed-off-by: Simon Barner <barner@fortiss.org>

606a10b1

Nov 25, 2019

GREEN · 7fc65db5

Simon Barner authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Simon Barner <barner@fortiss.org>

7fc65db5

YELLOW · 324e0386

Johannes Eder authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Johannes Eder <eder@fortiss.org>

324e0386

merged website FAQs · 35ceb298

Johannes Eder authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Johannes Eder <eder@fortiss.org>

35ceb298

Nov 08, 2019

Update settings ref · b76df879

Alexander Diewald authored 5 years ago


Issue-Ref: 3861
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

b76df879

Nov 07, 2019

Remove dependency to beaglebone platform · f675e290

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

f675e290

Nov 06, 2019

Remove dependency to Message Sequence Charts (af3.msc) · 15cf6c98

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

15cf6c98

Remove online help for refinement, testing, and formal verification · 2df1cb40

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

2df1cb40

Remove af3.refinement documentation · 77b5d50d

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

77b5d50d

Oct 18, 2019

Fix broken links · 141068c1

Simon Barner authored 5 years ago

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: Simon Barner <barner@fortiss.org>

141068c1

Fix HTML image links (case sensitive on Linux/MacOS) · b7d74d03

Simon Barner authored 5 years ago

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: Simon Barner <barner@fortiss.org>

b7d74d03

Oct 17, 2019

Deploy rcp.help plugin in extracted format · 2f771f35

Simon Barner authored 5 years ago

*  Fixes images and links in binary product

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: Simon Barner <barner@fortiss.org>

2f771f35

Restore Quick Access menu · ea2a1616

Simon Barner authored 5 years ago

* For some reason, it already worked on Linux, but the dependency to
  org.eclipse.ui.ide.application restores this feature on Windows

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: Simon Barner <barner@fortiss.org>

ea2a1616

Oct 16, 2019

Online help: Synchronize TOC and overview page · aaddd2d7

Simon Barner authored 5 years ago

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

aaddd2d7

Add documentation for allocations · 63ccc77c

Simon Barner authored 5 years ago

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

63ccc77c

Documentation for system schedule · 16b8f9b6

Simon Barner authored 5 years ago

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

16b8f9b6

Documentation stub for partition architecture · 62bc4f37

Simon Barner authored 5 years ago

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

62bc4f37

Document task architecture · 9d5ad6d7

Simon Barner authored 5 years ago

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

9d5ad6d7

Update documentation for hardware platforms · 67acc479

Simon Barner authored 5 years ago

* Move to "ta" folder

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

67acc479

Help: Add missing rating for activator · 68a4ad57
Alexander Diewald authored 5 years ago
```
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
68a4ad57

CR: GREEN · efe18222

Alexander Diewald authored 5 years ago

Issue-Ref: 3854
Issue-Url: https://af3-developer.fortiss.org/issues/3854


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

efe18222

Rated as yellow · f96e13cb

Carmen Carlan authored 5 years ago


Issue-ref: 3854

Signed-off-by: Carmen Carlan <carlan@fortiss.org>

f96e13cb

Oct 15, 2019
- Added docu for quantitative assessment · b79aa8a1
  Carmen Carlan authored 5 years ago
  
  Issue-Ref: 3854 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  b79aa8a1
- Split the assurance case documentation into different pages · 89763097
  Carmen Carlan authored 5 years ago
  
  Issue-Ref: 3854 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  89763097
- Version bump to 2.16.0 · 6d9e8bdc
  Alexander Diewald authored 5 years ago
  
  Issue-Ref: 3852 Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  6d9e8bdc