Modélisation comportementale pour l ingénierie système

Transcription

1 Modélisation comportementale pour l ingénierie système

2 Contexte étude Système à spécifier L inverseur de source Objectif Capter et formaliser les besoins Produire les spécifications du système Valider l efficacité de la méthode dans un contexte collaboratif. Challenges Nombreuses variantes Savoir faire issu d années d expérience Grande complexité électrotechnique. 2

3 Principe de l inverseur de source Puissance Source principale Deuxième source Inter 1 Couplage Inter 2 Charges 3

4 Alimentation principale Puissance Source principale Deuxième source Inter 1 Couplage Inter 2 Charges 4

5 Alimentation deuxième source Puissance Source principale Deuxième source Inter 1 Couplage Inter 2 Charges 5

6 Conduire une démarche collaborative en utilisant des modèles exécutables Approche collaborative Capter le besoin du client Partager la compréhension via le modèle Démarche itérative Exprimer la raison d être et l environnement du système Gérer la complexité de façon incrémentale 6

7 Modélisation itérative et collaborative Marketing Equipe projet System engineering Marketing => clients Equipe projet System engineering Partager Specifications Specifications validées validées Capter Modéliser System engineering 7

8 Exprimer la raison d être et les contours du système Augmenter la disponibilité de l alimentation électrique de charges en pilotant la sélection de l énergie depuis plusieurs sources modèle inverseur de source Sources Inverseur de source Selection Charges 8

9 Gérer la complexité par un déroulement incrémental Niveau 1 : Séquences de base Niveau 2: Gestion du générateur Niveau 3: Commande et retour d'état Niveau 4 : Modélisation détaillée des interrupteurs disjoncteur 9

10 Modéliser sur la base de blocs diagrammes et de machines d états Application de concepts SysML Bloc diagramme et machines d état Modélisation incrémentale Croissance périphérique du modèle par rapport aux niveaux de complexité Pour un scope fonctionnel élargi ou un gain en réalisme comportemental Utilisation des outils Mathworks de définition de blocs et de machines d état Simulink Stateflow 10

11 Modélisation incrémentale Niveau 1 : Séquences de base N=0 sync R=0 N=1 R=1 T=0 T=1 11

12 Modélisation incrémentale Niveau 2: Gestion du générateur N=0 sync R=0 N=1 R=1 T=0 sync sync genset generator T=1 12

13 Modélisation incrémentale Niveau 3: Commande et retour d'état Off N=0 sync R=0 Off N=1 R=1 Off T=0 sync sync genset generator T=1 13

14 Modélisation incrémentale Niveau 4 : Modélisation détaillée des interrupteurs disjoncteur Breaker control Off N=0 sync R=0 Off Breaker control N=1 R=1 Breaker control Off T=0 T=1 sync sync genset generator 14

15 Avantages et limites des blocs diagrammes et machines d état Les machines d état sont un outil agréable et performant pour modéliser de manière incrémentale. Les modèles résultant sont complexes et nécessitent une compétence que l on ne souhaite pas diffuser sur la totalité des acteurs projet. Pour permettre la collaboration avec des gens qui ne sont pas expert modélisation, il est indispensable de disposer d une couche d interface User friendly Facile à mettre en place Facile à utiliser. Performante Capable de prendre en charge un niveau de représentation système. 15

16 Avantages et limites des blocs diagrammes et machines d état Sources Modélisateur Inverseur de sources Sélection? Charges utilisateurs 16

17 Maquettage Sources IHM Inverseur de sources Sélection Maquette Modèle Charges Maquette = Modèle + IHM Pour partager la maquette, il faut pouvoir l utiliser sans l environnement Mathworks. 17

18 Maquettage IHM1 Maquette Modèle La puissance et la complexité du modèle sont accessibles au travers d une interface simple La maquette devient l outil de partage, le modèle reste la référence. 18

19 Les prochaines étapes Vérification automatisée, tests de non régression Banc de test Vérification manuelle Maquette Modéle Prototypage rapide du comportement Vérification sur cible réelle 19

20 Points essentiels Ce que l on a beaucoup apprécié Une implication forte et un support efficace de l équipe Mathworks La performance des outils Mathworks Simulink Stateflow Pour décrire les architectures et les comportements. Pour gérer la complexité croissante de la modélisation Pour implémenter les concepts «blocs diagrammes & machines d états» en mode incrémental. L efficacité de la maquette (IHM + modèle) en tant qu outil collaboratif Nos attentes Une IHM associable au modèle est indispensable pour partager avec toute l équipe Des fonctionnalités supplémentaires pour appréhender le comportement de l utilisateur. 20

21 Demo 21

22 Contacts Alain Ret System Engineer within Power business unit Tel +33(0) Xavier Dorel Corporate System Engineer Expert Tel +33(0)