Design & analysis of fault tolerant digital systems
Design & analysis of fault tolerant digital systems
Safeware: system safety and computers
Safeware: system safety and computers
ACM fellow profile: James Jay (Jim) Horning
ACM SIGSOFT Software Engineering Notes
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults
IEEE Transactions on Computers
Computer
A Framework for the Specification of Reactive and Concurrent Systems in Z
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
The Art Of Creating Reliable Software-Based Systems Using Off-The-Shelf Software Components
SRDS '97 Proceedings of the 16th Symposium on Reliable Distributed Systems
FTAG: A Functional and Attribute Based Model for Writing Fault-TolerantSoftware
FTAG: A Functional and Attribute Based Model for Writing Fault-TolerantSoftware
Keynote Speech: Design Testing and Evaluation Techniques for Software Reliability Engineering
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 1
The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 1
A fast Fourier transform compiler
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Compiler Hacking for Source Code Analysis
Software Quality Control
Semantics to energize the full services spectrum
Communications of the ACM - Services science
The N-Version Approach to Fault-Tolerant Software
IEEE Transactions on Software Engineering
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Autotools: A Practioner's Guide to GNU Autoconf, Automake, and Libtool
Autotools: A Practioner's Guide to GNU Autoconf, Automake, and Libtool
Security-by-contract: toward a semantics for digital signatures on mobile code
EuroPKI'07 Proceedings of the 4th European conference on Public Key Infrastructure: theory and practice
Towards context-aware adaptive fault tolerance in SOA applications
Proceedings of the 5th ACM international conference on Distributed event-based system
System structure for dependable software systems
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part III
Hi-index | 0.00 |
At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. While standards and tools exist to express and verify some of these assumptions, in practice most of them end up being either sifted off or hidden between the lines of our codes. Across the system layers, a complex and at times obscure web of assumptions determines the quality of the match of our software with its deployment platforms and run-time environments. Our position is that it becomes increasingly important being able to design software systems with architectural and structuring techniques that allow software to be decomposed to reduce its complexity, but without hiding in the process vital hypotheses and assumptions. In this paper we discuss this problem, introduce three potentially dangerous consequences of its denial, and propose three strategies to facilitate their treatment. Finally we propose our vision towards a new holistic approach to software development to overcome the shortcomings offered by fragmented views to the problem of assumption failures.