Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Software safety in embedded computer systems
Communications of the ACM
Challenges of HCI design and implementation
interactions
Educating computer scientists: linking the social and the technical
Communications of the ACM
Communications of the ACM
A preliminary analysis of the products of HCI research, using pro forma abstracts
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Computer ethics: a capstone course
ECA '94 Proceedings of the conference on Ethics in the computer age
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
History in the computer science curriculum
ACM SIGCSE Bulletin
What happens when a medical office information system fails
ACM SIGCAS Computers and Society
Strategic directions in human-computer interaction
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Issues arising from medical system's failure
ACM SIGSOFT Software Engineering Notes
Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes
An instrumented approach to improving software quality through formal technical review
ICSE '94 Proceedings of the 16th international conference on Software engineering
Crossroads - Special issue on human computer interaction
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
An impact analysis method for safety-critical user interface design
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on interface design for safety-critical interactive systems: when there is no room for user error
The ethics of safety-critical systems
Communications of the ACM
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Complexity in embedded intelligent real time systems
ICIS '99 Proceedings of the 20th international conference on Information Systems
Contradictions and critical issues during system evolution
Proceedings of the 2002 ACM symposium on Applied computing
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering
Annals of Software Engineering
IEEE Annals of the History of Computing
Comparison of Electrical "Engineering" of Heaviside's Times and Software "Engineering" of Our Times
IEEE Annals of the History of Computing
Will There Ever Be Software Engineering?
IEEE Software
Protocol Techniques for Testing Radiotherapy Accelerators
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
``Profit by Safety'' or Quackery in Biomedical Information Technology?
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
A Holistic Design Concept to Improve Safety Related Control Systems
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Dependability Evaluation: Model and Method Based on Activity Theory
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Dependability as Ordinary Action
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Human values, ethics, and design
The human-computer interaction handbook
BACI debugger: a GUI debugger for the BACI system
Journal of Computing Sciences in Colleges
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Human performance and embedded intelligent technology in safety-critical systems
International Journal of Human-Computer Studies - Special issue: Trust and technology
ICEC '03 Proceedings of the 5th international conference on Electronic commerce
Teaching Software Engineering in a Compiler Project Course
Journal on Educational Resources in Computing (JERIC)
Verifying, validating and monitoring the open Ravenscar real time kernel
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Automating commutativity analysis at the design level
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Effective incorporation of ethics into courses that focus on programming
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Structural Testing Based on Minimum Kernels
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Goal-centric traceability for managing non-functional requirements
Proceedings of the 27th international conference on Software engineering
Encyclopedia of Computer Science
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Issues in performance certification for high-level automotive control software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Moral Responsibility for Harm Caused by Computer System Failures
Ethics and Information Technology
Software complexity and its impacts in embedded intelligent real-time systems
Journal of Systems and Software
GROUP '05 Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work
LOCKSMITH: context-sensitive correlation analysis for race detection
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Good/fast/cheap: contexts, relationships and professional responsibility during software development
Proceedings of the 2006 ACM symposium on Applied computing
A framework to limit systems developers' legal liabilities
Journal of Management Information Systems
Risk analysis of a patient monitoring system using Bayesian Network modeling
Journal of Biomedical Informatics
ANALYSIS OF MEDICAL DEVICES DESIGN REQUIREMENTS
Journal of Integrated Design & Process Science
Formal Modelling of Salience and Cognitive Load
Electronic Notes in Theoretical Computer Science (ENTCS)
Non-Functional Requirements Size Measurement Method (NFSM) with COSMIC-FFP
Software Process and Product Measurement
Anima: a Ada derived programming language for real-time embedded software development
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Towards a flexible tool for supporting data collection & analysis in personal software process (PSP)
WSEAS Transactions on Information Science and Applications
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
USAB '08 Proceedings of the 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for Education and Work
The Name and Nature of Software Engineering
Advances in Software Engineering
Injecting rapid feedback and collaborative reasoning in teaching specifications
Proceedings of the 40th ACM technical symposium on Computer science education
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
FlashBox: a system for logging non-deterministic events in deployed embedded systems
Proceedings of the 2009 ACM symposium on Applied Computing
On the Relative Merits of Software Reuse
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A bisimulation-based approach to the analysis of human-computer interaction
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Integrated safety analysis of software-controlled critical systems
ACM SIGSOFT Software Engineering Notes
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Towards an Early Software Effort Estimation Based on Functional and Non-Functional Requirements
IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
Cross-user analysis: Benefits of skill level comparison in usability testing
Interacting with Computers
Risk management capability model for the development of medical device software
Software Quality Control
Hierarchical visualization for chance discovery
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Insiders behaving badly: addressing bad actors and their actions
IEEE Transactions on Information Forensics and Security
An investigation into the notion of non-functional requirements
Proceedings of the 2010 ACM Symposium on Applied Computing
Usability of mobile computing in emergency response systems: lessons learned and future directions
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
An effective method to control interrupt handler for data race detection
Proceedings of the 5th Workshop on Automation of Software Test
Obtaining valid safety data for software safety measurement and process improvement
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Journal of Biomedical Informatics
A taxonomy of vulnerabilities in implantable medical devices
Proceedings of the second annual workshop on Security and privacy in medical and home-care systems
Supporting human-intensive systems
Proceedings of the FSE/SDP workshop on Future of software engineering research
LOCKSMITH: Practical static race detection for C
ACM Transactions on Programming Languages and Systems (TOPLAS)
MiTS: a new approach of tabu search for constructing mixed covering arrays
MICAI'10 Proceedings of the 9th Mexican international conference on Artificial intelligence conference on Advances in soft computing: Part II
ConSeq: detecting concurrency bugs through sequential errors
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Breadth in depth: a 1st year introduction to parallel programming
Proceedings of the 42nd ACM technical symposium on Computer science education
Safe controllers design for industrial automation systems
Computers and Industrial Engineering
A case study of measuring process risk for early insights into software safety
Proceedings of the 33rd International Conference on Software Engineering
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Advancing critical care in the ICU: a human-centered biomedical data visualization systems
EHAWC'11 Proceedings of the 2011th international conference on Ergonomics and health aspects of work with computers
A framework for parallel computational physics algorithms on multi-core: SPH in parallel
Advances in Engineering Software
A view of 21st century healthcare industry and software quality improvement practices
International Journal of Networking and Virtual Organisations
Detecting and surviving data races using complementary schedules
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Learning system abstractions for human operators
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
What have we learned about software engineering?
Communications of the ACM
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Security aspects of cyber-physical device safety in assistive environments
Proceedings of the 4th International Conference on PErvasive Technologies Related to Assistive Environments
Data races vs. data race bugs: telling the difference with portend
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
HESSD'09 Proceedings of the 7th FIP WG 13.5 international conference on Human Error, Safety and Systems Development
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
Agent-Based modelling for risk assessment of routine clinical processes
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Why the electronic land registry failed
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Sound and precise analysis of parallel programs through schedule specialization
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Runtime verification for ultra-critical systems
RV'11 Proceedings of the Second international conference on Runtime verification
Program analysis using quantifier-elimination heuristics
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
The Validity and Effectiveness of a Business Game Beta Test
Simulation and Gaming
An intuitive approach to determine test adequacy in safety-critical software
ACM SIGSOFT Software Engineering Notes
International Journal of Human-Computer Studies
Time-Constraint-Aware Optimization of Assertions in Embedded Software
Journal of Electronic Testing: Theory and Applications
CoRD: a collaborative framework for distributed data race detection
HotDep'12 Proceedings of the Eighth USENIX conference on Hot Topics in System Dependability
Automated concurrency-bug fixing
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Dynamic race detection techniques for interrupt-driven programs
FGIT'12 Proceedings of the 4th international conference on Future Generation Information Technology
Operating system reliability from the quality of experience viewpoint: an exploratory study
Proceedings of the 28th Annual ACM Symposium on Applied Computing
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Computational Intelligence - Volume Part II
Scaling agile methods to regulated environments: an industry case study
Proceedings of the 2013 International Conference on Software Engineering
Efficient concurrency-bug detection across inputs
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Parrot: a practical runtime for deterministic, stable, and reliable threads
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Synergistic case-based reasoning in medical domains
Expert Systems with Applications: An International Journal
Leveraging the short-term memory of hardware to diagnose production-run software failures
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Copilot: monitoring embedded systems
Innovations in Systems and Software Engineering
Software health management: a necessity for safety critical systems
Innovations in Systems and Software Engineering
Towards safe information technology in health care
Information-Knowledge-Systems Management - Complex Socio-Technical Systems --Understanding and Influencing Causality of Change
Hi-index | 4.17 |
Between June 1985 and January 1987, the Therac-25 medical electron accelerator was involved in six massive radiation overdoses. As a result, several people died and others were seriously injured. A detailed investigation of the factors involved in the software-related overdoses and attempts by users, manufacturers, and government agencies to deal with the accidents is presented. The authors demonstrate the complex nature of accidents and the need to investigate all aspects of system development and operation in order to prevent future accidents. The authors also present some lessons learned in terms of system engineering, software engineering, and government regulation of safety-critical systems containing software components.