Material Flow Abstraction of Manufacturing Systems

  • Conference paper
Theoretical Aspects of Computing – ICTAC 2010 (ICTAC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6255))

Included in the following conference series:

  • 440 Accesses

Abstract

Manufacturing systems integrate electro-mechanical components with software to fulfill certain production tasks. Due to this combination of computer science and traditional engineering, formal models of embedded systems are often inappropriate for the description and analysis of manufacturing systems. This is especially prominent on an abstract level, where computation and communication are not of primary concern, but rather the material the system is processing. In this paper, we introduce an abstract formal model of manufacturing systems based on the material flow, i.e. the relation between incoming and outgoing material over time. The formalization supports compositional reasoning and the comparison of specifications with more concrete models (implementations). This provides a foundation for the formally founded conceptual modeling of manufacturing systems and the reasoning about the correctness of their realization. The former is evaluated by a prototypical tool implementation and a case study.

This work was partially funded by the German Federal Ministry of Education and Research (BMBF), grant “SPES2020, 01IS08045A”.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 42.79
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 53.49
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Hummel, B.: A semantic model for computer-based spatio-temporal systems. In: Proc. of ECBS 2009 (2009)

    Google Scholar 

  2. Botaschanjan, J., Hummel, B., Lindworsky, A., Hensel, T.: Integrated behavior models for factory automation systems. In: Proc. of ETFA 2009 (2009)

    Google Scholar 

  3. Broy, M.: Refinement of time. Theoretical Computer Science 253, 3–26 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. Müller, O., Scholz, P.: Functional specification of real-time and hybrid systems. In: Maler, O. (ed.) HART 1997. LNCS, vol. 1201, Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  5. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of ESEC/FSE 2009. ACM, New York (2001)

    Google Scholar 

  6. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17, 507–535 (1995)

    Article  Google Scholar 

  7. Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Trans. Softw. Eng. 7, 417–426 (1981)

    Article  MathSciNet  Google Scholar 

  8. Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst. 5, 596–619 (1983)

    Article  MATH  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  10. Henzinger, T.: The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, pp. 265–292. Springer, Heidelberg (2000)

    Google Scholar 

  11. Iversen, T.K., Kristoffersen, K.J., Larsen, K.G., Laursen, M., Madsen, R.G., Mortensen, S.K., Pettersson, P., Thomasen, C.B.: Model-checking real-time control programs: verifying Lego Mindstorms systems using UPPAAL. In: Proc. of ECRTS 2000 (2000)

    Google Scholar 

  12. Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Techniques. Mcgraw-Hill, New York (1987)

    Google Scholar 

  13. Leuxner, C., Sitou, W., Spanfelner, B., Thurner, V., Schneider, A.: Modeling work flows for building context-aware applications. Technical Report TUM-I0913, Technische Universität München (2009)

    Google Scholar 

  14. Tiller, M.: Introduction to Physical Modeling with Modelica. Springer, Heidelberg (2001)

    Google Scholar 

  15. Botaschanjan, J., Hummel, B.: Specifying the worst case - orthogonal modelling of hardware errors. In: Proc. of ISSTA 2009. ACM Press, New York (2009)

    Google Scholar 

  16. Struss, P., Kather, A., Schneider, D., Voigt, T.: A compositional mathematical model of machines transporting rigid objects. In: Proc. of ECAI 2008 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Botaschanjan, J., Hummel, B. (2010). Material Flow Abstraction of Manufacturing Systems. In: Cavalcanti, A., Deharbe, D., Gaudel, MC., Woodcock, J. (eds) Theoretical Aspects of Computing – ICTAC 2010. ICTAC 2010. Lecture Notes in Computer Science, vol 6255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14808-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14808-8_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14807-1

  • Online ISBN: 978-3-642-14808-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Navigation