Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Semantical aspects of an architecture for distributed embedded systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing
On the Verification of Coordination
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
System integration by developing adapters using a database abstraction
Information and Software Technology
Hi-index | 0.00 |
SPLICE is an industrially developed and applied software architecture for large-scale distributed embedded systems. The key feature of SPLICE is asynchronous communication between processes. The characteristics of systems built with SPLICE include dynamic data distribution, fault-tolerance, and real-time perfor-mance. This paper presents a formal model to reason about the behaviour of SPLICE systems and to support the design process in system development. SPLICE is for-malized using a process algebra called SPLICE Process Algebra. This process algebra allows the derivation of properties of the SPLICE architecture. From these properties a set of guidelines can be produced that aid in the development of SPLICE applications.