{"title":"Studying Operator behaviour During a Simple but safety critical Task","authors":"Hans H. K. Andersen, G. Hauland","doi":"10.1007/1-4020-8153-7_14","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_14","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121810469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Sampling Model to Ascertain Automation-Induced Complacency in Multi-Task Environments","authors":"N. Bagheri, G. Jamieson","doi":"10.1007/1-4020-8153-7_9","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_9","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124033238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Automatic Dependent Surveillance - Broadcast / Cockpit Display of Traffic Information: Pilot Use of Electronic VS Paper Map Displays During Aircraft Navigation on the Airport Surface","authors":"Veronika Prinzo","doi":"10.1007/1-4020-8153-7_7","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_7","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120958919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Analysing Dynamic Function Scheduling Decisions","authors":"K. Loer, Michael Hildebrandt, M. Harrison","doi":"10.1007/1-4020-8153-7_4","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_4","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"10 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132774767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Decision making in avalanche terrain - A concept for an educational computer simulation tool for backcountry ski guides with a special focus on human errors","authors":"U. Gruber","doi":"10.1007/1-4020-8153-7_10","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_10","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123558448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours","authors":"Philippe A. Palanque, S. Basnyat","doi":"10.1007/1-4020-8153-7_8","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_8","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125665328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Failure Analysis and the Safety-Case Lifecycle","authors":"William S. Greenwell, E. Strunk, J. Knight","doi":"10.1007/1-4020-8153-7_11","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_11","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133778394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Y. A. Ameur, Benoit Breholée, P. Girard, L. Guittet, F. Jambon
{"title":"Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation","authors":"Y. A. Ameur, Benoit Breholée, P. Girard, L. Guittet, F. Jambon","doi":"10.1007/1-4020-8153-7_5","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_5","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116161918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"SEMOMAP: Sequential Model of the Maritime Accident Process","authors":"J. Schröder","doi":"10.1007/1-4020-8153-7_16","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_16","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"289 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116589662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices","authors":"Ana-Maria Marhan, F. Paternò, C. Santoro","doi":"10.1007/1-4020-8153-7_20","DOIUrl":"https://doi.org/10.1007/1-4020-8153-7_20","url":null,"abstract":"","PeriodicalId":235272,"journal":{"name":"Human Error, Safety and Systems Development","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121265272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}