Skip to main content
SpringerLink
Log in

A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers

  • Conference paper
  • First Online:
Foundations of Information and Knowledge Systems (FoIKS 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS))

Abstract

In this paper we place ourselves in the setting of formal representation of functional specifications given in logical diagrams (LD) for verification and test purposes. Our contribution consists in defining a formal structure that explicitly encodes the semantics and behavior of a LD. We put in a complete transformation procedure of the non-formal LD specifications into a directed state graph such that properties like oscillatory behavior become formally verifiable on LDs. We motivate and illustrate our approach with a scenario inspired from a real world power plant specification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We refer to the implemented logical diagram specification as a logic controller.

References

  1. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article  MathSciNet  Google Scholar 

  2. Fayyazi, M., Kirsch, L.: Efficient simulation of oscillatory combinational loops. In: Proceedings of the 47th Design Automation Conference, pp. 777–780 (2010)

    Google Scholar 

  3. Jean-françois Hery, J.C.L.: Stabilité de la spécification logique du contrôle-commande - méthodologie et mise en œuvre. Technical report, EDF R &D (2019)

    Google Scholar 

  4. Power Plants IEC: Instrumentation and control important to safety-general requirements for systems. IEC 61513. International Electrotechnical Commission (2011)

    Google Scholar 

  5. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proc. IEEE 84(8), 1090–1123 (1996)

    Article  Google Scholar 

  6. Lukoschus, J., Von Hanxleden, R.: Removing cycles in Esterel programs. EURASIP J. Embed. Syst. 2007, 1–23 (2007)

    Article  Google Scholar 

  7. Malik, S.: Analysis of cyclic combinational circuits. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 13(7), 950–956 (1994)

    Article  Google Scholar 

  8. Neiroukh, O., Edwards, S., Song, X.: An efficient algorithm for the analysis of cyclic circuits, vol. 2006, p. 6–pp, April 2006. https://doi.org/10.1109/ISVLSI.2006.18

  9. Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IAICT, vol. 28, pp. 225–240. Springer, Boston (1999). https://doi.org/10.1007/978-0-387-35578-8_13

    Chapter  Google Scholar 

  10. Provost, J., Roussel, J.M., Faure, J.M.: Translating Grafcet specifications into mealy machines for conformance test purposes. Control. Eng. Pract. 19(9), 947–957 (2011)

    Article  Google Scholar 

  11. Riedel, M.D.: Cyclic combinational circuits. California Institute of Technology (2004)

    Google Scholar 

  12. Shiple, T.R., Berry, G., Touati, H.: Constructive analysis of cyclic circuits. In: Proceedings ED &TC European Design and Test Conference, pp. 328–333 (1996)

    Google Scholar 

  13. Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theor. Comput. Sci. 254(1–2), 225–257 (2001)

    Article  MathSciNet  Google Scholar 

  14. Thimbleby, H.: The directed Chinese postman problem. Softw. Pract. Exp. 33(11), 1081–1096 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GraphIK, INRIA, LIRMM, CNRS and University of Montpellier, Montpellier, France

    Aziz Sfar & Madalina Croitoru

  2. PRISME Department, EDF R &D, Paris, France

    Aziz Sfar & Dina Irofti

Authors
  1. Aziz Sfar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dina Irofti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Madalina Croitoru
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aziz Sfar .

Editor information

Editors and Affiliations

  1. Université d'Artois and CNRS, Lens, France

    Ivan Varzinczak

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Sfar, A., Irofti, D., Croitoru, M. (2022). A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers. In: Varzinczak, I. (eds) Foundations of Information and Knowledge Systems. FoIKS 2022. Lecture Notes in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-11321-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-11321-5_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-11320-8

  • Online ISBN: 978-3-031-11321-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation