Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Software safety in embedded computer systems
Communications of the ACM
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Human-Computer Interaction in the Control of Dynamic Systems
ACM Computing Surveys (CSUR)
Reliable software and communication: software quality, reliability, and safety
ICSE '93 Proceedings of the 15th international conference on Software Engineering
IEEE Transactions on Knowledge and Data Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Tools for model-based real-time system synthesis
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Modeling for safety in a synthesis-centric systems engineering framework
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Reliable supervisory coordination of stochastic communicating processes with data
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Process control is explained, and it is shown why trying to build process-control software using the same approaches developed and used for data-processing and information-system software will lead to failure. Rather than offering solutions to the problems inherent in developing process-control software, the author identifies the aspects of the problem on which to focus attention and the tasks that are ripe for solution. In particular, modeling and analysis, human-computer interaction, and risk evaluation are discussed.