4,202 Hits in 4.5 sec

A Method for SWIM-Compliant Human-in-the-Loop Simulation of Airport Air Traffic Management

Thomas Gräupl, Martin Mayr, Carl-Herbert Rokitansky
2016 International Journal of Aerospace Engineering  
System Wide Information Management(SWIM), as envisioned by theSingle European Sky Air Traffic Management Research(SESAR) program, is the application of service oriented architectures to the air traffic  ...  The shift from legacy communication patterns to SWIM is fundamental for the expected evolution of air traffic management in the next decades.  ...  They also thank Elias Pschernig for the implementation of the X-Plane 10 plugin. They thank M. Schnell from DLR (German Aerospace Center) and K.  ... 
doi:10.1155/2016/6806198 fatcat:7qw3yib32fewfg2btbkyld3hy4

Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture) [chapter]

César A. Muñoz
2015 Lecture Notes in Computer Science  
The talk also discusses technical challenges in formal methods research in the context of the development and safety analysis of advanced air traffic management concepts.  ...  in avoiding and remaining well clear of traffic aircraft.  ...  Finally, air traffic management systems are unique in some aspects.  ... 
doi:10.1007/978-3-319-25150-9_4 fatcat:ceefctpicrbo3bzpq7ifoiq5ze

An approach for knowledge-based IT management of air traffic control systems

Fabian Meyer, Reinhold Kroeger, Ralf Heidger, Morris Milekovic
2013 Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013)  
In this paper, an approach for runtime analysis and automated knowledge-based IT management is presented and applied to the example of an Air Traffic Control (ATC) system.  ...  Thereby, the configuration of the whole analysis process is derived from one homogeneous knowledge source, a formal ontology model, which contains the system topology, the events that occur in the system  ...  Hence, in this section the application of the approach on a specific use case of the Air Traffic Management system PHOENIX (see [10] ) of Deutsche Flugsicherung GmbH is presented: The monitoring of the  ... 
doi:10.1109/cnsm.2013.6727856 dblp:conf/cnsm/MeyerKHM13 fatcat:azemzhcznbgvfcza6tzctdriga

SOA-Based Aeronautical Service Integration [chapter]

Yifang Liu, Yongqiang Cheng, Yim Fun, Prashant Pillai, Vincenzo Esposito
2011 Future Aeronautical Communications  
In recent years, the SESAR SWIM (Single European Sky Air Traffic Management Research System Wide Information Management) concept has reflected the emerging needs and willingness of Air Traffic Management  ...  a complete and coherent set of communication services for future global Air Traffic Management in the 2020 timeframe.  ...  Aeronautical communications is seen as a major bottleneck stressing capacity limits in air transportation.  ... 
doi:10.5772/29307 fatcat:5njzziktefgirllzdj35h4nxpi

Modeling Design Patterns with Description Logics: A Case Study [chapter]

Yudistira Asnar, Elda Paja, John Mylopoulos
2011 Lecture Notes in Computer Science  
The paper presents the formalization of all concepts in SI* and the modeling of problems using OWL-DL and SWRL. We then encode patterns as SPARQL and SQWRL queries.  ...  In this work, we propose to formalize such patterns in a formal modeling language, thereby automating pattern matching for a given problem.  ...  A SI* Diagram from a fragment of the Air Traffic Management scenario A SI* model captures relationships between concepts using several basic relations: 1) AND/OR-decomposition to refine a goal, 2) contribution  ... 
doi:10.1007/978-3-642-21640-4_14 fatcat:b2zkigk2pfdcbgqkdbx4jd4ede

Resilient Critical Infrastructure Management Using Service Oriented Architecture

Martin Hall-May, Mike Surridge
2010 2010 International Conference on Complex, Intelligent and Software Intensive Systems  
movement forecasts to the wider European air traffic management systems.  ...  Failure or underperformance of any of the interlinked ICT systems may compromise the ability of airports to plan their use of resources to sustain high levels of air traffic, or to provide accurate aircraft  ...  movement forecasts to the wider European air traffic management systems.  ... 
doi:10.1109/cisis.2010.103 dblp:conf/cisis/Hall-MayS10 fatcat:dgpmhiroz5etvi6nft6p6y5cry

Towards Handling Latency in Interactive Software [chapter]

Sébastien Leriche, Stéphane Conversy, Celia Picard, Daniel Prun, Mathieu Magnaudet
2018 Lecture Notes in Computer Science  
For as much, latency is often taken into account only during the validation phase of the software by means of a value which constitutes an acceptable limit.  ...  The problem is striking for applications involving tactile interactions or augmented reality, where the shifts between interaction and representation can make the system unusable.  ...  Instead of redesigning the software, this may conduct to dimension the spacing limits between aircrafts [5] , with direct consequences on the capacities of air traffic management.  ... 
doi:10.1007/978-3-030-04771-9_18 fatcat:m3yxj5qkyvabbp3ogimdjjh5xi

Dynamic policy enforcement in JBI information management services with the KAoS Policy and Domain Services

Justin Donnelly, Jacob Madden, Alden Roberts, Matthew Greenberg, Jeffrey Bradshaw, Andrzej Uszok, Raja Suresh
2007 Defense Transformation and Net-Centric Systems 2007  
As a result, a single set of tools for the definition, analysis, control, and monitoring of policy can be used to implement access control, service configuration, and service delivery prioritization.  ...  In this paper, we describe the application of one such Dynamic Policy Enforcement system, KAoS, to the control of distributed, information-management services defined by the Air Force Research Laboratory's  ...  ACKNOWLEDGEMENTS The authors wish to acknowledge the support of the Air Force Research Laboratory, especially James Hanna, Chriss Vincelette, and Vaughn Combs who provided oversight and design contributions  ... 
doi:10.1117/12.720702 fatcat:7a7ldnasxrbm5jevekql6w63ka

Semantics-based summarisation of ATM information

C. G. Schuetz, B. Neumayr, M. Schrefl, E. Gringinger, S. Wilson
2019 Aeronautical Journal  
To this end, we adopt the concept of semantic data containera package of data items with a semantic description of the contents.  ...  Rather than unfocused swathes of air traffic management (ATM) information, pilots require only the information for their specific flight, preferably with an emphasis on the most important information.  ...  The views expressed in this paper are those of the authors.  ... 
doi:10.1017/aer.2019.74 fatcat:xfcymt5kwvgctk4pt3wkasi7mm

Semantic agent-based controls for Service Oriented Architecture (SOA) enabled Intelligent Transportation Systems (ITS)

Shoaib Kamran, Olivier C L Haas
2011 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC)  
Challenges The development of PTS Proof of Concept application was a challenging task.  ...  network and air traffic network.  ...  It is supported on all major platforms and provides variety of tools for managing and implementing database.  ... 
doi:10.1109/itsc.2011.6083112 dblp:conf/itsc/KamranH11 fatcat:5mulhguh3jcbhjlxucwderdfou

Software Validation via Model Animation [chapter]

Aaron M. Dutle, César A. Muñoz, Anthony J. Narkawicz, Ricky W. Butler
2015 Lecture Notes in Computer Science  
The approach is illustrated on a prototype air traffic management system that computes simple kinematic trajectories for aircraft.  ...  Proofs for the mathematical models of the system's algorithms are carried out in the Prototype Verification System (PVS).  ...  The proposed approach is illustrated on an air traffic management system currently used at NASA for conducting research on advanced air traffic management concepts.  ... 
doi:10.1007/978-3-319-21215-9_6 fatcat:qfkb3q5q6vfsvmtd66p5ug3z74

ROSA: Resource-Oriented Service Management Schemes for Web of Things in a Smart Home

Chun-Feng Liao, Peng-Yu Chen
2017 Sensors  
Consequently, the objective of this paper is to propose a set of novel WoT-driven plug-and-play service management schemes for a smart home called Resource-Oriented Service Administration (ROSA).  ...  A Pervasive-computing-enriched smart home environment, which contains many embedded and tiny intelligent devices and sensors coordinated by service management mechanisms, is capable of anticipating intentions  ...  Application Prototype We verify the feasibility of ROSA by realizing a proof-of-concept prototype air conditioning service in a smart home illustrated in Figure 2 .  ... 
doi:10.3390/s17102159 pmid:28934159 pmcid:PMC5677407 fatcat:g2kf2bzmxzaqhhaiaryvepv7ha

Threats Management Throughout the Software Service Life-Cycle

Erlend Andreas Gjære, Per Håkon Meland
2014 Electronic Proceedings in Theoretical Computer Science  
To demonstrate our approach in practice, we have developed a proof-of-concept service for the Air Traffic Management (ATM) domain.  ...  Re-use of these threats extends further into monitoring alerts being distributed through a cloud-based messaging service.  ...  to enabling our proof-of-concept implementation.  ... 
doi:10.4204/eptcs.148.1 fatcat:zpyz2b5ft5fpxgirnwuhm5gk5m

Think Cities: the accelerator for sustainable planning

Gwenaelle Carfantan, Florian Daniel, Laurent d'Orazio, Trung-Dung Le, Xavier Marin, Olivier Peau, Herve Rannou
2020 2020 IEEE 36th International Conference on Data Engineering Workshops (ICDEW)  
A proof of concept (URBAN THINK®) has been developed in SaaS mode in partnership with Rennes Métropole.  ...  The Think-Cities® project aims to develop a digital tool for smart city to evaluate urban projects.  ...  PRELIMINARIES A. Smart cities "The smart city is a new concept of urban development.  ... 
doi:10.1109/icdew49219.2020.000-6 dblp:conf/icde/CarfantanDdLMPR20 fatcat:dkddm2aidrc6jirbji5eh5ah6i

Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain [chapter]

Massimo Felici
2006 Lecture Notes in Computer Science  
In order realistically and cost-effectively to realize the ATM (Air Traffic Management) 2000+ Strategy, systems from different suppliers will be interconnected to form a complete functional and operational  ...  This paper is concerned with evolutionary aspects in judging safety for ATM systems. The main objective is to highlight a model specifically targeted to support evolutionary safety analysis.  ...  I would like to thank George Cleland and Luke Emmet of Adelard - -for their help and comments on the Assurance and Safety Case Environment, ASCE TM .  ... 
doi:10.1007/11751113_7 fatcat:2avszir44razvbpb66kwxfc2ka
« Previous Showing results 1 — 15 out of 4,202 results