Spécifications functionnelles

FUN est un livre sur les spécifications logicielles functionnelles. Ce livre traite des logiciels temps réel embarqués mais le concept peut être appliqué à d’autres types de logiciels.

Dans ce livre, fun a quatre significations :

1. functionnel parce qu’on décrit les fonctions d’un système. Il s’agit d’une description de haut niveau.
2. functionnel parce la description est pratique, fonctionnelle et est un modèle exécutable du modèle.
3. functionnel parce qu’on utlise la programmation fonctionnelle.
4. fun parce que c’est amusant, bien plus amusant que les traditionnelles spécifications insensées.

Je suis Christophe Delord. Vous connaissez peut-être (ou pas) mon site web. Sur CDSoft.fr, je partage quelques logiciels libre pour le plaisir et maintenant je débute ce projet pour le fun.

Mais je travaille aussi depuis de nombreuses années dans l’industrie aéronautique à Toulouse et Paris. Vous pouvez en apprendre plus sur mon parcours ici: CV. Concevoir, coder, tester, documenter des logiciels embarqués est ma principale occupation depuis les 17 dernières années.

Ces logiciels sont temps réel, critiques et conçus pour des ressources restreintes :

• temps réel car le temps de réaction est crucial pour faire voler un avion
• critiques car un défaut logiciel peut avoir des conséquences catastrophiques
• ressources restreintes car les technologies utilisées doivent être robustes

Le plus frustrant dans mon activité professionnelle est de ne pas avoir de temps pour faire les choses correctement:

• les processus et les méthodes sont très coûteux en temps
• la plupart du temps les outils et les formats de documentation sont imposés, inutilement compliqués et inadaptés

En fait on perd du temps au détriment de choses plus intéressantes et utiles: concevoir, coder, mettre au point, tester, documenter…

Le but de FUN est de montrer comment spécifier un système pour faciliter les phases suivantes du développement. Une spécification claire, non ambigue et qui marche est le meilleur moyen de:

• éviter de nombreux problèmes lorsque l’on teste et intègre les composants
• éviter du travail de reprise dans toutes les phases de développement

Je fournirai aussi quelques exemples.

Le projet FUN est un projet personnel hors de toutes contraintes opérationnelles à court terme qui tuent l’innovation.

Diaporama

Un diaporama du projet FUN est disponible. Pas de panique, un navigateur récent ou un lecteur PDF est suffisant. Pas besoin d’une suite bureautique lourde et coûteuse pour afficher quelques diapositives !

Le diaporama HTML a été testé avec Firefox et Chromium. Si la version HTML ne fonctionne pas, essayez la version PDF.

News !

Vendredi 25 mars 2016

Malheureusement, the projet n’a pu être financé. Entre temps, j’ai travaillé sur une manière de modéliser une variable évoluant dans le temps avec une approche fonctionnelle. En figeant le temps et en le représentant par une variable par une liste de toutes ses valeurs, on obtient une solution élégante pour écrire des spécifications fonctionnelles sans effet de bord. Après quelques recherches sur des approches similaires, je suis tombé sur le concept de programmation fonctionnelle réactive (FRP : Functional Reactive Programming) qui est en cours de formalisation depuis des années par des gens très intelligents… et j’ai décidé de ne pas réinventer la roue.

The nouvel objectif du projet est l’application de la FRP à la spécification et à la simulation de systèmes temps-réels critiques.

Mercredi 24 février 2016

Le projet est maintenant actif sur Kickstarter.

Vous pouvez participer ici.

Dimanche 24 janvier 2016

Nouvelle version de la présentation !

La nouvelle version de la présentation décrit quelques applications qui seront couvertes par le livre.

Ce devrait être le dernier teaser avant le démarrage du projet sur Kickstarter ;-)

Mardi 1er septembre

Le concept de specifications exécutables peut être appliqué aux tests !

Généralement, les testeurs écrivent un plan de test, puis implémentent ces tests, ensuite les exécutent, et finalement rédigent un rapport de test… C’est un processus assez long, ennuyeux et propice aux erreurs. Pourquoi ne pas écrire un plan de test qui contient des tests directement exécutables qui génèrent le rapport de test. Moins de copier/coller, moins d’erreur… Et plus de fun !

Ceci est aisément réalisable avec Pandoc, mon générateur de diagrammes (http://cdsoft.fr/dpp) et mon futur outils de couverture de documentation. Il est en cours de développement avec ce concept. Et bientôt disponible sur

Vendredi 22 mai 2015

J’ai commencé la modélisation des aspects temporels d’un logiciel temps réel.

Dans mon modèle, le temps est simulé, découpé en petites tranches de durées égales. Chaque état est une valeur associée à une tranche. L’état global du logiciel peut alors être représenté par un flux (potentiellement infini), chaque valeur du flux étant l’état du logiciel dans une tranche de temps donnée.

En Haskell, cela semble assez simple et agréable à écrire. C’est prometteur.

Financement

FUN est un projet personnel mais j’ai besoin de temps.

Je pense que le financement participatif (crowdfunding) est un bon moyen d’atteindre mes objectifs. Le projet est maintenant actif sur Kickstarter. Vous pouvez participer ici.

Feuille de route

• theory:
  • functional programming
  • functional specification
  • specification verification (proofs, tests)
  • documentation
  • testing
• practice:
  • specification tools developed for this project will be specified with fun
  • embedded software specification examples

Contact

Vous pouvez me contacter :

• par email: Christophe Delord
• sur Twitter: @CDSoftX

Tout feedback est apprécié ;-)