Undecidable verification problems for programs with unreliable channels
Information and Computation
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
End-to-end arguments in system design
ACM Transactions on Computer Systems (TOCS)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Model Checking TLA+ Specifications
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Automating the Addition of Fault-Tolerance
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Design and Analysis of Fault Tolerant Architectures by Model Weaving
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards executable aspect-oriented UML models
Proceedings of the 10th international workshop on Aspect-oriented modeling
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Modeling and integrating aspects with UML activity diagrams
Proceedings of the 2009 ACM symposium on Applied Computing
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
Methods, Models and Tools for Fault Tolerance
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model checking lossy channels systems is probably decidable
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Model-driven construction of embedded applications based on reusable building blocks: an example
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Hi-index | 0.00 |
We present a model-driven method to incrementally introduce fault-tolerance mechanisms into application models that are initially developed with assumptions of ideal transmission semantics. As main structuring units, our models use collaborative building blocks in UML that can encapsulate the behaviour of several participants in order to perform a certain task. Since these building blocks can be designed and analysed separately, fault-tolerance mechanisms can be introduced block by block, which reduces the size and complexity of specifications that have to be understood at a time. Applying fault tolerance at the application layer also brings the benefits of easily porting applications to other platforms and applying model-level analysis tools to the fault-tolerance mechanisms themselves. We illustrate our method through the development of an access control system.