Changes between Initial Version and Version 7 of Ticket #3701


Ignore:
Timestamp:
02/26/19 13:42:07 (5 years ago)
Author:
Sebastian Huber
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3701

    • Property Status changed from assigned to accepted
    • Property Blocked By changed from to 3702, 3703, 3705

  • Ticket #3701 – Description

    initial v7  
    1515The project consists of four major tasks.
    1616
    17 1. Qualification toolchain
    18 
     171. Qualification toolchain[[BR]][[BR]]
    1918   This task aims to produce a tool chain so that qualification related work can be carried out efficiently. For example: document generation, test suite runs (including code coverage), test reporting, test result archiving, code metrics, static code analysis, traceability (e.g. requirements to tests), etc.
    2019
    21 2. RTEMS SMP qualification data package
     202. RTEMS SMP qualification data package[[BR]][[BR]]
     21   This task covers the main RTEMS components (source code, tests, documentation; new: requirements document, ECSS standard tailoring) so that a data package for space mission consumers can be generated.[[BR]][[BR]]
     22   * #3702: Space profile for RTEMS SMP
     23   * #3703: Technical Specification (TS) for space profile
     24   * #3705: Software Design Document (SDD) for space profile
     25      * #3704: Review and update Doxygen recommendations
     26      * #3706: Create a hierarchy of RTEMS software components using Doxygen groups
     27      * #3707: Assign each code file to a Doxygen group
    2228
    23    This task covers the main RTEMS components (source code, tests, documentation; new: requirements document, ECSS standard tailoring) so that a data package for space mission consumers can be generated.
    24 
    25 3. RTEMS SMP formal verification
    26 
     293. RTEMS SMP formal verification[[BR]][[BR]]
    2730   This is a research project. The aim is to apply formal methods for the verification of a subset of the RTEMS SMP algorithms.
    2831
    29 4. RTEMS SMP application porting
    30 
     324. RTEMS SMP application porting[[BR]][[BR]]
    3133   The goal of this task is to port an existing uniprocessor space software from RTEMS 4.8 (RTEMS Improvement by Edisoft) to RTEMS SMP. The algorithms used by the software needs to be parallelized.
    3234