1 b système enjeux et principes cours dess nantes 04 décembre 2002 didier essame

1

B Système B Système Enjeux et principesEnjeux et principes

Cours DESS

Nantes 04 Décembre 2002

Didier ESSAME

2 © Siemens Transportation Systems

B Système : Enjeux et principesB 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› Qu’est 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


Enjeux : Problématique généraleEnjeux : Problématique générale

Client

Etude

Réalisation

Besoins clients

ProduitsProduits

Produits

Système client

Validation?

Validation :

Validation?SIEMENS

Validation?Réutilisation?

B LogicielPour le logiciel des PA

B Système

?

B Système

?

B Système

?



Client

Etude

Réalisation

Besoins clients

ProduitsProduits

Produits

Système client

Validation?SIEMENS


Enjeux : Validation des besoins de nos Enjeux : Validation des besoins de nos clientsclients

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



Client

Etude

Réalisation

Besoins clients

ProduitsProduits

Produits

Système client

Validation?SIEMENS


Validation des principes de fonctionnementValidation 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 l’architecture du système

Finalité› Clarifier les comportements du système



Client

Etude

Réalisation

Besoins clients

ProduitsProduits

Produits

Système client

Validation?

SIEMENS


Enjeux : Validation des spécifications Enjeux : Validation des spécifications systèmesystè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 l’inté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


B Système : Principes de baseB Système : Principes de base

Données métier

Comportement

Besoins Client

LogicielLogiciel

SystèmeSystème

Données Traitement+ = Programme

Spécifications

+

+

=



B LogicielB LogicielDonné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



Données métier abstraites

Comportement abstrait

Besoins client

Preuve

Raffinement

Traitements métier abstraits

Comportement 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


B Système : DifficultésB 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é


B Système en milieu industriel : contraintesB Système en milieu industriel : contraintes

Contraintes industrielles Exigences pour B Système

Utilisation systématique

S’intégrer au cycle de vie

Maintenir la répartition des tâches

Pas de rupture documentaire

Ne pas exclure les non spécialistes

GuideGuide méthodologiqueméthodologique

Documentation

Rentabilité

Cycle de vie système bien défini

Découpage des tâches d’ingénierie

Hétérogénéité des compétences


Processus de définition et d’analyse des Processus de définition et d’analyse des besoinsbesoins

Définir les conceptsmétiers

Définir les missions dusystème

Définir les attentes desutilisateurs

Définir les acteurs

Définir lesscénarios

Définir lescontraintes

Gérer les évolutionsdes besoins


Processus de définition des exigencesProcessus de définition des exigences

Définition des données

Définition des Exigences Fonctionnelles

Définition des Exigences non Fonctionnelles

Définir les modes d'opération

Définir les Contraintes

Gérer la couverture des Besoins

Gérer les évolutions des Exigences


B Système en milieu industriel : Approche B Système en milieu industriel : Approche SiemensSiemens

Processus

Activités Techniques

GuideMé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 d’une spécification générale formelle

Construction en B d’une spécification détaillée formelle

Transcription informelle d’une spécification détaillée formelle

Formalisation des données

Formalisation des besoins

Formalisation des exigences

Formalisation des spécifications fonctionnelles système


Formalisation des donnéesFormalisation des données

Objectifs Formaliser les concepts et les entités significatives du système Formaliser les propriétés des entités du système

Etapes1. Identification des entités significatives

2. Description informelle des données

3. Construction du modèle formel des données

4. Validation du modèle formel des données

5. Transcription informelle du modèle formel des données

Entrées Sorties Cahier des charges Notes techniques Interviews

Document de définition des données


Formalisation des besoinsFormalisation des besoins

Objectifs Exprimer clairement les besoins en levant les non dits et les ambiguïtés Clarifier la vision du système du point de vue des parties prenantes

Etapes1. Identification des besoins

2. Analyse des besoins (élaboration des exigences de référence)

3. Formalisation des exigences de référence

4. Transcription informelle des exigences de référence formalisées

Entrées Sorties Cahier des charges Document de définition des données Interviews Normes et Directives réglementaires

Cahier des Exigences de référence


Formalisation des exigencesFormalisation des exigences

Objectifs Exprimer clairement les exigences Clarifier la vision du système du point de vue technique Valider formellement les exigences en vérifiant que les décisions prises par les

concepteurs établissent les assertions

Etapes1. Identification des exigences

2. Formalisation des exigences

3. Construction de la spécification générale formelle

4. Preuve de la spécification générale formelle

5. Transcription informelle de la spécification générale formelle

Entrées Sorties Cahier des exigences de référence Document de définition des données Notes techniques

Cahier des exigences et justificatifs Spécification générale formelle


Formalisation des Spécifications Formalisation des Spécifications FonctionnellesFonctionnelles

Objectifs Identification des fonctions et des sous-fonctions Organisation et allocation fonctionnelle des exigences Valider formellement la vision technique du système

Etapes1. Identification des fonctions

2. Allocation des exigences

3. Identification des événements (flux)

4. Construction et preuve de la spécification détaillée formelle

5. Transcription informelle de la spécification détaillée formelle

Entrées Sorties Cahier des exigences et justificatifs Document de définition des données Spécification générale formelle

Spécifications fonctionnelles système Spécification détaillée formelle


Modèles B Système : Concepts de base Modèles B Système : Concepts de base

EnvironnementSystème de Commande

Fluxd ’observation

Fluxde commande

Environnement Observation Commande

Espaces de référence

Système


Modèles B Système : Principes de baseModè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 d’un espace de référence ne peuvent être modifiées que dans cet espace de référence

1

2

3


Modèle B Système : Principes Modèle B Système : Principes d’architectured’architecture

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érence1

2

3

4

Allouer fonctionnellement les exigences

Spécifier les événements

Raffiner la spécification générale formelle1

2

3

Vérifier par la preuve que les actions des événements ne contredisent pas les exigences

4

1 b système enjeux et principes cours dess nantes 04 décembre 2002 didier essame

Documents