Construction and Verification of Performance and Reliability Models

Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse stochastic models

Standard For Distributed Interactive Simulation, Exercise Management And Feedback: Draft

Report on standard which establishes the exercise management and feedback requirements for participation in a distributed interactive simulation

A Review of Platforms for the Development of Agent Systems

Agent-based computing is an active field of research with the goal of building autonomous software of hardware entities. This task is often facilitated by the use of dedicated, specialized frameworks. For almost thirty years, many such agent platforms have been developed. Meanwhile, some of them have been abandoned, others continue their development and new platforms are released. This paper presents a up-to-date review of the existing agent platforms and also a historical perspective of this domain. It aims to serve as a reference point for people interested in developing agent systems. This work details the main characteristics of the included agent platforms, together with links to specific projects where they have been used. It distinguishes between the active platforms and those no longer under development or with unclear status. It also classifies the agent platforms as general purpose ones, free or commercial, and specialized ones, which can be used for particular types of applications.Comment: 40 pages, 2 figures, 9 tables, 83 reference

Augmented Human Engineering: A Theoretical and Experimental Approach to Human Systems Integration

International audienceno abstrac

Digitalization and Spatial Documentation of Post-Earthquake Temporary Housing in Central Italy: An Integrated Geomatic Approach Involving UAV and a GIS-Based System

Geoinformation and aerial data collection are essential during post-earthquake emergency response. This research focuses on the long-lasting spatial impacts of temporary solutions, which have persisted in regions of Central Italy affected by catastrophic seismic events over the past 25 years, significantly and permanently altering their landscapes. The paper analyses the role of geomatic and photogrammetric tools in documenting the emergency process and projects in post-disaster phases. An Atlas of Temporary Architectures is proposed, which defines a common semantic and geometric codification for mapping temporary housing from territorial to urban and building scales. The paper presents an implementation of attribute specification in existing official cartographic data, including geometric entities in a 3D GIS data model platform for documenting and digitalising these provisional contexts. To achieve this platform, UAV point clouds are integrated with non-metric data to ensure a complete description in a multiscalar approach. Accurate topographic modifications can be captured by extracting very high-resolution orthophotos and elevation models (DSM and DTM). The results have been validated in Visso (Macerata), a small historical mountain village in Central Italy which was heavily damaged by the seismic events of 2016/2017. The integrated approach overcomes the existing gaps and emphasizes the importance of managing heterogeneous geospatial emergency data for classification purposes. It also highlights the need to enhance an interoperable knowledge base method for post-disaster temporary responses. By combining geomatic tools with architectural studies, these visualization techniques can support national and local organizations responsible for post-earthquake management through a 3D modelling method to aid future transformations or interventions following other natural disasters

Training of Crisis Mappers and Map Production from Multi-sensor Data: Vernazza Case Study (Cinque Terre National Park, Italy)

This aim of paper is to presents the development of a multidisciplinary project carried out by the cooperation between Politecnico di Torino and ITHACA (Information Technology for Humanitarian Assistance, Cooperation and Action). The goal of the project was the training in geospatial data acquiring and processing for students attending Architecture and Engineering Courses, in order to start up a team of "volunteer mappers". Indeed, the project is aimed to document the environmental and built heritage subject to disaster; the purpose is to improve the capabilities of the actors involved in the activities connected in geospatial data collection, integration and sharing. The proposed area for testing the training activities is the Cinque Terre National Park, registered in the World Heritage List since 1997. The area was affected by flood on the 25th of October 2011. According to other international experiences, the group is expected to be active after emergencies in order to upgrade maps, using data acquired by typical geomatic methods and techniques such as terrestrial and aerial Lidar, close-range and aerial photogrammetry, topographic and GNSS instruments etc.; or by non conventional systems and instruments such us UAV, mobile mapping etc. The ultimate goal is to implement a WebGIS platform to share all the data collected with local authorities and the Civil Protectio

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India