Towards a Functional Formalism for Modelling Complex Industrial Systems

This paper is devoted to the presentation of the main lines of an unified functional formalism for modelling complex industrial systems, that is to say systems that typically mix a big number of different software and physical devices. Our approach is based on a discrete non-standard representation of time. It captures both the hierarchical architecture and the temporal and data multi-scale structures of a complex industrial system. We show in particular in this paper how our formalism allows to recover in an totally unified way various sorts of simple systems such as Turing machines, elementary conservative physical systems and low level software/physical interfaces (sampler, modulator).

[1]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[2]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[3]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[4]  D. Diderot,et al.  Encyclopédie, ou, Dictionnaire raisonné des sciences, des arts et des métiers , 1963 .

[5]  Ton Lindstrøm.  Nonstandard Analysis and its Applications: AN INVITATION TO NONSTANDARD ANALYSIS , 1988 .

[6]  Klaus Schneider.  Verification of Reactive Systems , 2004, Texts in Theoretical Computer Science.

[7]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[8]  Nigel J. Cutland,et al.  Nonstandard Analysis and its Applications , 1988 .

[9]  J.E. Mazo,et al.  Digital communications , 1985, Proceedings of the IEEE.

[10]  Grady Booch,et al.  Software engineering with Ada , 1983 .

[11]  A. Alexandrova.  The British Journal for the Philosophy of Science , 1965, Nature.

[12]  Pieter J. Mosterman,et al.  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.

[13]  Klaus Schneider,et al.  Verification of Reactive Systems: Formal Methods and Algorithms , 2003 .

[14]  Olaf Stursberg,et al.  A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem , 1997, Hybrid Systems.

[15]  A. Pnueli,et al.  Synchronous Languages , 1994 .

[16]  Tariq Samad,et al.  Software-Enabled Control: Information Technology for Dynamical Systems [Book Review] , 2003, IEEE Transactions on Automatic Control.

[17]  F Diener,et al.  Analyse non standard , 1989 .

[18]  L. Schwartz.  Théorie des distributions , 1966 .

[19]  Luciano Lavagno,et al.  UML for Real , 2003, Springer US.

[20]  Wilfrid S. Kendall,et al.  NONSTANDARD ANALYSIS AND ITS APPLICATIONS (London Mathematical Society Student Texts 10) , 1989 .

[21]  Clive L. Dym,et al.  Fundamentals of Modeling and Analyzing Engineering Systems , 2000 .

[22]  Kenneth R. Meyer,et al.  Introduction to Hamiltonian Dynamical Systems and the N-Body Problem , 1991 .

[23]  J. B. Wordsworth.  Software Engineering with B , 1996 .

[24]  Gary J. Balas,et al.  Software-enabled control : information technology for dynamical systems , 2005 .

[25]  Daniel Krob,et al.  Performance evaluation of demodulation with diversity--a combinatorial approach II: bijective methods , 2005, Discret. Appl. Math..

[26]  Nigel Cutland.  Nonstandard Analysis and its Applications: Contents , 1988 .

[27]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[28]  M. Fliess,et al.  Fonctionnelles causales non linaires et indtermines non commutatives , 1981 .

[29]  Steve Heath,et al.  Embedded Systems Design , 1997 .

[30]  John W. Satzinger,et al.  Analyse et conception de systemes d''information , 2003 .

[31]  A. Robinson.  Non-standard analysis , 1966 .

[32]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[33]  Frank L. Severance.  System Modeling and Simulation: An Introduction , 2001 .

[34]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[35]  Gregory H. Harris,et al.  Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003. , 2004, SOEN.

[36]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[37]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[38]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .