Abstract
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critical systems where availability and reliability are crucial. For these systems, the ability to mitigate risk (e.g., failures, exceptional events) is very important. In this paper, we propose to incorporate risk concerns into the process of a multi-agent system design and describe the process of exploring and evaluating design alternatives based on risk-related metrics. We illustrate the proposed approach using an Air Traffic Management case study.
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
Truszkowski, W., et al.: Asteroid exploration with autonomic systems. In: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, May 2004, pp. 484–489 (2004)
Matsui, H., Izumi, K., Noda, I.: Soft-restriction approach for traffic management under disaster rescue situations. In: ATDM’06: 1st Workshop on Agent Technology for Disaster Management (2006)
Avizienis, A., et al.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Sec. Comput. 1(1), 11–33 (2004)
Ljungberg, M., Lucas, A.: The OASIS Air-Traffic Management System. In: PRICAI’92: In Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence (1992)
Truszkowski, W., et al.: Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Transactions on Systems, Man and Cybernetics, Part C 36(3), 279–291 (2006)
Bryl, V., et al.: Designing security requirements models through planning. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 33–47. Springer, Heidelberg (2006)
Bryl, V., Giorgini, P., Mylopoulos, J.: Designing cooperative IS: Exploring and evaluating alternatives. In: CoopIS’06, pp. 533–550 (2006)
Weld, D.S.: Recent Advances in AI Planning. AI Magazine 20(2), 93–123 (1999)
Peer, J.: Web Service Composition as AI Planning – a Survey. Technical report, University of St. Gallen (2005)
LPG Homepage: LPG-td Planner, http://zeus.ing.unibs.it/lpg/
Giorgini, P., et al.: Formal Reasoning Techniques for Goal Models. Journal of Data Semantics (October 2003)
Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20–33. Springer, Heidelberg (2004)
Fredriksen, R., et al.: The CORAS framework for a model-based risk management process. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 94–105. Springer, Heidelberg (2002)
DoD: Military Standard, Procedures for Performing a Failure Mode, Effects, and Critical Analysis (MIL-STD-1692A). U.S. Department of Defense (1980)
Vesely, W., et al.: Fault Tree Handbook. U.S Nuclear Regulatory Commission (1981)
USCG: Risk Based Decision Making Guidelines. (November 2005), http://www.uscg.mil/hq/g-m/risk/e-guidelines/RBDMGuide.htm
Feather, M.S.: Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and its System Interface. In: 15th IEEE International Symposium on Software Reliability Engineering, November 2004, pp. 391–402. IEEE Computer Society, Los Alamitos (2004)
Ghallab, M., et al.: PDDL – The Planning Domain Definition Language. In: Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (1998)
Edelkamp, S., Hoffmann, J.: PDDL2.2: The language for the classical part of the 4th international planning competition. Technical Report 195, University of Freiburg (2004)
IPC-4 Homepage: International Planning Competition (2004), http://ls5-www.cs.uni-dortmund.de/~edelkamp/ipc-4/
Anderson, J.S., Fickas, S.: A proposed perspective shift: viewing specification design as a planning problem. In: IWSSD ’89: 5th Int. workshop on Software specification and design, pp. 177–184 (1989)
Castillo, L., Fdez-Olivares, J., Gonzalez, A.: Integrating hierarchical and conditional planning techniques into a software design process for automated manufacturing. In: ICAPS 2003, Workshop on Planning under Uncertainty and Incomplete Information, pp. 28–39 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asnar, Y., Bryl, V., Giorgini, P. (2007). Using Risk Analysis to Evaluate Design Alternatives. In: Padgham, L., Zambonelli, F. (eds) Agent-Oriented Software Engineering VII. AOSE 2006. Lecture Notes in Computer Science, vol 4405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70945-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-70945-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70944-2
Online ISBN: 978-3-540-70945-9
eBook Packages: Computer ScienceComputer Science (R0)