Formal Design, Tooling, and Prototype Implementation of a Real-Time Distributed Shared Dataspace (CES.5009)
Project nummer:
ces5009
Omschrijving van het onderzoek
In the early nineties, we have developed µCRL, which is a formal language to specify and analyze distributed real-time systems. The goal of the proposed project is to evaluate the applicability of the developed techniques and tools on large-scale industrial applications, and to improve them where needed. To this end, we will specify and analyze the services provided by HOPSA, an offspring of the software architecture SPLICE, currently being developed by 4TEC BV.
This specification will serve several purposes:
- It provides the basis for the further design and implementation of HOPSA.
- It provides the application programmers with a description of the services they can rely on.
- It provides the basis for the development of design support for applications based on HOPSA.
We intend to give a complete functional specification of the services provided by HOPSA and the timing requirements of well-chosen parts of it. Furthermore, we want to analyze the applicability and realizability of the specification. For the first we will deliver some small application programs based on HOPSA and study transformation rules according to this architecture; the latter will be established by delivering a prototype implementation.
Resultaten van het onderzoek
For results, see http://db.cwi.nl/projecten/project.php4?prjnr=92.
Gebruikers
Five companies and 5 other universities are involved in this project.
Projectleider
Status van het project
| Gestart | : 01-03-2000
|
| Einddatum | : 07-01-2005
|
Trefwoorden
Embedded Systemen, Formele methoden, Informatica.