1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME.

Présentation au sujet: "1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME."— Transcription de la présentation:

1

2 1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME

3 © Siemens Transportation Systems 2 B Système : Enjeux et principes Enjeux Validation des besoins de nos clients Validation des principes de fonctionnement de nos produits Réutilisation de nos produits Principes Quest ce que le B Système? Comment fait-on du B Système? Que faut-il pour faire du B Système? Le B système en milieu industriel

4 © Siemens Transportation Systems 3 Enjeux : Problématique générale Client Etude Réalisation Besoins clients Produits Système client Validation? Validation : Validation? SIEMENS Validation? Réutilisation? B Logiciel Pour le logiciel des PA B Système ?

5 © Siemens Transportation Systems 4 Enjeux : Problématique générale Client Etude Réalisation Besoins clients Produits Système client Validation? SIEMENS

6 © Siemens Transportation Systems 5 Enjeux : Validation des besoins de nos clients Objectifs Mettre en évidence les incohérences Détecter les ambiguïtés Clarifier les non dits Moyens Ré expression des besoins du client en terme de propriétés Formalisation des dites propriétés Validation de la formalisation Ré expression informelle des besoins du client à partir des propriétés formalisées et validées Finalité Clarifier les besoins du client

7 © Siemens Transportation Systems 6 Enjeux : Problématique générale Client Etude Réalisation Besoins clients Produits Système client Validation? SIEMENS

8 © Siemens Transportation Systems 7 Validation des principes de fonctionnement Objectifs Proscrire les comportements interdits Proscrire les comportements incohérents Clarifier les non dits Moyens Formaliser les données métier (environnement, entités physiques ou conceptuelles) Formaliser le comportement du système Formaliser larchitecture du système Finalité Clarifier les comportements du système

9 © Siemens Transportation Systems 8 Enjeux : Problématique générale Client Etude Réalisation Besoins clients Produits Système client Validation? SIEMENS

10 © Siemens Transportation Systems 9 Enjeux : Validation des spécifications système Objectifs Intégrer les besoins du client dans les spécifications du système Intégrer les contraintes métier dans les spécifications du système Moyens Formaliser lintégration des besoins du client dans le comportement du système Formaliser le traitement des données métier Finalité Clarifier les spécifications du système

11 © Siemens Transportation Systems 10 B Système : Principes de base Données métier Comportement Besoins Client Logiciel Système DonnéesTraitement += Programme Spécifications + + =

12 © Siemens Transportation Systems 11 B Système : Principes de base B Logiciel Données abstraites Données concrètes Raffinement Traitements abstraits Traitements Concrets Preuve Spécifications Transcodage vers Langage cible Données implémantables dans un langage de programmation Données non implémantables dans un langage de programmation

13 © Siemens Transportation Systems 12 B Système : Principes de base Données métier abstraites Comportemen t abstrait Besoins client Preuve Raffinement Traitements métier abstraits Comportemen t Concret Traitements Abstraits Traitements métier concrets Données métier Concrètes Raffinement Preuve Raffinement Preuve Données Abstraites Logiciel Entités abstraites non réalisables dans le système Ex. Zone de Détection Zone de Protection Entités réalisables dans le système Ex. CdV Canton

14 © Siemens Transportation Systems 13 B Système : Difficultés Expertise Formalisme mathématique Outils Génération des obligations de preuve Preuve Méthodologie Maturité du processus Documentation des activités Intégration dans les processus société

15 © Siemens Transportation Systems 14 B Système en milieu industriel : contraintes Contraintes industriellesExigences pour B Système Utilisation systématique Sintégrer au cycle de vie Maintenir la répartition des tâches Pas de rupture documentaire Ne pas exclure les non spécialistes Guideméthodologique Guide méthodologique Documentation Rentabilité Cycle de vie système bien défini Découpage des tâches dingénierie Hétérogénéité des compétences

16 © Siemens Transportation Systems 15 Processus de définition et danalyse des besoins

17 © Siemens Transportation Systems 16 Processus de définition des exigences

18 © Siemens Transportation Systems 17 B Système en milieu industriel : Approche Siemens Processus ActivitésTechniques Guide Méthodologique Définition et analyse des besoins Définition des exigences Analyse des exigences Construction en B d un modèle de données Construction en B dune spécification générale formelle Construction en B dune spécification détaillée formelle Transcription informelle dune spécification détaillée formelle Formalisation des données Formalisation des besoins Formalisation des exigences Formalisation des spécifications fonctionnelles système

19 © Siemens Transportation Systems 18 Formalisation des données

20 © Siemens Transportation Systems 19 Formalisation des besoins

21 © Siemens Transportation Systems 20 Formalisation des exigences

22 © Siemens Transportation Systems 21 Formalisation des Spécifications Fonctionnelles

23 © Siemens Transportation Systems 22 Modèles B Système : Concepts de base Environnement Système de Commande Flux d observation Flux de commande EnvironnementObservationCommande Espaces de référence Système

24 © Siemens Transportation Systems 23 Modèles B Système : Principes de base Organisation du modèle sur la base des espaces de référence Autonomie des espaces de références Les données dun espace de référence ne peuvent être modifiées que dans cet espace de référence 1 2 3

25 © Siemens Transportation Systems 24 Modèle B Système : Principes darchitecture Spécification Générale Formelle Spécification Détaillée Formelle Formaliser en B les exigences de référence Formaliser en B les exigences induites Vérifier par la preuve que les exigences induites établissent les exigences de référence Formaliser en B les données des espaces de référence 1 2 3 4 Allouer fonctionnellement les exigences Spécifier les événements Raffiner la spécification générale formelle 1 2 3 Vérifier par la preuve que les actions des événements ne contredisent pas les exigences 4