Observability of Transportation Systems - A Methodology for Reliability Analysis in Logistics and Manufacturing

Jan Pinkowski, Axel Hahn

Abstract

Real world events are observed by sensors since decades, for instance in the logistics where packages are identified and tracked. This information result in an information flow. This information flow is used to control the physical material flow. Hence, the information flow is a digital representation of the physical material flow. However, to guarantee that the digital representation is in alignment to the physical world is a challenging task. Especially for scenarios with manual operations, the representation is vulnerable for errors. This paper proposes a generic approach to assure consistency between digital and physical world. The paper presents a methodology to model the monitoring of physical entities and to analyse the model to evaluate the risk of unreliable digital representation.

References

  1. Allan, R. B. (1992). Reliability Evaluation Of Engineering Systems: Concepts And Techniques. Springer.
  2. Bangsow, S. (2010). Manufacturing Simulation with Plant Simulation and Simtalk. Berlin: Springer.
  3. Buchacker, K. (1999). Combining Fault Trees And Petri Nets To Model Safety-Critical Systems. In Society for Computer Simulation International (S. 439--444)
  4. Harris, S. V. (2006). Error Detection Using Model Checking vs. Simulation. In High-Level Design Validation and Test Workshop.
  5. Clarke, E. M., Grumberg, O., Peled, D. A. (1999). Model Checking. The MIT Press.
  6. Laprie, J. C. (2001). Fundamental Concepts of Dependability. In Technical Report Seriesuniversity of Newcastle Upon Tyne Computing Science (S. 7-12).
  7. Law, A. M. (2000). Simulation Modeling and Analysis. New York: McGraw-Hill.
  8. Lee, W. S.; Grosh, D. L.; Tillman, F. A.; Lie, C. H.; , "Fault Tree Analysis, Methods, and Applications A Review", IEEE Transactions on Reliability, pp.194-203
  9. Petri, C. A. (1962). Kommunikation mit Automaten. Bonn.
  10. Reza, H. A. (2009). A Safety Analysis Method Using Fault Tree Analysis and Petri Nets. In Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations (S. 1089 - 1094). Washington DC: IEEE Computer Society.
  11. Spiegelhalter, W. G. (1995). Markov Chain Monte Carlo in Practice. Chapman & Hall.
Download


Paper Citation


in Harvard Style

Pinkowski J. and Hahn A. (2012). Observability of Transportation Systems - A Methodology for Reliability Analysis in Logistics and Manufacturing . In Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-8565-22-8, pages 548-551. DOI: 10.5220/0004120605480551


in Bibtex Style

@conference{icinco12,
author={Jan Pinkowski and Axel Hahn},
title={Observability of Transportation Systems - A Methodology for Reliability Analysis in Logistics and Manufacturing},
booktitle={Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2012},
pages={548-551},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004120605480551},
isbn={978-989-8565-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Observability of Transportation Systems - A Methodology for Reliability Analysis in Logistics and Manufacturing
SN - 978-989-8565-22-8
AU - Pinkowski J.
AU - Hahn A.
PY - 2012
SP - 548
EP - 551
DO - 10.5220/0004120605480551