Modélisation rigoureuse au service du logiciel et des systèmes - Ecole Centrale de Nantes Accéder directement au contenu
Hdr Année : 2024

Modélisation rigoureuse au service du logiciel et des systèmes

Pascal Andre

Résumé

Software presents the paradox of opening up an huge field of potentials while remaining with empirical and craft development. No doubts this is the only good-service with such a lucrative business maintenance and so costly failures. The work discussed in this document deals with software engineering and its application. We embrace a model driven vision with a virtuous construction cycle (modelling, verifying properties, exploitation) to produce qualitatively quality software. The verification of properties, e.g. operational safety or security, is fundamental to establish solid software service contract. Software being a living object in a changing context, its construction must continuously follow and adapt. We propose both technology adaptation and requirements evolution. In practice, we are apply to business information systems, a complex ecosystem that weaves a plethora of interacting software, and to industrial production systems, which adds on the cyber physical system complexity. In such cases, a systemic vision is required to manage complexity. The document ends with a reflection on the skills needed to conduct research.
Le logiciel présente le paradoxe d’ouvrir un champ immense de possibilités et de rester assez empirique et artisanal dans son développement. Nul doute qu’il soit le seul bien-service dont la maintenance génère des affaires aussi juteuses et les échecs si coûteux. Les travaux abordés dans ce document concernent le génie logiciel et son application. Nous nous inscrivons ici dans une vision modèle avec le cycle vertueux de construction (modélisaton, vérification de propriétés, exploitation) pour produire qualitativement du logiciel de qualité. La vérification de propriétés, telle que la sûreté de fonctionnement ou la sécurité, est fondamentale à l’établissement du contrat de service logiciel. Le logiciel étant un objet vivant dans un contexte mouvant, sa construction doit suivre et s’adapter en permanence. Nous proposons un processus pour cela, fait d’adaptation du contexte technologique et d’évolution du besoin. D’un point de vue applicatif, nous nous intéressons aux systèmes d’information d’entreprise, un écosystème complexe qui entremêlent pléthore de logiciels qu’il faut faire fonctionner ensemble, et aux systèmes de production industriels, qui y ajoutent la complexité des systèmes cyberphysique. Dans de tels cas, on comprend qu’une vision systémique s’impose pour gérer la complexité. Le document se termine sur une réflexion des compétences nécessaire pour diriger des recherches.
Fichier principal
Vignette du fichier
hdrPA-v2-0.pdf (13.81 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04631290 , version 1 (02-07-2024)

Licence

Identifiants

  • HAL Id : tel-04631290 , version 1

Citer

Pascal Andre. Modélisation rigoureuse au service du logiciel et des systèmes : Rester modeste et avancer ensemble. Génie logiciel [cs.SE]. Université de Nantes, 2024. ⟨tel-04631290⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More