Abstract

This paper presents a model for expressing control system failures and attacks on control protocols that involve the exchange of messages. Control failures and attacks are modeled using the notion of an attacker who can block and/or fabricate messages. These two attack mechanisms can cover a variety of scenarios ranging from control failures in the Waterloo Campaign to cyber attacks on oil pipelines. The model helps provide a comprehensive understanding of control system failures and attacks, which supports the development of strategies for attack as well as defense. Document type: Part of book or chapter of book

Abstract

This paper identifies and discusses a set of criteria relevant to assess the impact of using different media in the design of user interfaces for safety-critical systems. An evaluation of different options concerning the allocation of such media during the design of an application in the Air Traffic Control domain is shown to illustrate and clarify our approach. Particular attention is paid on how different choices in allocating tasks among air traffic controllers affect usability and safety of operators' interactions. Document type: Part of book or chapter of book

Abstract

Part 3: - WCNS 2011 Workshop; International audience; Collaborative Intrusion Detection Networks (CIDN) are usually composed by a set of nodes working together to detect distributed intrusions that cannot be easily recognized with traditional intrusion detection architectures. In this approach every node could potentially collaborate to provide its vision of the system and report the alarms being detected at the network, service and/or application levels. This approach includes considering mobile nodes that will be entering and leaving the network in an ad hoc manner. However, for this alert information to be useful in the context of CIDN networks, certain trust and reputation mechanisms determining the credibility of a particular mobile node, and the alerts it provides, are needed. This is the main objective of this paper, where an inter-domain trust and reputation model, together with an architecture for inter-domain collaboration, are presented with the main aim of improving the detection accuracy in CIDN systems while users move from one security domain to another. Document type: Part of book or chapter of book

Abstract

Peer-to-Peer (P2P) is nowadays a widely used paradigm underpinning the deployment of several Internet services and applications. However, the management of P2P traffic aggregates is not an easy task for Internet Service Providers (ISPs). In this perspective, and considering an expectable proliferation in the use of such ap- plications, future networks require the development of smart mechanisms fostering an easier coexistence between P2P applications and ISP infrastructures. This paper aims to contribute for such research efforts presenting a framework incorporating useful mechanisms to be activated by network administrators, being also able to operate as an automated management tool dealing with P2P traffic aggregates. This work has been partially supported by FCT - Fundacao para a Ciencia e Tecnologia Portugal in the scope of the project: UID/CEC/00319/2013. Document type: Part of book or chapter of book

Abstract

Accident detection systems help reduce fatalities stemming from car accidents by decreasing the response time of emergency responders. Smartphones and their onboard sensors (such as GPS receivers and accelerometers) are promising platforms for constructing such systems. This paper provides three contributions to the study of using smartphone-based accident detection systems. First, we describe solutions to key issues associated with detecting traffic accidents, such as preventing false positives by utilizing mobile context information and polling onboard sensors to detect large accelerations. Second, we present the architecture of our prototype smartphone-based accident detection system and empirically analyze its ability to resist false positives as well as its capabilities for accident reconstruction. Third, we discuss how smartphone-based accident detection can reduce overall traffic congestion and increase the preparedness of emergency responders. Document type: Part of book or chapter of book

Abstract

The following paper presents a review of the ethical, privacy and trust aspects relating to pervasive gaming in particular within the domain of traffic congestion. The paper deals explicitly with the challenges involved that fall between the gaps standard ethical practice and scientific research when studies comprise of those in the lab (where collection and use is heavily controlled) and those which take place in the wild where there is the requirement to share data possibly with external parties. Also where the nature of such work is at the borders of the concept of traditional study and a commercial running prototype. Document type: Part of book or chapter of book

Abstract

With a marked increase in advanced driver assistance systems (ADAS) being designed and deployed for cars, there is a logical emergence of studies that critically examine the influence these have on driver behavior and attitudes towards risk and safety. The research question addressed within this paper asks to what extent the level of perceived criticality or risk on the part of drivers influences their acceptance of advanced assistance. Document type: Part of book or chapter of book

Abstract

One of the most notable concepts related to the future cooperative Air Traffic Management (ATM) is the Collaborative Decision Making (CDM). This new management philosophy of using collaborative technologies and procedures to enable ATM partners drives efforts towards the common goals of sharing and exchanging information. To support the implementation of CDM, a likely solution was found in the context of System of Systems (SoS), system integration, and interoperability. Service-Oriented Architecture (SOA) principles and technologies were recognized as one of the best alternatives to allow this implementation. Within this architecture, the System Wide Information Management (SWIM) has been developed on the last decade, and SWIM applications will be accessible to all ATM partners on the next decade by providing full airspace information, updated in real-time by all involved partners. This chapter presents an overview of key elements in information sharing for ATM and explains how SOA, SWIM, Aeronautical Information Management (AIM) and CDM support each other development. Document type: Part of book or chapter of book

Abstract

The purpose of this tutorial presentation is to introduce G-Networks, or Gelenbe Networks, which are product form queueing networks which include normal or positive customers, as well as negative customers which destroy other customers, and triggers which displace other customers from one queue to another. We derive the balance equations for these models in the context of multiple customer classes, show the product form results, and exhibit the traffic equations which - in this case, contrary to BCMP and Jackson networks - are non-linear. This leads to interesting issues of existence and uniqueness of the steady-state solution. Gelenbe Network can be used to model large scale computer systems and networks in which signaling functions represented by negative customers and triggers are used to achieve flow and congestion control. Document type: Part of book or chapter of book

Abstract

The CFMU has developed mission critical applications for Europewide flight plan processing and air traffic management activities using Ada83. This paper presents the techniques and tools used for the migration from an Ada83 to an Ada95 compiler and run-time. It puts a particular emphasis on both the software management aspects and the technical aspects e.g. language aspects, run-time evolution, how to cater for incompatibilities between Ada83 and Ada95, elaboration order, etc... Document type: Part of book or chapter of book