• [^] # Re: International Conference on Reliable Software Technologies

    Posté par (site web personnel, Mastodon) . En réponse au journal Episode de Podcast francophone sur le langage Ada. Évalué à 3.

    J'aimerai bien mais il faudrait que je pose mes après-midi pour vraiment en profiter :)
    Y a quand même des sujets sympas :

    • Programming mobile robots with ROS2 and the RCLAda Ada Client Library
    • Removing bias from the judgment day: A Ravenscar‐based toolbox for quantitative comparison of EDF‐to‐RM uniprocessor scheduling (rien que pour le titre :))
    • Using Ada for model verification
    • M2OS for Arduino Uno: Ada tasks and Arduino libraries working together

    Alors il y a aussi des conférences qui ne parlent pas forcément d'Ada directement mais seulement de logiciels sûrs. (cf. le planning)