Abstract
Situation Analysis is critical for dynamic decision-making in responding to real-world situations. The complex and intricate nature of situation analysis processes calls for evolutionary modeling and formal engineering methods that facilitate experimental validation of abstract mathematical descriptions to link the essential design aspects with rapid prototyping in early development phases. For the transition from abstract concepts and requirements to precise specifications to high level design of situation analysis systems, we derive here a generic ASM ground model as a framework for defining the precise meaning of fundamental situation analysis concepts applicable to different application domain models.
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.
References
Bossé, É., Roy, J., Wark, S.: Concepts, Models, and Tools for Information Fusion. Artech House Publishers (2007)
Endsley, M.R.: Theoretical Underpinnings of Situation Awareness: A Critical Review. In: Situation Awareness Analysis and Measurement, pp. 3–32 (2000)
Nemati, H.R., Steiger, D.M., Iyer, L.S., Herschel, R.T.: Knowledge Warehouse: An Architectural Integration of Knowledge Management, Decision Support, Artificial Intelligence & Data Warehousing. Decision Support Systems 33(2), 143–161 (2002)
Klashner, R., Sabet, S.: A DSS Design Model for Complex Problems: Lessons from Mission Critical Infrastructure. Decision Support Systems 43(3), 990–1013 (2007)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2007)
Börger, E.: Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems. Formal Aspects of Computing 19(2), 225–241 (2007)
Farahbod, R., Glässer, U., Bossé, É., Guitouni, A.: Integrating Abstract State Machines and Interpreted Systems for Situation Analysis Decision Support Design. In: 11th Int’l Conference on Information Fusion, pp. 1–8 (2008)
Baader, F., et al.: A Novel Architecture for Situation Awareness Systems. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol. 5607, pp. 77–92. Springer, Heidelberg (2009)
Chmielewski, M.: Ontology Applications for Achieving Situation Awareness in Military Decision Support Systems. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS, vol. 5796, pp. 528–539. Springer, Heidelberg (2009)
Jakobson, G., Lewis, L., Buford, J., Sherman, C.E.: Battlespace Situation Analysis: The Dynamic CBR Approach. In: Military Communications Conference, vol. 2, pp. 941–947 (2004)
Lambert, D.A.: A Blueprint for Higher-level Fusion Systems. Information Fusion 10(1), 6–24 (2009)
Jousselme, A.L., Maupin, P.: Interpreted Systems for Situation Analysis. In: 10th Int’l Conference on Information Fusion, pp. 1–11 (2007)
Farahbod, R., Avram, V., Glässer, U., Guitouni, A.: A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 211–226. Springer, Heidelberg (2011)
McDermid, J.: Science of Software Design: Architectures for Evolvable, Dependable Systems. In: NSF Workshop on the Science of Design: Software & Software-Intensive Systems (2003)
Smith, R.G., Davis, R.: Frameworks for Cooperation in Distributed Problem Solving. IEEE Transactions on Systems, Man and Cybernetics 11(1), 61–70 (1981)
Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley (2009)
Wooldridge, M., Jennings, N.: Formalizing the Cooperative Problem Solving Process. In: 13th Int’l Workshop on Distributed Artificial Intelligence, pp. 403–417 (1994)
Salmon, P.M., Stanton, N.A., Walker, G.H., Jenkins, D.P.: Distributed Situation Awareness: Theory, Measurement and Application to Teamwork. Ashgate Publishing (2009)
Roy, J.: Automated Reasoning for Maritime Anomaly Detection. In: Workshop on Data Fusion and Anomaly Detection for Maritime Situational Awareness (2009)
Yaghoubi Shahir, H., Glässer, U., Nalbandyan, N., Wehn, H.: Maritime Situation Analysis. In: 2013 IEEE Int’l Conference on Intelligence and Security Informatics, pp. 230–232 (2013)
Aikebaier, A., Enokido, T., Takizawa, M.: Trustworthiness among Peer Processes in Distributed Agreement Protocol. In: 24th Int’l Conference on Advanced Information Networking and Applications, pp. 565–572 (2010)
Yaghoubi Shahir, H., Glässer, U., Farahbod, R., Jackson, P., Wehn, H.: Generating Test-Cases for Marine Safety and Security Scenarios: A Composition Framework. Security Informatics 1(1), 1–21 (2012)
Glandrup, M.: Improving Situation Awareness in the Maritime Domain. In: van de Laar, P., Tretmans, J., Borth, M. (eds.) Situation Awareness with Systems of Systems, pp. 21–38 (2013)
Farahbod, R., Gervasi, V., Glässer, U.: Executable Formal Specifications of Complex Distributed Systems with CoreASM. Science of Computer Programming 79(1), 23–38 (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nalbandyan, N., Glässer, U., Shahir, H.Y., Wehn, H. (2014). Distributed Situation Analysis. In: Ait Ameur, Y., Schewe, KD. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2014. Lecture Notes in Computer Science, vol 8477. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43652-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-662-43652-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43651-6
Online ISBN: 978-3-662-43652-3
eBook Packages: Computer ScienceComputer Science (R0)