Commits · e8c0c1df43c942162e29eb6f5152e2b42a6b9cf2 · af3 / af3-rcp

Mar 26, 2020
- Updated Code Generation pictures · e8c0c1df
  Martin Eisenmann authored 5 years ago
  
  Signed-off-by: Eisenmann <eisenmann@fortiss.org>
  e8c0c1df
Mar 24, 2020
- Added raspberrypi architecture to toc, minor changes · 14d744e5
  Martin Eisenmann authored 5 years ago
  
  Signed-off-by: Eisenmann <eisenmann@fortiss.org>
  14d744e5
Mar 23, 2020
- Added RaspberryPi code generation · c8e532ce
  Martin Eisenmann authored 5 years ago
  
  Signed-off-by: Eisenmann <eisenmann@fortiss.org>
  c8e532ce
- Updated some of the architecture/code generation help pages · 465ae3c0
  Martin Eisenmann authored 5 years ago
  
  Signed-off-by: Eisenmann <eisenmann@fortiss.org>
  465ae3c0
Mar 18, 2020

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

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 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

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

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
Oct 14, 2019

DSE: Document import wizard · d58a7b49

Alexander Diewald authored 5 years ago

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


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

d58a7b49

Oct 11, 2019

Polish introduction and online help · 1645a9b3

Simon Barner authored 5 years ago

* Synchronize Eclipse help TOC
* Update help getting started page
* Move FAQ from introduction to online help (and update it)
* Ensure that all links open from Eclipse


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



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

1645a9b3

Fix alignment of link icons in starting page · ee855629

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>

ee855629

Partial cleanup of welcome content · db2a1c4f

Simon Barner authored 5 years ago

* TODO: Move FAQ to homepage

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



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

db2a1c4f

Oct 10, 2019

Add missing ratings · 51d9e0e2

Alexander Diewald authored 5 years ago

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


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

51d9e0e2

deleting irrelevant information, a small correction of the text · f521477f
Tatiana Chuprina authored 5 years ago
```
Signed-off-by: Tatiana Chuprina <chuprina@fortiss.org>
```
f521477f

Oct 08, 2019

Add further resources section / Improve image quality · 64aa72ab

Simon Barner authored 5 years ago

* List some resources for users and developers
* Better version of AF3 logo and FOCUSer teaser image

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



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

64aa72ab