Ingénierie système guidée par les modèles: Application du standard IEEE 15288, de l'architecture MDA et du langage SysML à la conception des systèmes mécatroniques

La conception des systemes mecatroniques, vu leur complexite, necessite d'entreprendre une approche systemique. Une approche systemique implique l'utilisation d'une methodologie permettant, en premier lieu, de considerer le systeme avec toutes ses composantes (mecanique, electronique, informatique, etc.) et de fournir les moyens de concevoir et de specifier ce systeme par la definition de ses composants et des liens qui existent entre eux. D'autre part, cette methodologie doit aussi donner la possibilite de decrire ces composants avec les outils existants dedies aux domaines technologiques. Nous nous sommes tournes vers des technologies orientees-objet, en l'occurrence l'ingenierie guidee par les modeles MDE, pour construire une methodologie permettant d'entreprendre cette approche systemique supportant les activites d'ingenierie decrites dans le standard ISO/IEC/IEEE 15288. Dans cette these, nous proposons donc une methodologie qui repond a ces besoins et que nous avons intitule MISSyM. Dans MISSyM, les activites de conception sont realisees sur des modeles SysML etendus par des profiles supportant le standard ISO/IEC/IEEE 15288. De plus, MISSyM integre le support d'elements de modelisation specifiques aux systemes mecatroniques qui sont le composant mecatronique ainsi que des extensions et des design pattern specifiques. Nous avons aussi integre dans MISSyM une extension au langage SysML supportant les Bond Graphs et permettant d'entreprendre une analyse energetique des systemes heterogenes. Nous avons par la suite enrichi la methodologie MISSyM par une methode de verification de la qualite de l'architecture qui repose sur un algorithme utilisant des metriques sur les modeles decrivant l'architecture d'un composant donne ou du systeme puis appliquant un algorithme de partitionnement de la matrice de dependances ou DSM (existant) pour proposer une amelioration de cette architecture. Nous avons en plus fourni l'ouverture vers le langage de simulation Modelica par la generation de code. Et finalement, nous avons decrit le processus global de la methodologie base sur l'architecture de modeles MDA et en concordance avec le standard d'ingenierie systeme ISO/IEC/IEEE 15288. Nous avons fourni un exemple d'application pour permettre aux ingenieurs systeme de mieux utiliser le nouveau langage SysML a travers cette methodologie.

[1]  Per Andersson,et al.  SystemC workload model generation from UML for performance simulation , 2007, FDL.

[2]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[3]  Jean Bézivin Sur les principes de base de l'ingénierie des modèles , 2004, Obj. Logiciel Base données Réseaux.

[4]  Raymond Lister,et al.  Grand challenges , 2005, SGCS.

[5]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[6]  P. S. Thiagarajan,et al.  Model-driven SoC design via executable UML to SystemC , 2004, 25th IEEE International Real-Time Systems Symposium.

[7]  Carl G. Davis,et al.  A Hierarchical Model for Object-Oriented Design Quality Assessment , 2002, IEEE Trans. Software Eng..

[8]  Jérôme Delatour,et al.  UML et réseaux de Petri , 2004, Tech. Sci. Informatiques.

[9]  T. Martin McGinnity,et al.  Integration of UML and VHDL-AMS for analogue system modelling , 2003, Formal Aspects of Computing.

[10]  William J. Baumol,et al.  Microeconomics: Principles and Policy , 1991 .

[11]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[12]  Arnold Berger,et al.  Embedded Systems Design: An Introduction to Processes, Tools, and Techniques , 2001 .

[13]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[14]  Martin Höst,et al.  UML and SystemC - Comparison and Mapping Rules for Automatic Code Generation , 2007, FDL.

[15]  Rolf Isermann,et al.  Mechatronic systems: concepts and applications , 2000 .

[16]  Michael Eichberg,et al.  A Handbook of Software and Systems Engineering , 2009 .

[17]  Stephen Dudra Object Oriented Design Approach to Systems Engineering of a Mechanical Steering System , 2003 .

[18]  Kudret Yurtseven Systems engineering and soft systems methodology: a review , 2000 .

[19]  D. V. Steward Systems Analysis and Management: Structure, Strategy and Design , 1981 .

[20]  Ian Oliver,et al.  Applying UML and MDA to real systems design , 2005, Design, Automation and Test in Europe.

[21]  Skander Turki,et al.  A SysML profile for mechatronics integrating bond graphs , 2005 .

[22]  Kevin Forsberg,et al.  4.4.4 Application of the ‘Vee’ to Incremental and Evolutionary Development , 1995 .

[23]  Tyson R. Browning,et al.  Applying the design structure matrix to system decomposition and integration problems: a review and new directions , 2001, IEEE Trans. Engineering Management.

[24]  Fumio Harashima,et al.  Mechatronics - "What Is It, Why, and How?" An editorial , 1996, IEEE/ASME Transactions on Mechatronics.

[25]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[26]  Grace Gandanegara Méthodologie de conception systémique en génie électrique à l'aide de l'outil bond graph : application à une chaine de traction ferroviaire , 2003 .

[27]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[28]  H. Aslaksen National university of singapore. , 1995, Environmental science & technology.

[29]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[30]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[31]  Michele Marchesi OOA metrics for the Unified Modeling Language , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[32]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[33]  N. V. Hien Une méthode industrielle de conception de commande par automate hybride d éveloppée en objets , 2001 .

[34]  A. Terry Bahill,et al.  Re-evaluating systems engineering concepts using systems thinking , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[35]  Herbert A. Simon,et al.  The game of chess , 1992 .

[36]  W. Favre Contribution à la représentation bond graph des systèmes mécaniques multicorps , 1997 .

[37]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[38]  Amir Pnueli,et al.  A discrete-time UML semantics for concurrency and communication in safety-critical applications , 2005, Sci. Comput. Program..

[39]  Edsger W. Dijkstra,et al.  Go to Statement Considered Harmful (Reprint) , 2002, Software Pioneers.

[40]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .

[41]  James M. Tien,et al.  A case for service systems engineering , 2003 .

[42]  Marcela Genero,et al.  METRICS FOR USE CASES: A SURVEY OF CURRENT PROPOSALS , 2005 .

[43]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[44]  Ferhat Khendek,et al.  TURTLE-P: a UML profile for the formal validation of critical and distributed systems , 2006, Software & Systems Modeling.

[45]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[46]  Glenford J. Myers,et al.  Structured Design , 1974, IBM Syst. J..

[47]  Oscar A. Saenz Framework for Enterprise Systems Engineering , 2005 .

[48]  Ali A. Yassine,et al.  Characterizing complex product architectures , 2004, Syst. Eng..

[49]  Bill Curtis,et al.  A field study of the software design process for large systems , 1988, CACM.

[50]  Claudia Eckert,et al.  Design process improvement : a review of current practice , 2005 .

[51]  Ludovic Apvrille,et al.  TURTLE: a real-time UML profile supported by a formal validation toolkit , 2004, IEEE Transactions on Software Engineering.

[52]  Jean Bézivin,et al.  ATL : Eclipse Support for Model Transformation , 2006 .

[53]  Albert Endres,et al.  A handbook of software and systems engineering - empirical observations, laws and theories , 2003, The Fraunhofer IESE series on software engineering.