• WG9 seeks Editor for "Guide for Use of Ada in High Integrity Systems" (TR 15942 technical report)

    From dirk@dirk@orka.cs.kuleuven.be. (Dirk Craeynest) to comp.lang.ada on Wed Oct 8 16:35:35 2025
    From Newsgroup: comp.lang.ada

    [ Posting for Tucker Taft: -- dc ]

    WG9 is looking for an editor who could help produce a new version
    of TR 15942, which is a Guide for the use of Ada in High Integrity
    Systems. The editor should have been involved in the safety-critical
    processes that the TR covers (see below and ISO/IEC TR 15942 [1])
    and be able to identify the mapping between the various standards
    requirements and Ada features; the wider the roles they have played
    the better.

    As a bare minimum:

    * Being an accomplished current Ada programmer.

    * Having as much experience as possible in some high-integrity
    domain.

    Ideally:

    * Deep knowledge of modern Ada, familiarity with new features in Ada
    2022, as much hands-on practice as possible, a current developer.

    * Experience with certification processes under standards such as
    DO-178C, IEC 61508, EN 50128, other recent standards that may
    be relevant.

    * Experience with embedded development and Ada profiles (Ravenscar,
    Jorvik) and restriction pragmas.

    * Familiarity with at least a couple of Ada compilers to
    differentiate compiler-specific issues from language issues in
    the build process.

    * Understanding/experience with run-time resource usage and
    measurements (WCET, stack usage, memory leaks, ...).

    * Previous involvement with ISO standards and documents,
    writing/using standards or, at least, technical documents.

    The current version is based on Ada 95, so some significant updates
    may be required. The PDF for the current document can be acquired at
    ISO/IEC TR 15942 [1] for free.

    If this interests you, please send email to my last name at
    adacore.com. If you have questions or comments, feel free to post
    them here.

    Tucker Taft

    [1] https://www.iso.org/standard/29575.html
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From dirk@dirk@orka.cs.kuleuven.be. (Dirk Craeynest) to comp.lang.ada on Mon Oct 13 07:59:49 2025
    From Newsgroup: comp.lang.ada

    [ Posting for Tucker Taft: -- dc ]

    WG9 is looking for an editor who could help produce a new version
    of TR 15942, which is a Guide for the use of Ada in High Integrity
    Systems. [...]
    [1] https://www.iso.org/standard/29575.html

    I am happy to report we have found an editor for this document -
    Niklas Holsti from Finland. Thanks, Niklas, for volunteering for
    updating this valuable document.

    Tucker Taft
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From =?UTF-8?Q?Niocl=C3=A1s_P=C3=B3l_Caile=C3=A1n_de_Ghloucester?=@Spamassassin@irrt.De to comp.lang.ada on Mon Oct 13 23:44:50 2025
    From Newsgroup: comp.lang.ada

    Congratulations.
    --- Synchronet 3.21a-Linux NewsLink 1.2