2,645 research outputs found

    Formal verification of a space system's user Interface with the IVY workbench

    Get PDF
    This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safety-critical aerospace system. The operation manual of the system was used as a requirement document, and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information provided by each display, and how they are interrelated. Usability-related property specification patterns were then used to derive relevant properties for verification. This paper discusses both the modeling strategy and the analytical results found using the IVY workbench. The purpose of the reference model is to provide a standard against which future versions of the interface may be assessed.EPSRC - Engineering and Physical Sciences Research Council(EP/G059063/1)This work was partly funded by project ref. NORTE-07-0124-FEDER-000062, co-financed by the North Portugal Regional Operational Programme (ON.2 O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT)

    Interaction with a Virtual Coach for Active and Healthy Ageing

    Get PDF
    International audienceSince life expectancy has increased significantly over the past century, society is being forced to discover innovative ways to support active aging and elderly care. The e-VITA project, which receives funding from both the European Union and Japan, is built on a cutting edge method of virtual coaching that focuses on the key areas of active and healthy aging. The requirements for the virtual coach were ascertained through a process of participatory design in workshops, focus groups, and living laboratories in Germany, France, Italy, and Japan. Several use cases were then chosen for development utilising the open-source Rasa framework. The system uses common representations such as Knowledge Bases and Knowledge Graphs to enable the integration of context, subject expertise, and multimodal data, and is available in English, German, French, Italian, and Japanese

    Engineering brain : metaverse for future engineering

    Get PDF
    The past decade has witnessed a notable transformation in the Architecture, Engineering and Construction (AEC) industry, with efforts made both in the academia and industry to facilitate improvement of efficiency, safety and sustainability in civil projects. Such advances have greatly contributed to a higher level of automation in the lifecycle management of civil assets within a digitalised environment. To integrate all the achievements delivered so far and further step up their progress, this study proposes a novel theory, Engineering Brain, by effectively adopting the Metaverse concept in the field of civil engineering. Specifically, the evolution of the Metaverse and its key supporting technologies are first reviewed; then, the Engineering Brain theory is presented, including its theoretical background, key components and their inter-connections. Outlooks of this theory’s implementation within the AEC sector are offered, as a description of the Metaverse of future engineering. Through a comparison between the proposed Engineering Brain theory and the Metaverse, their relationships are illustrated; and how Engineering Brain may function as the Metaverse for future engineering is further explored. Providing an innovative insight into the future engineering sector, this study can potentially guide the entire industry towards its new era based on the Metaverse environment

    How a Diverse Research Ecosystem Has Generated New Rehabilitation Technologies: Review of NIDILRR’s Rehabilitation Engineering Research Centers

    Get PDF
    Over 50 million United States citizens (1 in 6 people in the US) have a developmental, acquired, or degenerative disability. The average US citizen can expect to live 20% of his or her life with a disability. Rehabilitation technologies play a major role in improving the quality of life for people with a disability, yet widespread and highly challenging needs remain. Within the US, a major effort aimed at the creation and evaluation of rehabilitation technology has been the Rehabilitation Engineering Research Centers (RERCs) sponsored by the National Institute on Disability, Independent Living, and Rehabilitation Research. As envisioned at their conception by a panel of the National Academy of Science in 1970, these centers were intended to take a “total approach to rehabilitation”, combining medicine, engineering, and related science, to improve the quality of life of individuals with a disability. Here, we review the scope, achievements, and ongoing projects of an unbiased sample of 19 currently active or recently terminated RERCs. Specifically, for each center, we briefly explain the needs it targets, summarize key historical advances, identify emerging innovations, and consider future directions. Our assessment from this review is that the RERC program indeed involves a multidisciplinary approach, with 36 professional fields involved, although 70% of research and development staff are in engineering fields, 23% in clinical fields, and only 7% in basic science fields; significantly, 11% of the professional staff have a disability related to their research. We observe that the RERC program has substantially diversified the scope of its work since the 1970’s, addressing more types of disabilities using more technologies, and, in particular, often now focusing on information technologies. RERC work also now often views users as integrated into an interdependent society through technologies that both people with and without disabilities co-use (such as the internet, wireless communication, and architecture). In addition, RERC research has evolved to view users as able at improving outcomes through learning, exercise, and plasticity (rather than being static), which can be optimally timed. We provide examples of rehabilitation technology innovation produced by the RERCs that illustrate this increasingly diversifying scope and evolving perspective. We conclude by discussing growth opportunities and possible future directions of the RERC program

    Augmented reality in support of intelligent manufacturing – A systematic literature review

    Get PDF
    Industry increasingly moves towards digitally enabled ‘smart factories’ that utilise the internet of things (IoT) to realise intelligent manufacturing concepts like predictive maintenance or extensive machine to machine communication. A core technology to facilitate human integration in such a system is augmented reality (AR), which provides people with an interface to interact with the digital world of a smart factory. While AR is not ready yet for industrial deployment in some areas, it is already used in others. To provide an overview of research activities concerning AR in certain shop floor operations, a total of 96 relevant papers from 2011 to 2018 are reviewed. This paper presents the state of the art, the current challenges, and future directions of manufacturing related AR research through a systematic literature review and a citation network analysis. The results of this review indicate that the context of research concerning AR gets increasingly broader, especially by addressing challenges when implementing AR solutions.No funding was received

    User interfaces and discrete event simulation models.

    Get PDF
    A user interface is critical to the success of any computer-based system. Numerous studies have shown that interface design has a significant influence on factors such as learning time, performance speed, error rates, and user satisfaction. Computer-based simulation modelling is one of the domains that is particularly demanding in terms of user interfaces. It is also an area that often pioneers new technologies that are not necessarily previously researched in terms of human-computer interaction. The dissertation describes research into user interfaces for discrete event simulation. Issues that influence the 'usability' of such systems are examined. Several representative systems were investigated in order to generate some general assumptions with respect to those characteristics of user interfaces employed in simulation systems. A case study was carried out to gain practical experience and to identify possible problems that can be encountered in user interface development. There is a need for simulation systems that can support the developments of simulation models in many domains, which are not supported by contemporary simulation software. Many user interface deficiencies are discovered and reported. On the basis of findings in this research, proposals are made on how user interfaces for simulation systems can be enhanced to match better the needs specific to the domain of simulation modelling, and on how better to support users in simulation model developments. Such improvements in user interfaces that better support users in simulation model developments could achieve a reduction in the amount of time needed to learn simulation systems, support retention of learned concepts over time, reduce the number of errors during interaction, reduce the amount of time and effort needed for model development, and provide greater user satisfaction

    Design and development of a prototype mobile geographic information system for real-time collection and storage of traffic accident data

    Get PDF
    Today, Swedish police authorities nationwide collect data of traffic accidents. The information is stored in a national database managed by the Swedish Transport Agency and is an important resource in the process of analysing and improving road safety. Literature studies in this thesis, together with earlier work by the author have suggested that the data collection process is in need of an update: a digital tool for such data collection is necessary. Problems with varying quality of data and long submission times of reports have been attributed to the current method, which involves a paper form. A digital method including a handheld device is expected to improve data quality and shorten overall submission times. The aim of the thesis has thus been to design and develop a mobile GIS system for collection and management of traffic accident information for police authorities. The project has utilized mainly open source tools. The result is a system containing an Android application for data collection, a database server with a database for storage, an application server/web server to host a software server (map server), and a web server that handles requests and hosts a web service for viewing and retrieving data. The created system can collect all of the information that the currently used analogue method does as well as new media such as GPS coordinates, photographs and audio. The functionality of the web service demonstrates that data is collected and stored in suitable formats in a database schema that is flexible enough to facilitate a wide range of queries relevant to the field of road safety.The thesis describes the design and development of an Android mobile application for collecting and reporting information about traffic accidents. Additional components such as servers and a web service with a map are also included. Together with the mobile application they form a system for reporting, storage and analysis of information about traffic accidents. The tools and components that have been chosen are mainly open source, which means that they are accessible and free for everyone to use and create their own system. Swedish police authorities nationwide are currently collecting data of traffic accidents. The information, which is stored in a national database managed by the Swedish Transport Agency, is an important resource in the process of analysing and improving road safety. The data collection by the police has, since the beginning been intended to be conducted in the field on a hand held device, however this is not the case. Consequently the national database consists of information that has been collected by filling out paper forms that are later digitized. Varying data quality and long overall submission times have been noted as problems that can be attributed to this analogue step of the reporting process. It has been suggested that the data collection process is in need of an update: a new digital tool is necessary. The Android application, which is the main contribution, is intended as a suggestion to a digital replacement of the paper form. The functionality of the application is based on the requirements of the current paper form used by police. The created system can collect all of the information that the currently used analogue method does as well as new media such as GPS coordinates, photographs and audio. The functionality of the web service demonstrates that data is collected and stored in suitable formats in a database schema that is flexible enough to facilitate a wide range of queries relevant to the field of road safety
    corecore