Palanque et al 2013a - Revision history

Scipediacontent at 12:26, 21 January 2021

2021-01-21T12:26:44Z

Scipediacontent: Scipediacontent moved page Draft Content 827869251 to Palanque et al 2013a

2020-09-23T10:47:34Z

Scipediacontent moved page Draft Content 827869251 to Palanque et al 2013a

Scipediacontent: Created page with " == Abstract == The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put..."

2020-09-23T10:47:32Z

Created page with " == Abstract == The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put..."

New page

== Abstract ==

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human system cooperation, and offer no easy way, for example, to quantitatively compare two design options. The aim of this paper is to present a method with related too1& and techniques for engineering the design and development of usable user interfaces for safety-critical applications. The specific application area which we will consider is air traffic control but most of the results will be valid for any application areas with similar requirements.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_827869251-beopen992-4384-document.pdf</pdf>

== Original document ==

The different versions of the original document can be found in:

[https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf]

[http://link.springer.com/content/pdf/10.1007/978-0-387-35175-9_53 http://link.springer.com/content/pdf/10.1007/978-0-387-35175-9_53],[http://dx.doi.org/10.1007/978-0-387-35175-9_53 http://dx.doi.org/10.1007/978-0-387-35175-9_53]

[https://link.springer.com/chapter/10.1007/978-0-387-35175-9_53 https://link.springer.com/chapter/10.1007/978-0-387-35175-9_53],[https://core.ac.uk/display/24333621 https://core.ac.uk/display/24333621],[https://www.irit.fr/~Remi.Bastide/Research/Publications/bastide_interact_1997.pdf https://www.irit.fr/~Remi.Bastide/Research/Publications/bastide_interact_1997.pdf],[http://dblp.uni-trier.de/db/conf/interact/interact1997.html#PalanqueBP97 http://dblp.uni-trier.de/db/conf/interact/interact1997.html#PalanqueBP97],[https://academic.microsoft.com/#/detail/1495552337 https://academic.microsoft.com/#/detail/1495552337]

@@ Line 2: / Line 2: @@
 == Abstract ==
-The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the human computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human system cooperation, and offer no easy way, for example, to quantitatively compare two design options. The aim of this paper is to present a method with related too1& and techniques for engineering the design and development of usable user interfaces for safety-critical applications. The specific application area which we will consider is air traffic control but most of the results will be valid for any application areas with similar requirements.
+The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of confidence is required towards the humanÂ computer interface. Conventional empirical or semi-formal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human system cooperation, and offer no easy way, for example, to quantitatively compare two design options. The aim of this paper is to present a method with related too1& and techniques for engineering the design and development of usable user interfaces for safety-critical applications. The specific application area which we will consider is air traffic control but most of the results will be valid for any application areas with similar requirements.
-−
-Document type: Part of book or chapter of book
-−
-== Full document ==
-<pdf>Media:Draft_Content_827869251-beopen992-4384-document.pdf</pdf>
@@ Line 14: / Line 9: @@
 The different versions of the original document can be found in:
-[https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf]
+* [https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf https://link.springer.com/content/pdf/10.1007%2F978-0-387-35175-9_53.pdf]
-[http://link.springer.com/content/pdf/10.1007/978-0-387-35175-9_53 http://link.springer.com/content/pdf/10.1007/978-0-387-35175-9_53],[http://dx.doi.org/10.1007/978-0-387-35175-9_53 http://dx.doi.org/10.1007/978-0-387-35175-9_53]
+* [http://link.springer.com/content/pdf/10.1007/978-0-387-35175-9_53 http://link.springer.com/content/pdf/10.1007/978-0-387-35175-9_53],
-[https://link.springer.com/chapter/10.1007/978-0-387-35175-9_53 https://link.springer.com/chapter/10.1007/978-0-387-35175-9_53],[https://core.ac.uk/display/24333621 https://core.ac.uk/display/24333621],[https://www.irit.fr/~Remi.Bastide/Research/Publications/bastide_interact_1997.pdf https://www.irit.fr/~Remi.Bastide/Research/Publications/bastide_interact_1997.pdf],[http://dblp.uni-trier.de/db/conf/interact/interact1997.html#PalanqueBP97 http://dblp.uni-trier.de/db/conf/interact/interact1997.html#PalanqueBP97],[https://academic.microsoft.com/#/detail/1495552337 https://academic.microsoft.com/#/detail/1495552337]
+* [https://dblp.uni-trier.de/db/conf/interact/interact1997.html#PalanqueBP97 https://dblp.uni-trier.de/db/conf/interact/interact1997.html#PalanqueBP97],

← Older revision	Revision as of 10:47, 23 September 2020
(No difference)