Contrats pour la conception de systèmes

Titre original :

Contracts for System Design

Contenu du livre :

Récemment, la conception par contrat a été proposée comme une approche "orthogonale" qui complète les méthodologies de conception de systèmes proposées jusqu'à présent pour faire face à la complexité de la conception de systèmes.

La conception basée sur les contrats fournit un échafaudage rigoureux pour la vérification, l'analyse, l'abstraction/le raffinement et même la synthèse. Plusieurs résultats ont été obtenus dans ce domaine, mais il manque un traitement unifié du sujet qui puisse aider à mettre en perspective la conception basée sur les contrats.

Les contrats pour la conception de systèmes fournissent un tel traitement où les contrats sont précisément définis et caractérisés afin qu'ils puissent être utilisés dans les méthodologies de conception sans ambiguïté. Il identifie l'essence de la conception de systèmes complexes à l'aide de contrats par le biais d'une "méta-théorie" mathématique, où toutes les propriétés de la méthodologie sont dérivées d'une notion très abstraite et générique de contrat. Cette métathéorie fournit des liens profonds et éclairants avec les théories existantes sur les contrats et les interfaces, ainsi que des lignes directrices pour la conception de nouvelles théories.

Elle englobe les contrats pour les logiciels et les systèmes, en mettant l'accent sur ces derniers. Les contrats pour la conception de systèmes illustrent l'utilisation des contrats à l'aide de deux exemples : l'ingénierie des exigences pour la gestion d'un parking et le développement de contrats pour la synchronisation et l'ordonnancement dans le contexte de la méthodologie AUTOSAR utilisée dans le secteur de l'automobile.

Autres informations sur le livre :

• ISBN : 9781680834024
• Auteur : Albert Benveniste
• Éditeur : New Publ Inc
• Reliure : Broché
• Année de publication : 2018
• Nombre de pages : 296