FMHAI
Formal Analysis and Modeling of Human-Automation Interaction
| Coordinatore | GENERAL MOTORS ISRAEL LTD
Organization address
address: HAMANOFIM STREET 11 contact info |
| Nazionalità Coordinatore | Israel [IL] |
| Totale costo | 100˙000 € |
| EC contributo | 100˙000 € |
| Programma | FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | FP7-PEOPLE-2010-RG |
| Funding Scheme | MC-IRG |
| Anno di inizio | 2011 |
| Periodo (anno-mese-giorno) | 2011-11-01 - 2015-10-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
GENERAL MOTORS ISRAEL LTD
Organization address
address: HAMANOFIM STREET 11 contact info |
IL (HERZELIA) | coordinator | 100˙000.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
'The automotive industry is transforming to embrace opportunities afforded by inexpensive yet powerful computers, sensors, and wireless technology. New vehicle designs call for implementation of sophisticated infotainment systems, mobile communication technology, and navigation systems, as well as safety features such as sensors for pedestrian detection and collision avoidance. Next generation automobiles will employ extensive use of automation for speed and lane control, and parking assist. While continued electrification and automation of the automobile are inevitable, nevertheless, obstacles remain. Key among these is the design and development of interfaces that comfortably link drivers to largely automated, and highly connected vehicles through elegant, efficient and safe interactions. Currently there is no common, industry-wide design and specification language for describing human-computer interaction, built and packaged to integrate safety, efficiency, and driver satisfaction. Therefore, the first objective of the proposed project is to develop such a language and syntax. The second objective is to use formal mathematical techniques to define a generic set of “bad” properties that contribute to human error and frustration during interaction. A third objective is to establish a set of “good” design patterns, encapsulated in a formal mathematical description, productive of consistent, efficient, and elegant human-automation interaction throughout the entire suite of automotive connectivity and automation features. The final objective is to develop a systematic process and tools for the application of the abovementioned objectives. The project will be conducted at and in close collaboration with engineering design teams in Europe (Opel and Vauxhall). The results would be applicable to any system involving human-machine interaction.'