Filters








831 Hits in 9.5 sec

DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems [chapter]

Xavier Lacaze, Philippe Palanque
2007 Lecture Notes in Computer Science  
Both the notation and the tools are presented on a case study showing how they can support design of interaction techniques for Air Traffic Control workstations.  ...  Justification of choices made throughout the design process of systems is a recurrent desire and quite often a formal request from certification authorities in the safety critical domain.  ...  and Jean-Luc Vinot (graphic designer at CENA) who designed the graphical representation of TEAM and accepted to rationalise the process.  ... 
doi:10.1007/978-3-540-74800-7_48 fatcat:we2mkdipmfg5njv4iwthsf4ghe

Chapter 1 Ecosystem of Big Data [chapter]

Valentina Janev
2020 Lecture Notes in Computer Science  
a large amount of data.  ...  and the need for using semantics for improving the data management, integration, processing, and analytical tasks.  ...  and management of air pollution due to improved ambient air quality.  ... 
doi:10.1007/978-3-030-53199-7_1 fatcat:krt6ffhrqvdn3ctkgywbzhqgni

On "Technomethodology": Foundational Relationships Between Ethnomethodology and System Design

Paul Dourish, Graham Button
1998 Human-Computer Interaction  
In particular, we are concerned with how ethnomethodology can take a foundational place in the very notion of system design, rather than simply being employed as a resource in aspects of the process such  ...  Currently, understandings of how to use ethnomethodology as a primary aspect of system design are lacking. We outline a new approach and present an extended example of its use.  ...  Acknowledgments The seeds of the work reported here grew from the long-term interest in the relationship between social and design sciences which was a core research focus at the Rank Xerox Research Centre  ... 
doi:10.1207/s15327051hci1304_2 fatcat:aiawf2k43ffjxk5shbzlnubb6u

Technomethodology

Graham Button, Paul Dourish
1996 Proceedings of the SIGCHI conference on Human factors in computing systems common ground - CHI '96  
Ethnomethodology is being used to inform design through:  ...  and discuss ways that ethnomethodology can move from design critique to design practice: the advent of technomethodology.  ...  May they still talk to us.  ... 
doi:10.1145/238386.238394 dblp:conf/chi/ButtonD96 fatcat:hrhtpd7nvnfhhaslll7gsqw4xm

D3.1 Review of Social Science in Air Quality and Carbon Management FINAL REVISED April 2018

Tim Chatterton, Laura De Vito, Eva Csobod, Peter Szuppinger, Gabor Heves
2017 Zenodo  
D3.1 consists of a review of the current interaction between social science and air quality and carbon management.  ...  indications of its uptake within policy; 2: A review of EU funded research and projects on air quality management from the CORDIS database; 3: A review of a selection of air quality policy and plan documents  ...  1 In ClairCity we are not considering e.g. overseas flights or consuming products that cause air pollution elsewhere. 2 For example burning low-quality fuel.  ... 
doi:10.5281/zenodo.3972105 fatcat:k52wt2aspjamvn6qpl3qflbwtu

Adopting a Whole Systems Approach to Transport Decarbonisation, Air Quality and Health: An Online Participatory Systems Mapping Case Study in the UK

Alexandra S. Penn, Suzanne E. Bartington, Sarah J. Moller, Ian Hamilton, James G. Levine, Kirstie Hatcher, Nigel Gilbert
2022 Atmosphere  
In a drive to achieve net zero emissions, U.K. transport decarbonisation policies are predominantly focussed on measures to promote the uptake and use of electric vehicles (EVs).  ...  In the present paper, we describe the use of Participatory Systems Mapping (PSM) in which a diverse group of stakeholders collaboratively constructed a causal model of the U.K. surface transport system  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/atmos13030492 fatcat:3chyeo4ct5avjgmbrgczj7x2ru

Artificial intelligence applications in aircraft systems

1997 Expert systems with applications  
A survey of the work program of Air Operations Division was undertaken to identify opportunities offered by advanced computing techniques for the solution of existing research problems.  ...  Air Operations Division at the DSTO Aeronautical and Maritime Research Laboratory is developing a capability in the use of Artificial Intelligence (AI), including knowledge based systems technology, in  ...  Acknowledgments Graeme Murray managed the research contract with Swinburne Institute of Technology, working collaboratively with Professor Iain Wallace and Dr Kevin Bluff.  ... 
doi:10.1016/s0957-4174(97)86756-5 fatcat:h5ixe5i2zbghba5yq3rwzp6d3m

Abbreviations and acronyms used [chapter]

2005 Assessment of Development Results - Yemen  
This can be achieved by developing an innovative traffic control strategy that can be easily and quickly implemented and can provide a significant reduction of travel times within traffic networks, in  ...  available access and intuitiveness of interfaces; and encouraging 'design for all'.  ... 
doi:10.18356/fb026e8a-en fatcat:k2msnznhvrfpren33en4vwlmgi

Towards a framework for certification of reliable autonomous systems

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020 Autonomous Agents and Multi-Agent Systems  
We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap  ...  Case studies in seven distinct domains illustrate the article.  ...  Acknowledgements We thank the organisers and participants of the Dagstuhl 19112 workshop, and the anonymous reviewers of this article. Thanks to Simone Ancona for the drawings in Sect. 1.  ... 
doi:10.1007/s10458-020-09487-2 fatcat:gd6urk3nbrcwxkpffdtdpa5xha

Towards a Framework for Certification of Reliable Autonomous Systems [article]

Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier, Bernd-Holger Schlingloff, Michael Winikoff, Neil Yorke-Smith
2020 arXiv   pre-print
We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap  ...  Case studies in seven distinct domains illustrate the article.  ...  Work of Fisher supported by the Royal Academy of Engineering and, in part, through UKRI "Robots for a Safer World" Hubs EP/R026092, EP/R026084, and EP/R026173.  ... 
arXiv:2001.09124v1 fatcat:ocmnn2ugzfeatfc56ucwgz2aku

Mould Growth Models and Risk Assessment for Emerging Timber Envelopes in Australia: A Comparative Study

Arianna Brambilla, Eugenia Gasparri
2021 Buildings  
The study compares the use of two mould growth assessment models: the VTT and the IBP biohygrothermal.  ...  However, when poorly designed, they may incur in high risk of mould growth, affecting both building performance and occupant's wellbeing.  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/buildings11060261 fatcat:er6sqnl43jh53fqvecajxe3yvy

Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling

James Lockerbie, Neil Arthur McDougall Maiden, Jorgen Engmann, Debbie Randall, Sean Jones, David Bush
2011 Requirements Engineering  
In industries such as air traffic management and healthcare, impacts need to be identified and demonstrated in order to assess concerns such as risk, safety, and accuracy.  ...  We report procedures that human analysts follow to use the concepts of satisfaction arguments in a software tool for i* goal modelling.  ...  Acknowledgements The research reported in the first case study of this paper was supported by NATS, the UK"s national air traffic service.  ... 
doi:10.1007/s00766-011-0138-8 fatcat:gy6ucbflpndt7pwrtbaxtbl2za

The Integration of Safety and Security Requirements [chapter]

David Peter Eames, Jonathan Moffett
1999 Lecture Notes in Computer Science  
The requirements specifications of an Air Traffic Control system are used to highlight the problems inherent in the independent approach to requirements development.  ...  From investigation of the literature and the case study, we identify several areas that can cause problems when we attempt to harmonize safety and security requirements techniques.  ...  Section 3 presents a case study of an air traffic control system that is to be modernised in the near future, and has both safety and security requirements.  ... 
doi:10.1007/3-540-48249-0_40 fatcat:xqiaendfwncbzbs2ruzjmyb7ei

Moving out from the control room

John Hughes, Val King, Tom Rodden, Hans Andersen
1994 Proceedings of the 1994 ACM conference on Computer supported cooperative work - CSCW '94  
We identify a number of ways in which we have used ethnography to inform design and consider the benefits and problems of each.  ...  Experiences of ethnography reported to date have focused on the use of prolonged on-going ethnography to inform systems design.  ...  ACKNOWLEDGEMENTS This work was funded as part of the COMIC project (ESPRIT project no 6225). Our thanks are due to our partners in the project.  ... 
doi:10.1145/192844.193065 dblp:conf/cscw/HughesKRA94 fatcat:fxjo62rue5ayfikolhvzen7ed4

Qualification of academic facilities for small-scale automated manufacture of autologous cell-based products

Paul Hourd, Amit Chandra, David Alvey, Patrick Ginty, Mark McCall, Elizabeth Ratcliffe, Erin Rayment, David J Williams
2014 Regenerative Medicine  
Initial funding was secured from its Innovative Manufacturing and the Life Sciences Interface Programmes both for the remedi Page 26 of 34 Grand Challenge and its successor; the EPSRC Centre for Innovative  ...  Acknowledgements The authors would like to acknowledge TAP Biosystems for providing technical and services support for the Compact Cellbase system.  ...  Establish early consultation with the MHRA and an interface with Institutional stakeholders Known to be a critical issue in academic and hospital settings, strengthening the interface between the site/  ... 
doi:10.2217/rme.14.47 pmid:25431916 fatcat:gxcscrqn6rdt7khdwvsyxf5ioi
« Previous Showing results 1 — 15 out of 831 results