Advertisement

Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling

  • Rogério Campos-RebeloEmail author
  • Anikó Costa
  • Luis Gomes
Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 450)

Abstract

This paper presents a proposal for structuring logical signals for discrete events behavioral modeling. Graphical formalisms will be used to illustrate applicability of the proposed techniques. Input logical signals are generated based on the analysis of physical signals coming from the environment and other input logical signals. Their analysis is introduced in the flow of the input signal analysis, defined as pre-processing when using a modeling formalism. Their analysis is done in the first step of pre-processing, allowing to put these signals at the same level of the physical ones, enabling its use in the rest of the signals’ analysis, and also allowing the generation of events and conditions associated with these signals. Likewise, logical signals are also defined in the flow of post-processing, allowing the definition of output logical signals through analysis and composition of the output signals generated by the model execution. The output logical signals are analyzed in the last step of post-processing in order to allow the use of the signals affected by the events in its analysis. The usage of these signals allows improvements in terms of expressiveness and compactness of the resulted models, both directly due to its use as well as by the increase of the possibilities of analysis provided to the following parts of the development flow.

Keywords

Signal analysis Modelling formalisms Embedded systems 

References

  1. 1.
    Object management group. http://www.omg.org/
  2. 2.
    Statecharts, H.D.: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–74 (1987)Google Scholar
  3. 3.
    Börger, E., Stärk, R.F.: Abstract State Machines: A Method for High-level System Design and Analysis. Springer, Heidelberg (2003). http://books.google.pt/books?id=Am43BAC06L8C
  4. 4.
    Jensen, K.: High-level petri nets. In: Pagnoni, A., Rozenberg, G. (eds.) Appl. Theory Petri Nets SE – 12, pp. 166–180. Springer, Heidelberg (1983). http://dx.doi.org/10.1007/978-3-642-69028-0_12
  5. 5.
    Reisig, W., Berlin, H.: Distributed Algorithms: Modeling and Analysis with Petri Nets W, pp. 38–43. Reisig Institut fur Informatik Humboldt-Universitat (1998)Google Scholar
  6. 6.
    Zurawski, R., MengChu, Z.: Petri nets and industrial applications: A tutorial. IEEE Trans. Ind. Electron. 41(6), 567–583 (1994)CrossRefGoogle Scholar
  7. 7.
    Bruns, R., Dunkel, J.: Event-Driven Architecture. Springer London, Limited (2010). http://books.google.pt/books?id=BtsfBAAAQBAJ
  8. 8.
    Eckert, M., Bry, F.: Complex Event Processing (CEP). Informatik-Spektrum 32(2), 163–167 (2009). http://dx.doi.org/10.1007/s00287-009-0329-6
  9. 9.
    Luckham, D.C.: The power of events: An introduction to complex event processing in distributed enterprise systems. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, p. 3. Springer, Heidelberg (2008). http://dx.doi.org/10.1007/978-3-540-88808-6_2
  10. 10.
    Zang, C., Fan, Y.: Complex event processing in enterprise information systems based on RFID. Enterp. Inf. Syst. 1(1), 3–23 (2007). http://dx.doi.org/10.1080/17517570601092127
  11. 11.
    Luckham, D.C.: Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. Computer Systems Laboratory (1996). http://books.google.pt/books?id=AWamHAAACAAJ
  12. 12.
    Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. 21(4), 336–354 (1995)Google Scholar
  13. 13.
    Campos-Rebelo, R., Costa, A., Gomes, L.: Enhanced event modeling for human-system interactions using IOPT petri nets. In: Hippe, Z.S., Kulikowski, J.L., Mroczek, T., Wtorek, J. (eds.) Human-Computer Systems Interaction: Backgrounds and Applications 3. AISC, vol. 300, pp. 39–50. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  14. 14.
    Campos-Rebelo, R., Costa, A., Gomes, L.: Elementary events for modeling of human-system interactions with petri net models. In: Camarinha-Matos, L.M., Barrento, N.S., Mendonça, R. (eds.) DoCEIS 2014. IFIP AICT, vol. 423, pp. 219–226. Springer, Heidelberg (2014). http://dx.doi.org/10.1007/978-3-642-54734-8_25
  15. 15.
    Campos-Rebelo, R., Costa, A., Gomes, L.: Output events for human-system interaction modeling. In: 2014 7th Int. Conf. Hum. Syst. Interact. (HSI), pp. 261–266 (2014)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  • Rogério Campos-Rebelo
    • 1
    • 2
    Email author
  • Anikó Costa
    • 1
    • 2
  • Luis Gomes
    • 1
    • 2
  1. 1.Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaAlmadaPortugal
  2. 2.UNINOVA – Centro de Tecnologias e SistemasAlmadaPortugal

Personalised recommendations