On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

Authors:
Alexei Iliasov;Alexander Romanovsky;Budi Arief;Linas Laibinis;Elena Troubitsyna
Affiliations:
Newcastle University, UK;Newcastle University, UK;Newcastle University, UK;Aabo Akademi University, Finland;Aabo Akademi University, Finland
Venue:
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Year:
2007

Citing 0
Cited 2

A taxonomy of software architecture-based reliability efforts

Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Patterns for refinement automation

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present our vision of establishing self-coordination as the dominant paradigm of operation of future embedded computing environments. This vision is looked at from three different points of view. First of all techniques to model self-coordinating ...