Analysis of Faults in an N-Version Software Experiment
IEEE Transactions on Software Engineering
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Dependable Computing for Critical Applications 4
Dependable Computing for Critical Applications 4
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Ensuring code safety without runtime checks for real-time control systems
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Upgrading Embedded Software in the Field: Dependability and Survivability
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Memory safety without runtime checks or garbage collection
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Memory safety without garbage collection for embedded applications
ACM Transactions on Embedded Computing Systems (TECS)
Dependability through Assured Reconfiguration in Embedded System Software
IEEE Transactions on Dependable and Secure Computing
Conclusions of the ARTIST2 roadmap on control of computing systems
ACM SIGBED Review - Special issue on major international initiatives on real-time and embedded systems
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
Verified Software: Theories, Tools, Experiments
Runtime Verification
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
Software-Intensive Systems and New Computing Paradigms
Schedulable online testing framework for real-time embedded applications in VM
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
A reduced complexity design pattern for distributed hierarchical command and control system
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A complexity reliability model
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
N-version programming in WCET analysis: revisiting a discredited idea
Proceedings of the FSE/SDP workshop on Future of software engineering research
A step towards verification and synthesis from simulink/stateflow models
Proceedings of the 14th international conference on Hybrid systems: computation and control
NNECFSIC'12 Proceedings of the 12th WSEAS international conference on Neural networks, fuzzy systems, evolutionary computing & automation
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part IV
Enterprise information integration: people, automation, and complexity concerns
WSEAS Transactions on Information Science and Applications
Runtime verification for ultra-critical systems
RV'11 Proceedings of the Second international conference on Runtime verification
Proceedings of the 2nd ACM international conference on High confidence networked systems
Run-time prediction and preemption of configuration attacks on embedded process controllers
Proceedings of the First International Conference on Security of Internet of Things
L1Simplex: fault-tolerant control of cyber-physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Automatica (Journal of IFAC)
| Hi-index | 0.01 |
Improving the reliability and availability of increasingly complex software is a serious challenge, especially in efforts to protect society's critical functions. Is it true that building diverse, redundant systems provides robustness? This article investigates the relationship between software complexity, reliability, and development resources. It also presents a forward-recovery approach based on the idea of using simplicity to control complexity as a way to improve the robustness of complex software systems.