MGSyn: Automatic Synthesis for Industrial Automation

  • Chih-Hong Cheng
  • Michael Geisinger
  • Harald Ruess
  • Christian Buckl
  • Alois Knoll
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7358)

Abstract

MGSyn is a programming toolbox based on game-theoretic notions of synthesis for generating production code in the domain of industrial automation. Instead of painstakingly engineering sequences of relatively low-level program code, the designer selects pre-defined hardware components together with behavioral interfaces from a given library, specifies a topology for the interconnection of components, and specifies the programming/synthesis problem in terms of what needs to be achieved. Given the model and a problem specification, MGSyn synthesizes executable C/C++ code for a concrete execution platform and an interactive simulator. The synthesized code is used to control distributed industry-standard PLCs in a FESTO modular production system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/
  2. 2.
    Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181–185. IEEE (2009)Google Scholar
  3. 3.
    Cheng, C.-H., Geisinger, M., Ruess, H., Buckl, C., Knoll, A.: Game solving for industrial automation and control. In: ICRA (to appear, May 2012)Google Scholar
  4. 4.
    Cheng, C.-H., Jobstmann, B., Geisinger, M., Diot-Girald, S., Knoll, A., Buckl, C., Ruess, H.: Optimizations for game-based synthesis. Technical Report 12, Verimag (2011)Google Scholar
  5. 5.
    Cheng, C.-H., Knoll, A., Luttenberger, M., Buckl, C.: GAVS+: An Open Platform for the Research of Algorithmic Game Solving. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 258–261. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. 6.
    Cheng, C.-H., Rueß, H., Knoll, A., Buckl, C.: Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 118–133. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  7. 7.
    Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems 80(315-325), 182 (1997)Google Scholar
  8. 8.
    Der Jeng, M., DiCesare, F.: A review of synthesis techniques for petri nets with applications to automated manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics 23(1), 301–312 (1993)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Dimitrova, R., Finkbeiner, B.: Synthesis of Fault-Tolerant Distributed Systems. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 321–336. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  10. 10.
    Ehlers, R.: Unbeast: Symbolic bounded synthesis. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 272–275. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  11. 11.
    Ghallab, M., Aeronautiques, C., Isi, C., Penberthy, S., Smith, D., Sun, Y., Weld, D.: PDDL-the planning domain definition language. Technical Report CVC TR-98003/DCS TR-1165, Yale Center for Computer Vision and Control (October 1998)Google Scholar
  12. 12.
    Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: FMCAD 2006, pp. 117–124. IEEE (2006)Google Scholar
  13. 13.
    Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: A Tool for Property Synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 258–262. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Madhusudan, P.: Synthesizing reactive programs. In: CSL 2011. LIPIcs, vol. 12, pp. 428–442. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)Google Scholar
  15. 15.
    Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of Reactive(1) Designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 364–380. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  16. 16.
    Uzam, M., Zhou, M.: An iterative synthesis approach to petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 37(3), 362–371 (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Chih-Hong Cheng
    • 1
    • 2
  • Michael Geisinger
    • 2
  • Harald Ruess
    • 2
  • Christian Buckl
    • 2
  • Alois Knoll
    • 1
  1. 1.Department of InformaticsTechnische Universität MünchenGarching bei MünchenGermany
  2. 2.fortiss GmbHMünchenGermany

Personalised recommendations