<div dir="ltr">This is great news!<div><br></div><div>- Is there a way for other interested parties to join the effort (volunteers from the community)?</div><div>- Will all the work also be planned on public channels (devel@, public WIP branches, etc.)?</div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Dec 4, 2018 at 6:49 PM Sebastian Huber <<a href="mailto:sebastian.huber@embedded-brains.de">sebastian.huber@embedded-brains.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
I would like to announce to the RTEMS community a 24 month project <br>
sponsored by the European Space Agency (ESA).<br>
<br>
The main goal of the project is to enable European space missions to use <br>
RTEMS as a software product in criticality category C (this is basically <br>
category B without independent software verification and validation, <br>
ISVV). Criticality category C means:<br>
<br>
<a href="http://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/" rel="noreferrer" target="_blank">http://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/</a><br>
<br>
"Software that if not executed, or if not correctly executed, or whose <br>
anomalous behaviour can cause or contribute to a system failure <br>
resulting in: Major consequences"<br>
<br>
In ECSS-Q-ST-40C  major consequences are characterized in Table 6-1 as a <br>
major mission degradation without effects to the outside world of the <br>
system. A future activity may perform ISVV to enable a use in category B <br>
settings.<br>
<br>
The qualification will be done according to ECSS standards <br>
(ECSS-E-ST-40C and ECSS-Q-ST-80C). The standards are available at<br>
<br>
<a href="http://ecss.nl/" rel="noreferrer" target="_blank">http://ecss.nl/</a><br>
<br>
free of charge after registration.<br>
<br>
The project consists of four tasks.<br>
<br>
1. Qualification toolchain<br>
<br>
This task aims to produce a tool chain so that qualification related <br>
work can be carried out efficiently. For example: document generation, <br>
test suite runs (including code coverage), test reporting, test result <br>
archiving, code metrics, static code analysis, traceability (e.g. <br>
requirements to tests), etc.<br>
<br>
2. RTEMS SMP qualification data package<br>
<br>
This task covers the main RTEMS components (source code, tests, <br>
documentation; new: requirements document, ECSS standard tailoring) so <br>
that a data package for space mission consumers can be generated.<br>
<br>
3. RTEMS SMP formal verification<br>
<br>
This is a research project. The aim is to apply formal methods for the <br>
verification of a subset of the RTEMS SMP algorithms.<br>
<br>
4. RTEMS SMP application porting<br>
<br>
The goal of this task is to port an existing uniprocessor space software <br>
from RTEMS 4.8 (RTEMS Improvement by Edisoft) to RTEMS SMP. The <br>
algorithms used by the software needs to be parallelized.<br>
<br>
The project partners are:<br>
<br>
* Edisoft (prime)<br>
<br>
* Lero (<a href="https://www.lero.ie/" rel="noreferrer" target="_blank">https://www.lero.ie/</a>) with Lero researchers from Trinity College <br>
Dublin and University of Limerick<br>
<br>
* Jena-Optronik GmbH and embedded brains GmbH<br>
<br>
The results of this activity should be open source and available to the <br>
RTEMS community. The actual planning needs to be discussed at <br>
<a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a> in the next couple of weeks. One of the first topics is <br>
the definition of a space profile which defines the feature set subject <br>
to this project.<br>
<br>
-- <br>
Sebastian Huber, embedded brains GmbH<br>
<br>
Address : Dornierstr. 4, D-82178 Puchheim, Germany<br>
Phone   : +49 89 189 47 41-16<br>
Fax     : +49 89 189 47 41-09<br>
E-Mail  : <a href="mailto:sebastian.huber@embedded-brains.de" target="_blank">sebastian.huber@embedded-brains.de</a><br>
PGP     : Public key available on request.<br>
<br>
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.<br>
<br>
<br>
_______________________________________________<br>
users mailing list<br>
<a href="mailto:users@rtems.org" target="_blank">users@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/users" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/users</a></blockquote></div>