Massimo Felici
ABSTRACT
This paper reports about the empirical validation of a tool for decision support in the conext of Air Traffic Management (ATM). The empirical validation highlights how resilience emerges in complex socio-technical settings.
- A. Avizienis, J.-C. Laprie, B. Randell, and C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE TDSC, 1(1):11--33, 2004. Google Scholar
Digital Library
- V. Di Giacomo et al. Using security and dependability patterns for reaction processes. In Proceedings of the 19th International Conference on Database and Expert Systems Application, DEXA 2008, pages 315--319. IEEE Computer Society, 2008. Google ScholarDigital Library
- E. Hollnagel, C. P. Nemeth, and S. Dekker, editors. Resilience Engineering Perspectives: Remaining Sensitive to the Possibility of Failure, volume 1. Ashgate, 2008.Google Scholar
- E. Hollnagel, D. D. Woods, and N. Leveson, editors. Resilience Engineering: Concepts and Precepts. Ashgate, 2006.Google Scholar
- D. Maulsby, S. Greenberg, and R. Mander. Prototyping an Intelligent Agent through Wizard of Oz. In Proceedings of INTERCHI'93, pages 277--284. ACM, 1993. Google ScholarDigital Library
- A. Saidane. Serenity: A generic framework for dependability construction - a patterns oriented approach. In M. Butler, C. B. Jones, A. Romanovsky, and E. Troubitsyna, editors, Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance, number CS-TR-1032 in Technical Report Series, pages 111--117. School of Computing Science, University of Newcastle upon Tyne, 2007.Google Scholar
- SERENITY A5.D2.1 - Patterns and Integration Schemes Languages, 2006.Google Scholar
Recommendations
Bandwidth Management for Supporting Differentiated Service Aware Traffic Engineering
This paper presents a bandwidth management framework for the support of the differentiated service aware traffic engineering (DS-TE) in the multiprotocol label switching (MPLS) networks. Our bandwidth management framework contains both bandwidth ...
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems Invited Lecture
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing - ICTAC 2015 - Volume 9399As the technological and operational capabilities of unmanned aircraft systems UAS continue to grow, so too does the need to introduce these systems into civil airspace. Unmanned Aircraft Systems Integration in the National Airspace System is a NASA ...
Comments