{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:22:47Z","timestamp":1760242967371,"version":"build-2065373602"},"reference-count":64,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T00:00:00Z","timestamp":1425427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>The limited efficiency of current air traffic systems will require a  next-generation of Smart Air Traffic System (SATS) that relies on current technological advances. This challenge means a transition toward a new navigation and air-traffic procedures paradigm, where pilots and air traffic controllers perform and coordinate their activities according to new roles and technological supports. The design of new  Human-Computer Interactions (HCI) for performing these activities is a key element of SATS. However efforts for developing such tools need to be inspired on a parallel characterization of hypothetical air traffic scenarios compatible with current ones. This paper is focused on airborne HCI into SATS where cockpit inputs came from aircraft navigation systems, surrounding traffic situation, controllers\u2019 indications, etc. So the HCI is intended to enhance situation awareness and decision-making through pilot cockpit. This work approach considers SATS as a system distributed on a large-scale with uncertainty in a dynamic environment. Therefore, a multi-agent systems based approach is well suited for modeling such an environment. We demonstrate that current methodologies for designing multi-agent systems are a useful tool to characterize HCI. We specifically illustrate how the selected methodological approach provides enough guidelines to obtain a cockpit HCI design that complies with future SATS specifications.<\/jats:p>","DOI":"10.3390\/s150305228","type":"journal-article","created":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T10:19:49Z","timestamp":1425464389000},"page":"5228-5250","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Human Computer Interactions in Next-Generation of  Aircraft Smart Navigation Management Systems: Task  Analysis and Architecture under an Agent-Oriented Methodological Approach"],"prefix":"10.3390","volume":"15","author":[{"given":"Jos\u00e9","family":"Canino-Rodr\u00edguez","sequence":"first","affiliation":[{"name":"Signals and Communications Department, University of Las Palmas de Gran Canaria,  Las Palmas de Gran Canaria 35001, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Garc\u00eda-Herrero","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Carlos III, Madrid 28903, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Besada-Portas","sequence":"additional","affiliation":[{"name":"Signal, Systems and Radio-communications Department, Polytechnic University of Madrid,  Madrid 28040, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ravelo-Garc\u00eda","sequence":"additional","affiliation":[{"name":"Signals and Communications Department, University of Las Palmas de Gran Canaria,  Las Palmas de Gran Canaria 35001, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4621-2768","authenticated-orcid":false,"given":"Carlos","family":"Travieso-Gonz\u00e1lez","sequence":"additional","affiliation":[{"name":"Signals and Communications Department, University of Las Palmas de Gran Canaria,  Las Palmas de Gran Canaria 35001, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7866-585X","authenticated-orcid":false,"given":"Jes\u00fas","family":"Alonso-Hern\u00e1ndez","sequence":"additional","affiliation":[{"name":"Signals and Communications Department, University of Las Palmas de Gran Canaria,  Las Palmas de Gran Canaria 35001, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2015,3,4]]},"reference":[{"key":"ref_1","unstructured":"Nolan, M. (2010). Fundamentals of Air Traffic Control, Cengage Learning. [5th ed.]."},{"key":"ref_2","unstructured":"Boeing, C.A. (2014). Global Market Forecast 2014\u20132034, Market Analysis."},{"key":"ref_3","unstructured":"FAA FAA Aerospace Forecast 2013\u20132032, Available online: http:\/\/www.aia-aerospace.org\/assets\/FAA_2013_to_2033_Aerospace_Forecast.pdf."},{"key":"ref_4","unstructured":"ICAO Global Air Navigation Plan for CNS\/ATM Systems (Doc 9750 AN\/963). Available online: http:\/\/www.icao.int\/publications\/Documents\/9750_2ed_en.pdf."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Ashford, N.J., Mumayiz, S., and Wright, P.H. (2011). Airport Engineering: Planning, Design, and Development of 21st Century Airports, John Wiley & Sons. [4th ed.].","DOI":"10.1002\/9780470950074"},{"key":"ref_6","unstructured":"Teutsch, J., and Hoffman, E. (2004, January 24\u201328). Aircraft in the Future ATM System-Exploiting the 4D Aircraft Trajectory. Proceedings of the Digital Avionics Systems Conference, Salt Lake City, UT, USA."},{"key":"ref_7","unstructured":"Available online: http:\/\/www.dtic.mil\/dtic\/tr\/fulltext\/u2\/a535795.pdf."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1017\/S0373463307004596","article-title":"SESAR and NextGen: Investing in new paradigms","volume":"61","author":"Brooker","year":"2008","journal-title":"J. Navig."},{"key":"ref_9","unstructured":"Undertaking S. J. Available on line: https:\/\/www.google.es\/#q=Undertaking.+European+ATM +Master+Plan."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Green, S.M., Milimoria, K.D., and Ballin, M.G. (2000, January 14\u201317). Distributed Air\/Ground Traffic Management for En-Route Flight Operations. Proceedings of the Air Traffic Control Quarterly, Denver, CO, USA.","DOI":"10.2514\/6.2000-4064"},{"key":"ref_11","unstructured":"Lee, P., Mercer, J., Martin, L., Prevot, T., Shelden, S., Verma, S., and Palmer, E. (2003). Free Maneuvering, Trajectory Negotiation, and Self-Spacing Concepts in Distributed Air-Ground Traffic Management, USA\/Europe Air Traffic Management R&D Seminar."},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"4514","DOI":"10.3233\/WOR-2012-0030-4514","article-title":"Complexity analysis of the Next Gen Air Traffic Management System: Trajectory based operations","volume":"41","author":"Lyons","year":"2012","journal-title":"Work"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s10845-009-0278-6","article-title":"Human centered design in the air traffic control system","volume":"22","author":"Landry","year":"2011","journal-title":"J. Intell. Manuf."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MAES.2010.5546289","article-title":"Role of Avionics in Trajectory-Based Operations","volume":"25","author":"Jackson","year":"2010","journal-title":"IEEE A&E Syst. Mag."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/10447318.2012.634756","article-title":"Toward Automated Air Traffic Control\u2014Investigating a Fundamental Paradigm Shift in Human\/Systems Interaction","volume":"28","author":"Prevot","year":"2012","journal-title":"Int. J. Hum. Comput. Interact."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"1550","DOI":"10.1109\/TITS.2014.2299971","article-title":"Formal Intent-Based Trajectory Description Languages","volume":"15","author":"Frontera","year":"2014","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"232","DOI":"10.2514\/2.4056","article-title":"Trajectory synthesis for air traffic automation","volume":"20","author":"Slattery","year":"1997","journal-title":"J. Guid. Control Dyn."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2514\/1.46190","article-title":"Improved multi-aircraft ground trajectory prediction for air traffic control","volume":"33","author":"Lymperopoulos","year":"2010","journal-title":"J. Guid. Control Dyn."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"494","DOI":"10.3390\/a6030494","article-title":"An Algorithm for Managing Aircraft Movement on an Airport Surface","volume":"6","author":"Tancredi","year":"2013","journal-title":"Algorithms"},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/6979.898217","article-title":"A review of conflict detection and resolution modeling methods","volume":"1","author":"Kuchar","year":"2000","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/6979.994791","article-title":"Conflict resolution problems for air traffic management systems solved with mixed integer programming","volume":"3","author":"Pallottino","year":"2002","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"601","DOI":"10.2514\/1.46204","article-title":"Synthetic-waypoint guidance algorithm for following a desired flight trajectory","volume":"33","author":"Medagoda","year":"2010","journal-title":"J. Guid. Control Dyn."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"4122","DOI":"10.3390\/s130404122","article-title":"Multi-sensor fusion with interacting multiple model filter for improved aircraft position accuracy","volume":"13","author":"Cho","year":"2013","journal-title":"Sensors"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"2609","DOI":"10.3390\/s100402609","article-title":"Vertical guidance performance analysis of the L1-L5 dual-frequency GPS\/WAAS user avionics sensor","volume":"10","author":"Jan","year":"2010","journal-title":"Sensors"},{"key":"ref_25","unstructured":"Carroll, J.M. (2010). HCI Models, Theories, and Frameworks: Toward a Multidisciplinary Science, Morgan Kaufmann Publishers."},{"key":"ref_26","unstructured":"Soegaard, M., and Dam, R.F. Activity Theory. Available on line: https:\/\/www.interaction-design.org\/encyclopedia\/activity_theory.html."},{"key":"ref_27","unstructured":"Sorensen, J.A. (2002). Detailed Description for CE-11,Terminal Arrival: Self Spacing for Merging and In-trail Separation, NASA Ames Research Center and NASA and Langley Research Center. Contractor Report NAS2\u201398005 RTO-412000."},{"key":"ref_28","unstructured":"Prevot, T., Homola, J., Mercer, J., Mainini, M., and Cabrall, C. (July, January 29). Initial Evaluation of NextGen Air\/Ground Operations with Ground-Based Automated Separation Assurance. Proceedings of the 8th USA\/Europe Air Traffic Management Research and Development Seminar, Napa, CA, USA."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Ballin, M.G., Hoekstra, J.M., Wing, D.J., and Lohr, G. (2002, January 3). NASA Langley and NLR Research of Distributed Air\/Ground Traffic Management. Proceedings of the AIAA\u2019s Aircraft Technology, Integration, and Operations (ATIO) 2002 Technical Forum, Los Angeles, CA, USA.","DOI":"10.2514\/6.2002-5826"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/10447318.2012.634761","article-title":"Pilot performance in trajectory-based operations under concepts of operation that vary separation responsibility across pilots, air traffic controllers, and automation","volume":"28","author":"Vu","year":"2012","journal-title":"Int. J. Hum. Comput. Interact."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1016\/j.ssci.2003.12.002","article-title":"Airborne Separation Assurance Systems: Towards a work programme to prove safety","volume":"42","author":"Brooker","year":"2004","journal-title":"Saf. Sci."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1109\/TSMCA.2010.2093890","article-title":"Design of an airborne three-dimensional separation assistance display","volume":"41","author":"Ellerbroek","year":"2011","journal-title":"IEEE Trans. Man Cybern. Part A"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Suarez, B., Kirk, K., and Theunissen, E. (2012, January 19\u201321). Development, Integration and Testing of a Stand-Alone CDTI with Conflict Probing Support. Proceedings of the AIAA Infotech@ Aerospace Conference, Garden Grove, CA, USA.","DOI":"10.2514\/6.2012-2487"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Ramasamy, S., Sabatini, R., Gardi, A., and Liu, Y. (2013, January 19\u201322). Novel Flight Management System for Real-Time 4-Dimensional Trajectory Based Operations. Proceedings of the AIAA GNC 2013 Conference, London (USA), Boston, MA, USA.","DOI":"10.2514\/6.2013-4763"},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1017\/S0373463314000101","article-title":"A 4D ATM Trajectory Concept Integrating GNSS and FMS","volume":"67","author":"Brooker","year":"2014","journal-title":"J. Navig."},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Mueller, E., and Sandy, L. (2007, January 18\u201320). Experimental Evaluation of an Integrated Datalink and Automation-Based Strategic Trajectory Concept. Proceedings of the 7th American Institute of Aeronautics and Astronautics (AIAA) Aviation Technology, Belfast, Northern Ireland.","DOI":"10.2514\/6.2007-7777"},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Klooster, J., Torres, S., Earman, D., Castillo-Effen, M., Subbu, R., Kammer, L., and Tomlinson, T. (2010, January 3\u20137). Trajectory Synchronization and Negotiation in Trajectory Based Operations. Proceedings of the IEEE\/AIAA 29th Digital Avionics Systems Conference (DASC), Salt-Lake City, UT, USA.","DOI":"10.1109\/DASC.2010.5655536"},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"1067","DOI":"10.1109\/TITS.2013.2252343","article-title":"Automated Aircraft Trajectory Prediction Based on Formal Intent-Related Language Processing","volume":"14","author":"Besada","year":"2013","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1109\/TITS.2008.2006771","article-title":"Conflict resolution and traffic complexity of multiple intersecting flows of aircraft","volume":"9","author":"Treleaven","year":"2008","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1109\/TITS.2010.2093574","article-title":"Decoupled conflict-resolution procedures for decentralized air traffic control","volume":"12","author":"Devasia","year":"2011","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Prev\u00f4t, T., and Mercer, J. (2007, January 20\u201323). MACS: A Simulation Platform for Today\u2019s and Tomorrow\u2019s Air Traffic Operations. Proceedings of the AIAA Modeling and Simulation Technologies Conference and Exhibit, Hilton Head, S.C., USA.","DOI":"10.2514\/6.2007-6556"},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Quon, L. (2006, January 22). Modeling and Simulation Needs for Next Generation Air Transportation System Research. Proceedings of the AIAA Modeling and Simulation Technologies Conference and Exhibit, Keystone, CO, USA.","DOI":"10.2514\/6.2006-6109"},{"key":"ref_43","unstructured":"Graham, R., and Young, D. (2006). Preparing an Initial Assessment of the SESAR Concept of Operations \u201cEP3: Single European Sky Implementation Support through Validation\u201d, Eurocontrol Experimental Centre. Technical Report."},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1109\/TITS.2008.922877","article-title":"Atoms: Air traffic operations and management simulator","volume":"9","author":"Alam","year":"2008","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1109\/TITS.2010.2048313","article-title":"A review of the applications of agent technology in traffic and transportation systems","volume":"11","author":"Chen","year":"2010","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_46","first-page":"22","article-title":"Agent-Based Modeling and Simulation for the Design of the Future European Air Traffic Management System: The Experience of CASSIOPEIA. Highlights of Practical Applications of Heterogeneous Multi-Agent Systems","volume":"430","author":"Molina","year":"2014","journal-title":"PAAMS Collect. Commun. Comput. Inf. Sci."},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"J. Callantine, J., Homola, J., and Mercer, T. (2006, January 22). Prevot, Concept Investigation via Air-Ground Simulation with Embedded Agents. Proceedings of the AIAA Modeling and Simulation Technologies Conference and Exhibit, Keystone, CO, USA.","DOI":"10.2514\/6.2006-6120"},{"key":"ref_48","unstructured":"Feigh, K.M., Pritchett, A.R., Shah, A.P., Kalaver, S.A., Jadhav, A., Holl, D.M., and Gilgur, A.Z. (2005). Analyzing Air Traffic Management Systems Using Agent-Based Modeling and Simulation, Georgia Institute of Technology."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10458-010-9142-5","article-title":"A multi-agent approach to managing air traffic flow","volume":"24","author":"Agogino","year":"2012","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"10244","DOI":"10.3390\/s91210244","article-title":"A multi-agent system architecture for sensor networks","volume":"9","author":"Guijarro","year":"2009","journal-title":"Sensors"},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Carroll, J.M. (2000). Making Use: Scenario-Based Design of Human-Computer Interactions, MIT Press.","DOI":"10.1145\/347642.347652"},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Sturm, A. (2014). The Landscape of Agent-Oriented Methodologies. Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks, Springer.","DOI":"10.1007\/978-3-642-54432-3_7"},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.sysconle.2010.10.003","article-title":"A new framework of consensus protocol design for complex multi-agent systems","volume":"60","author":"Li","year":"2001","journal-title":"Syst. Control Lett."},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Gascuena, J.M., and Fern\u00e1ndez-Caballero, A. (2009). Prometheus and INGENIAS Agent Methodologies: A Complementary Approach, Springer. Agent-Oriented Software Engineering IX.","DOI":"10.1007\/978-3-642-01338-6_10"},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-540-25943-5_7","article-title":"A Framework for Evaluating Agent-Oriented Methodologies","volume":"3030","author":"Sturm","year":"2004","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Padgham, L., and Winikoff, M. (2004). Developing Intelligent Agent Systems: A Practical Guide, John Wiley & Sons.","DOI":"10.1002\/0470861223"},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Padgham, L., Thangarajah, J., and Winikoff, M. (2014). Prometheus Research Directions. Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks, Springer.","DOI":"10.1007\/978-3-642-54432-3_8"},{"key":"ref_58","unstructured":"Luigi, F., Caire, G., and Greenwood, D. (2007). Developing Multi-Agent Systems with JADE, Wiley. Wiley Series in Agent Technology, Hardcover."},{"key":"ref_59","unstructured":"Pokahr, A., Braubach, L., and Lamersdorf, W. (2005). Multi-agent Programing, Springer."},{"key":"ref_60","unstructured":"Winikoff, M. (2005). Multi-Agent Programming: Languages, Platforms and Applications, Springer."},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Collinson, R.P. (2011). Introduction to Avionics Systems, Springer.","DOI":"10.1007\/978-94-007-0708-5"},{"key":"ref_62","unstructured":"Shujun, L., and Kokar, M. (2013). Flexible Adaptation in Cognitive Radios, Springer."},{"key":"ref_63","unstructured":"Siebers, P.O., and Onggo, S. (2014, January 1\u20132). Graphical Representation of Agent-Based Models in Operational Research and Management Science Using UML. Proceedings of the 7th Operation Research Society Simulation Conference, Worcestershire, UK."},{"key":"ref_64","unstructured":"Foundation for Intelligent Physical Agents \u2013FIPA- Standard Status Specifications. Available online: http:\/\/www.fipa.org\/repository\/standardspecs.html."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/15\/3\/5228\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T20:43:07Z","timestamp":1760215387000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/15\/3\/5228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,4]]},"references-count":64,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,3]]}},"alternative-id":["s150305228"],"URL":"https:\/\/doi.org\/10.3390\/s150305228","relation":{},"ISSN":["1424-8220"],"issn-type":[{"type":"electronic","value":"1424-8220"}],"subject":[],"published":{"date-parts":[[2015,3,4]]}}}