Incorporating fault tolerance tactics in software architecture patterns
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Verifying mode consistency for on-board satellite software
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Reusable software components for accelerator-based clusters
Journal of Systems and Software
Towards a method for rigorous development of generic requirements patterns
Rigorous Development of Complex Fault-Tolerant Systems
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
On the impact of fault tolerance tactics on architecture patterns
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
On fault tolerance reuse during refinement
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Developing mode-rich satellite software by refinement in Event-B
Science of Computer Programming
| Hi-index | 0.00 |
Dependable control systems are usually complex and prone to errors of various natures.Such systems are often built in a modular and layered fashion.To guarantee system dependability, we need to develop software that is not only fault-free but also is able to cope with faults of other system components.In this paper we propose a general formal specification pattern that can be recursively applied to specify fault tolerance mechanisms at each architectural layer.Iterative application of this pattern via stepwise refinement in the B method results in development of a layered fault tolerant system correct by construction.We demonstrate the proposed approach by an excerpt from a realistic case study - development of liquid handling wordstation Fillwell驴.