An Empirical Principle for the Data Flow Analysis in State Transition Systems

Authors

  • A. Guerrouat  University of Bahrain, Zallaq, Bahrain

Keywords:

Formal Analysis And Testing, Data Flow Analysis, Extended Finite State Machines, Formal Methods

Abstract

This paper focuses on the analysis of the data flow in formal specifications of embedded systems founded on state transition models. There are several properties of formal specifications that result from considering the data flow, however, these are irrelevant if only the control flow is assumed. The typical examples of formal models supporting data flow are extended finite state machines (EFSMs) whereas finite state machines (FSMs) specify only the control flow. It is crucial to predict issues that could be caused by the data flow because their occurrence in later stages of the system development or during operation would be very costly and critical. As it is practically hard to state the presence/absence of such issues analytically, this will be done empirically.

References

  1. A. Sinha et al. On generating EFSM models from use cases. In Proc. of sixth international workshop on scenarios and state machines (SCESM’07), pp 1–8, 2007.
  2. H. Katagiriy et al. Hardware, implementation of communication protocols modeled by concurrent EFSMs with multiway synchronization. In Proc. of the 37th conference on design automation (DAC’00), Los Angeles, 2000.
  3. V. S. Alagar. Specification of Software Systems. In Springer, 2014. ISBN: 1475729219.
  4. Specification and Description Language SDL ’92. ITU-T Recommendation Z.100, 1992.
  5. R. Buessow, R. Geisler, and M. Klar. Specifying safety-critical embedded systems with statecharts and Z: A case study. In Proceedings of Fundamental Approaches to Software Engineering (FASE’98), Lisbon, 1998.
  6. M. Mendler, G. Luettgen. Statecharts: From Visual Syntax to Model-Theoretic Semantics. In K. Bauknecht, W. Brauer, and Th. Mück (editors), Workshop on Integrating Diagrammatic and Formal Specification Techniques (IDFST 2001), pages 615-621, Vienna, 2001.
  7. B. Potter, J. Sinclair, and D. Till. Introduction to Formal Specification and Z (2nd Edition). Prentice Hall PTR; 1996.
  8. A. V. Aho, A. T. Dahbura, D. Lee, and M.U. Uyar. An optimisation technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification, New Jersey, 1988.
  9. S. Fujiwara, G.v. Bochmann, F. Khndek, M. Amalou, and A. Ghedamsi. Test selection based on finite state models. IEEE transaction on Software Engineering 17(6): 591-603, 1991.

IInternational Journal of Scientific Research in Computer Science, Engineering and Information Technology

Downloads

Published

2017-12-31

Issue

Volume 2, Issue 6, November-December-2017

Section

Research Articles

License

Copyright (c) IJSRCSEIT

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]
A. Guerrouat, " An Empirical Principle for the Data Flow Analysis in State Transition Systems, IInternational Journal of Scientific Research in Computer Science, Engineering and Information Technology(IJSRCSEIT), ISSN : 2456-3307, Volume 2, Issue 6, pp.219-223, November-December-2017.