Position manipulation attacks to balise-based train automatic stop control

Singapore National Research Foundatio

Certifications of Critical Systems – The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases

Certifications of Critical Systems – The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases

Multimodal, intermodal and terminals

The chapter looks at rail freight terminals, rail--sea interfaces, in particular, as part of a multimodal, or integrated transportation network. Terminals are key infrastructure for linking individual transport modes and governing and managing their interchange in a manner that creates a seamless and sustainable transportation system. Therefore, their performance is critical for maximising transport efficiency and modes integration. This chapter focused on how to measure the operational performance of rail freight terminals in a framework of integrated transportation network. In an increasingly competitive and commercialised world, there is an increasing demand to be able to rank transport options and routes in some way. Drawing on new material, this talk attempts to outline possible methods for how to measure the performance of rail terminals. It focuses on the identification of suitable methods to assess performance by key indicators. Intermodality demands for going beyond safeguarding the individual modes to ensuring the security of the intermodal inter-faces (terminals), the nodes that link and integrate passenger and freight flows. That demands for an integrated holistic approach built on the collaboration between international, national organisations and operators. The study put emphasis on the security challenges and threats to freight transport generally and in rail-sea interfaces more specifically. It moves onto the regulations already governing security in rail-sea interfaces. Finally, it focus on the role that infrastructure planning can play in improving security and offer some conclusions and recommendations for the futur

La représentation du métro dans le jeu vidéo d'horreur : désorientation, angoisse et terreur

Ce mémoire s‘intéresse à la spatialité du jeu vidéo et à l‘adaptation vidéoludique de lieux réels. Il se concentre sur un lieu précis, le métro, et sur sa représentation dans le genre de l‘horreur. Cette recherche comprend trois niveaux d‘adaptation du lieu et de création spatiale, soit l‘adaptation systémique, l‘adaptation sociohistorique et finalement l‘adaptation technologique. À partir d‘exemples de jeux comparés aux réalités concrètes du métro, ces trois niveaux d‘adaptation sont analysés afin d‘explorer à la fois les impacts du lieu virtuel sur l‘expérience de jeu et les influences externes qui guident la conception vidéoludique.This master thesis studies video games‘ spatiality and the ludic adaptation of real locations. It focuses on one specific location, the subway, and on its representation in the horror genre. The research is structured by three levels of adaptation : systemic, sociohistorical and technological. Based on examples of games compared with the reality of the subway, those three levels of adaptation enable at once an exploration of the impact of the virtual location on the gaming experience and of the external influences on the game design

Increasing access to secondary prevention of cardiovascular disease

Background: Access to secondary prevention remains disconcertingly low despite proven benefits. The objectives of this thesis were: to evaluate telehealth models of secondary prevention; to determine barriers to participation in secondary prevention; to evaluate the long-term outcomes of a previously proven telehealth model, CHOICE (Choice of Health Options In prevention of Cardiovascular Events); to determine the replicability and generalisability of CHOICE; and to determine future directions for delivery of secondary prevention. Methods: Mixed methods were utilised to achieve the objectives of this thesis. To evaluate telehealth models, a systematic review and meta-analysis process was followed. To determine the barriers to participation in secondary prevention, a systematic review and meta-synthesis process was followed; to evaluate the long-term outcomes of CHOICE, patients who had participated in the original single centre trial had a repeat assessment at four-years after their baseline assessment; to determine the replicability and generalisability of CHOICE, a multi-centre replication trial involving 270 participants was conducted; and to determine future directions for delivery of SP, both quantitative and qualitative methods, including survey and focus groups, were undertaken. Results: Telehealth based models of secondary prevention can improve access, reduce risk factors and improve quality of life in patients who do not participate in facility-based secondary prevention programs. While there are a number of barriers to participation in facility-based secondary prevention, some of which are potentially modifiable, it was clear from our review that a one-size fits all approach will not be suitable and telehealth models can provide additional options for access to secondary prevention. Results of the long-term follow-up of the single centre trial demonstrated that at four years participants in CHOICE had maintained the significant improvements that they had made at one year. In the current replication study results showed that participants were at lower baseline risk than in the previous single-centre study, but still made improvements in multiple cardiovascular risk factors. Finally, we determined that an Internet-based model of secondary prevention would suit some, but not all, patients with cardiovascular disease and may provide an additional option for patients not accessing facility-based programs Conclusion: There are multiple barriers to the uptake of secondary prevention and telehealth models can offer an evidence-based alternative to patients who do not access facility-based programs. The CHOICE program is a flexible telehealth model that provides long-term behaviour change and is readily translated into multiple clinical settings. Future work could focus on utilising new technology to increase uptake to proven secondary prevention models such as CHOICE