De meilleurs logiciels pour les systèmes embarqués
La qualité des logiciels est un paramètre essentiel dans le développement de systèmes intégrés qui sont la plupart du temps utilisés dans des situations critiques au niveau de la sécurité. Malgré la diffusion très large des outils de développement logiciels, l'obtention de la qualité exigée demeure un réel défi – particulièrement pour les petites et moyennes entreprises qui manquent parfois des ressources nécessaires. Le projet MODUS(s’ouvre dans une nouvelle fenêtre) («Methodology and supporting toolset advancing embedded systems quality»), financé par l'UE, a donc été initié afin d'aider les PME à rester concurrentielles sur ce marché des systèmes embarqués. Les douze membres du consortium ont développé un ensemble d'outils et de méthodes susceptibles d'améliorer la qualité des systèmes embarqués en s'appuyant sur les techniques de description formelle. Ces outils ont été conçus pour permettre la vérification du modèle, son interface avec les plateformes de simulation standard, l'optimisation des performances et la génération d'un code source personnalisable. Le projet s'est déroulé d'octobre 2011 à mars 2014. Les chercheurs ont réalisé un système permettant l'utilisation des techniques de vérification des modèles existants dispersées dans divers cadres et outils de modélisation. Ils ont développé plus avant une sélection d'outils d'orientation parmi les techniques de vérification potentielles en utilisant une analyse automatisée des modèles et des propriétés du système de saisie. Le consortium a également développé une méthodologie et un outil de représentation formelle des conventions de codage accompagné d'un outil de génération de code personnalisable qui respecte les dites représentations. Les développeurs de logiciels peuvent ainsi acquérir automatiquement un code source de qualité sans avoir à réappliquer manuellement les règles de codage. Un autre outil d'optimisation des performances développé par les partenaires du projet, applicable sur diverses plateformes, facilite l'amélioration de la complexité de l'algorithme lors de la conception du logiciel. La stratégie de l'équipe permet ainsi la création aisée d'un code source optimisé en association avec les outils de génération de code. Le projet a donc généré des outils de développement qui permettront aux PME européennes de rester concurrentielles face aux grandes compagnies dans le secteur des logiciels de systèmes embarqués. Il leur ouvre également des opportunités commerciales.
