Semantics of dynamic structure event-based systems

This paper presents the semantics of the Heterogeneous Flow System Specification (HFSS). HFSS is a modular formalism able to describe hierarchical event-based systems with a time-varying structure. While using a traditional representation of discrete event systems it introduces the concept of generalized sampling to achieve a description of continuous signals on digital computers. Sampling is treated as a first order concept being explicitly supported. While push event-based systems can be formalized by discrete event systems, sampling is consider here as a formalization of pull event-based systems. We introduce the new concepts of basic and network HFSS components to describe the semantics of the corresponding HFSS models.

[1]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[2]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[3]  Fernando J. Barros,et al.  Towards a theory of continuous flow models , 2002, Int. J. Gen. Syst..

[4]  R. Goldblatt.  Lectures on the hyperreals : an introduction to nonstandard analysis , 1998 .

[5]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[6]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[8]  Xiaolin Hu,et al.  Variable Structure in DEVS Component-Based Modeling and Simulation , 2005, Simul..

[9]  Fernando J. Barros.  Simulating data generated by a network of track-while-scan radars , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[10]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[11]  Fernando J. Barros.  Describing the HLA Using the DFSS Formalism , 2004, AIS.

[12]  Herbert Praehofer,et al.  SYSTEM THEORETIC FORMALISMS FOR COMBINED DISCRETE-CONTINUOUS SYSTEM SIMULATION , 1991 .

[13]  R. Dorf,et al.  Adaptive sampling frequency for sampled-data control systems , 1962 .

[14]  Judith S. Dahmann,et al.  Creating Computer Simulation Systems: An Introduction to the High Level Architecture , 1999 .

[15]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[16]  Insup Lee,et al.  R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , 2006, HSCC.