16.Distributed Systems Theory and Languages

by

Link to the SOTA Chapter (Theory)

Link to the SOTA Chapter (Languages)

Ongoing Research

Future Directions

CaberNet Related Activities

• AGILE (Architectures for Mobility)

  • CNUCE-CNR, Italy

Architectural approach to mobile systems developments based on a uniform mathematical framework supporting (i) sound methodological principles, (ii) formal analysis, and (iii) refinement across levels of development.

• DEAR-COTS

  • Instituto Politécnico do Porto, Portugal

  The main purpose of the DEAR-COTS project (funded by the Portuguese government - PRAXIS/P/EEI/14187/1998) was the specification of an architecture based on the use of commercial off-the-shelf (COTS) components, able to support distributed computer controlled systems where reliability and timeliness are major requirements. The group's involvement in the project allowed to contribute with studies and protocols for fault-tolerance in CAN networks [Pinho 2001], and to provide a transparent framework for the replication of hard real-time applications [Pinho 2002].

• A Constructive Framework for Partial Specification

  • University of Kent, UK

The focus in this project is on substantiating incidental techniques for viewpoint consistency and unification developed in those projects, by investigating categorical underpinnings for them.

• Mikado

  • INRIA Rhône-Alpes, France
  • Institut National Polytechnique de Grenoble, France
  • Université Joseph Fourier, France

Mikado is an IST project whose goal is to construct a new formal programming model, based upon the notion of domain as a computing concept, which supports reliable, distributed mobile computation, and provides the mathematical basis for a secure standard for distributed computing in open systems [Schmitt 2003] .

• Network-aware Programming and Interoperability

  • Università di Bologna, Italy

The goal of this project is to identify proper tradeoffs to relieve the programmer as much as possible from the burden of dealing explicitly with low-level events taking place in open, distributed, and mobile system.
Our researches concern three areas: models of computation, programming languages and distributed system technology.

References

[Pinho 2001] L. Pinho, F. Vasques."Timing Analysis of Reliable Real-Time Communication in CAN Networks". Proceedings of the 13th Euromicro Conference on Real-Time Systems. Delft, Netherlands. June 2001. pp. 103-112.

[Pinho 2002] L. Pinho, F. Vasques. "Transparent Environment for Replicated Ravenscar Applications". Proceedings of the 7th International Conference on Reliable Software Technologies - Ada-Europe 2001. Vienna, Austria. June 2002.

[Schmitt 2003] Alan Schmitt and Jean-Bernard Stefani. The M-calculus: A Higher-Order Distributed Process Calculus. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL), New Orleans, LA, USA, January 17-19, 2003.

Maintained by Rogério de Lemos (r.delemos@ukc.ac.uk)
Last updated 4 November, 2002