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.
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].
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 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] .
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.
[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.
by Rogério de Lemos (firstname.lastname@example.org)
Last updated 4 November, 2002