|
|
|
Our objective is to develop methods and tools which help software developers effectively build loosely-coupled distributed systems, which are based on components connected by middleware, and arranged according to an architecture. Such systems should be dependable, that is, uses can depend on the system to do what they expect. Our focus is especially on performance, consistency and security issues. That is, we will help developers design the system so they know:
- how much resources will be needed to achieve a given requirement of performance,
- that it will protect the integrity of data stored in the system, or the integrity of processes managed by the system and
- that it will be secure against a variety of malicious attacks
Research Projects
Publications
|
|
|
|
