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”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hummel, B.: A semantic model for computer-based spatio-temporal systems. In: Proc. of ECBS 2009 (2009)
Botaschanjan, J., Hummel, B., Lindworsky, A., Hensel, T.: Integrated behavior models for factory automation systems. In: Proc. of ETFA 2009 (2009)
Broy, M.: Refinement of time. Theoretical Computer Science 253, 3–26 (2001)
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)
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of ESEC/FSE 2009. ACM, New York (2001)
Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17, 507–535 (1995)
Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Trans. Softw. Eng. 7, 417–426 (1981)
Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst. 5, 596–619 (1983)
Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)
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)
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)
Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Techniques. Mcgraw-Hill, New York (1987)
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)
Tiller, M.: Introduction to Physical Modeling with Modelica. Springer, Heidelberg (2001)
Botaschanjan, J., Hummel, B.: Specifying the worst case - orthogonal modelling of hardware errors. In: Proc. of ISSTA 2009. ACM Press, New York (2009)
Struss, P., Kather, A., Schneider, D., Voigt, T.: A compositional mathematical model of machines transporting rigid objects. In: Proc. of ECAI 2008 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)