Add to ORKGThis paper presents a formal development process for safety-critical embedded Human-Machine Interface (HMI) systems. This formal approach is centered on the LIDL formal language and the S3 verification toolset. It is aimed at blurring the boundaries between modeling, design, verification and implementation for the development of HMI. From textual requirements to safety-critical embedded software, the development process integrates the following formal activities: modeling the behavioral aspect of user interfaces (UIs) using the LIDL language; translating LIDL to Lustre, with which we combine the functional library in Lustre; translating the Lustre design models into the HLL verification models; verifying formal properties expressed in HLL a...
An integrated rapid prototyping approach using product scenarios and computer demonstration / simula...
This paper describes the Human-Machine-Interface (HMI) design approach for the integration of severa...
Critical embedded Human Machine Interfaces (HMI) play an important role within the aerospace and def...
This paper presents a formal development process for safety-critical embedded Human-Machine Interfac...
International audienceHuman factors have been considered as the most common causes of accidents, par...
An investigation is presented into the use of formal methods for the production of safety-critical s...
The design of safety critical systems calls for advanced software engineering models, methods and to...
Safe operation of safety critical systems depends on appropriate interactions between the human oper...
Automated systems are increasingly complex, making it hard to design interfaces for human operators....
The purpose of this work is to integrate verification techniques in real industrial development proc...
One part of demonstrating that a device is acceptably safe, often required by regulatory standards, ...
This paper describes a technology transfer project where formal specification and verification techn...
In most levels of vehicle automation, drivers will not be merely occupants or passengers of automate...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
Connected and automated vehicles with a large variety in operating modes and operational contexts ar...
An integrated rapid prototyping approach using product scenarios and computer demonstration / simula...
This paper describes the Human-Machine-Interface (HMI) design approach for the integration of severa...
Critical embedded Human Machine Interfaces (HMI) play an important role within the aerospace and def...
This paper presents a formal development process for safety-critical embedded Human-Machine Interfac...
International audienceHuman factors have been considered as the most common causes of accidents, par...
An investigation is presented into the use of formal methods for the production of safety-critical s...
The design of safety critical systems calls for advanced software engineering models, methods and to...
Safe operation of safety critical systems depends on appropriate interactions between the human oper...
Automated systems are increasingly complex, making it hard to design interfaces for human operators....
The purpose of this work is to integrate verification techniques in real industrial development proc...
One part of demonstrating that a device is acceptably safe, often required by regulatory standards, ...
This paper describes a technology transfer project where formal specification and verification techn...
In most levels of vehicle automation, drivers will not be merely occupants or passengers of automate...
In order to meet regulatory standards in the domain of safety-critical systems, these systems have t...
Connected and automated vehicles with a large variety in operating modes and operational contexts ar...
An integrated rapid prototyping approach using product scenarios and computer demonstration / simula...
This paper describes the Human-Machine-Interface (HMI) design approach for the integration of severa...
Critical embedded Human Machine Interfaces (HMI) play an important role within the aerospace and def...