EICS 2019 : 11th ACM SIGCHI Symposium on Engineering Interactive Computing SystemsInternational audienceIntroduction : This position paper presents how the engineering of interactive system may be impacted when these systems are designed to be deployed in safety critical contexts. These domains are specific as they are usually driven by constraining standards defining precisely best practices and mandatory processes to be applied. The authors discuss how it is possible to take into account these constraints in real-life domains where critical and non-critical components may coexist. Engineering approaches in this context must jointly exploit formal description techniques (for the critical parts) and standard software production techniques (...
International audienceWhile a significant effort is being undertaken by the Human-Computer Interacti...
International audienceThis chapter presents a multi-perspective approach for the design of interacti...
International audienceThe design of safety critical systems calls for advanced software engineering ...
In focusing on human system interactions, the challenge for software engineers is to build systems t...
International audienceWhile a significant effort is currently being undertaken by the CHI community ...
Standards concerned with the development of safety-critical systems, and the software in such system...
International audienceThis position paper presents a set of requirements for user interface tools fo...
Provide readier access to formal methods for developers of safety-critical systems by further integr...
International audienceThe design of safety critical systems calls for advanced software engi...
The design of safety critical systems calls for advanced software engineering models, methods and to...
Safety critical systems—namely systems on which human lives depend—have to remain functional not onl...
Abstract: Standards concerned with the development of safety-critical systems, and software in such ...
International audienceThe CESAR project 1 aims at elaborating a Reference Technology Platform usable...
An investigation is presented into the use of formal methods for the production of safety-critical s...
Abstract. Safety should be designed into systems from their very conception, which can be achieved b...
International audienceWhile a significant effort is being undertaken by the Human-Computer Interacti...
International audienceThis chapter presents a multi-perspective approach for the design of interacti...
International audienceThe design of safety critical systems calls for advanced software engineering ...
In focusing on human system interactions, the challenge for software engineers is to build systems t...
International audienceWhile a significant effort is currently being undertaken by the CHI community ...
Standards concerned with the development of safety-critical systems, and the software in such system...
International audienceThis position paper presents a set of requirements for user interface tools fo...
Provide readier access to formal methods for developers of safety-critical systems by further integr...
International audienceThe design of safety critical systems calls for advanced software engi...
The design of safety critical systems calls for advanced software engineering models, methods and to...
Safety critical systems—namely systems on which human lives depend—have to remain functional not onl...
Abstract: Standards concerned with the development of safety-critical systems, and software in such ...
International audienceThe CESAR project 1 aims at elaborating a Reference Technology Platform usable...
An investigation is presented into the use of formal methods for the production of safety-critical s...
Abstract. Safety should be designed into systems from their very conception, which can be achieved b...
International audienceWhile a significant effort is being undertaken by the Human-Computer Interacti...
International audienceThis chapter presents a multi-perspective approach for the design of interacti...
International audienceThe design of safety critical systems calls for advanced software engineering ...