Hello Luis,

On 23.09.22 13:20, Luis Alves wrote:
Dear RTEMS community,

I’m part of the team performing the Independent Software Verification and Validation (ISVV) of the RTEMS SMP Qualification Data Pack (which is being provided through https://rtems-qual.io.esa.int/ <https://rtems-qual.io.esa.int/>).

While analysing in the Software Configuration File (SCF) which items are or not pre-qualified, the following has been noticed:

  * rtems_clock_get_ticks_per_second() and
    rtems_clock_get_ticks_since_boot() functions are listed in section
    4.10 of the SCF (which list pre-qualified items “which may be
    directly used by applications”).
  * In the ICD there are duplicated items described with these names, a
    function, and a macro. Moreover:
      o In the ICDs the macros using these names are described with the
        “The directive is not included in the pre-qualified feature set
        of RTEMS. Applications which are restricted to only use
        interfaces of the pre-qualified feature set of RTEMS shall not
        use the directive.”
  * Looking at the code (at retems-qual-only), the macros are defined
    alongside and right after the function’s declarations (redirecting
    function calls to the values of the _Watchdog_Ticks_per_second and
    _Watchdog_Ticks_since_boot, respectively).
      o So, rtems_clock_get_ticks_per_second and
        rtems_clock_get_ticks_since_boot  macros will be used in the
        qual-only setup, whereas ICD tells us that these macros are “not
        included in the pre-qualified feature set”.

Can the community help to clarify these points, and tell us what and how can one improve the RTEMS SMP QDP w.r.t. this (at the documentation and qual-only implementation level)?

this issue is already fixed:

https://git.rtems.org/rtems-central/commit/?id=1167cbc0cbce5972409ef4e334f39c56f2337ef0

--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.hu...@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to