Abstract
From the viewpoints of high safety and high security, any critical reactive system should be anticipatory, i.e., the system should be able to detect and predict accidents/attacks, take some actions to inform its users, and perform some operations to defend the system from possible accidents/attacks anticipatorily.However, most of existing reactive systems are not so, furthermore, it is impractical, but not impossible, to rebuild them to be anticipatory, because reimplementation of the whole of a system results in high cost. Therefore, it is desirable to extend an existing legacy reactive system with anticipatory ability without reimplementing the whole of the legacy system. This paper proposes a general methodology to realize such an extension. The novelty of the methodology is that it does not require reimplementation the whole legacy system, does not affect the system’s original functions, and can deal with various reactive systems by using the same process. By extending an existing reactive system anticipatory using our methodology, we can get a new generation system with high safety and high security. This paper also presents three case studies to show how to apply our methodology.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, R.J.: Security engineering: a guide to building dependable distributed systems, 2nd edn. Wiley (2008)
Bukowski, R.W.: Emergency egress strategies for buildings. In: Proc. 11th International Interflam Conference, pp. 159–168 (2007)
Cheng, J.: Temporal relevant logic as the logical basis of anticipatory reasoning-reacting systems. In: Proc. Computing Anticipatory Systems: CASYS - 6th International Conference, AIP Conference Proceedings, vol. 718, pp. 362–375. AIP (2004)
Cheng, J.: Connecting components with soft system buses: A new methodology for design, development, and maintenance of reconfigurable, ubiquitous, and persistent reactive systems. In: Proc. 19th International Conference on Advanced Information Networking and Applications, pp. 667–672. IEEE Computer Society Press (2005)
Cheng, J.: Temporal deontic relevant logic as the logical basis for decision making based on anticipatory reasoning. In: Proc. 2006 IEEE International Conference on Systems, Man and Cybernetics, vol. 2, pp. 1036–1041. IEEE (2006)
Cheng, J.: Adaptive decision making by reasoning based on relevant logics. In: Proc. Computational Intelligent: Foundations and Applications, 9th International FLINS Conference, pp. 541–546. World Scientific (2010)
Cheng, J., Nara, S., Goto, Y.: FreeEnCal: A forward reasoning engine with general-purpose. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 444–452. Springer, Heidelberg (2007)
Daintith, J., Wright, E.: A dictionary of computing, 6th edn. Oxford University Press (2008)
Goto, Y., Kuboniwa, R., Cheng, J.: Development and maintenance environment for anticipatory reasoning-reacting systems. International Journal of Computing Anticipatory Systems 24, 61–72 (2011)
Harel, D., Pnueli, A.: On the development of reactive systems. Logics and Models of Concurrent Systems, 477–498 (1985)
Kim, J.H., Moon, B.R.: Adaptive elevator group control with cameras. IEEE Transactions on Industrial Electronics 48(2), 377–382 (2001)
Kitajima, N., Goto, Y., Cheng, J.: Development of a decision-maker in an anticipatory reasoning-reacting system for terminal radar control. In: Corchado, E., Wu, X., Oja, E., Herrero, Á., Baruque, B. (eds.) HAIS 2009. LNCS, vol. 5572, pp. 68–76. Springer, Heidelberg (2009)
Lazarevic, A., Kumar, V., Srivastava, J.: Intrusion detection: A survey. Managing Cyber Threats, 19–78 (2005)
Leveson, N.G.: Safeware: system safety and computers. Addison-Wesley (1995)
Luh, P.B., Xiong, B., Chang, S.C.: Group elevator scheduling with advance information for normal and emergency modes. IEEE Transactions on Automation Science and Engineering 5(2), 245–258 (2008)
Morris, B., Jackman, L.A.: An examination of fire spread in multi-storey buildings via glazed curtain wall facades. Structural Engineer 81(9), 22–26 (2003)
Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 179–190. ACM (1989)
Proulx, G.: Evacuation by elevators: who goes first? In: Proc. Workshop on Use of Elevators in Fires and Other Emergencies, pp. 1–13. NRC Institute for Research in Construction, National Research Council Canada (2004)
Quintiere, J.G.: Fire growth: an overview. Fire Technology 33(1), 7–31 (1997)
Rosen, R., Kineman, J.J., Rosen, J., Nadin, M.: Anticipatory systems: philosophical, mathematical, and Methodological Foundations, 2nd edn. Springer (2012)
Schönefeld, J., Möller, D.P.F.: Runway incursion prevention systems: A review of runway incursion avoidance and alerting system approaches. Progress in Aerospace Sciences 51, 31–49 (2012)
Shang, F., Nara, S., Omi, T., Goto, Y., Cheng, J.: A prototype implementation of an anticipatory reasoning-reacting system. In: Proc. Computing Anticipatory Systems: CASYS - 7th International Conference, AIP Conference Proceedings, vol. 839, pp. 401–414. AIP (2006)
Shi, K., Goto, Y., Zhu, Z., Cheng, J.: Anticipatory emergency elevator evacuation systems. In: Selamat, A., Nguyen, N.T., Haron, H. (eds.) ACIIDS 2013, Part I. LNCS, vol. 7802, pp. 117–126. Springer, Heidelberg (2013)
Shi, K., Goto, Y., Zhu, Z., Cheng, J.: An anticipatory reasoning-reacting system for defending against malice anticipatorily (submitted for publication, 2013)
Shi, K., Goto, Y., Zhu, Z., Cheng, J.: Anticipatory runway incursion prevention systems (submitted for publication, 2013)
Wieringa, R.: Design methods for reactive systems: Yourdon, statemate, and the UML. Morgan Kaufmann (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Shi, K., Goto, Y., Zhu, Z., Cheng, J. (2013). Making Existing Reactive Systems Anticipatory. In: Lee, R. (eds) Computer and Information Science. Studies in Computational Intelligence, vol 493. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00804-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-00804-2_2
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00803-5
Online ISBN: 978-3-319-00804-2
eBook Packages: EngineeringEngineering (R0)