Component-based languages and semantical foundations: under this axis, we study new languages (programming, architecture definition) for the construction of multiscale open systems, their formal semantics and associated proof techniques. Specifically, this axis has two main goals:
- To define new component models with a formal semantical basis, and extensive language support for these models in the form an ADL or a programming language for dynamic distributed software architectures.
- To study process calculus foundations and coinductive proof techniques for the construction and verification of distributed component-based programs.
Virtual machine technology: under this axis we study a new virtual machine support for component-based programming, and an alternative architecture for the traditional system software stack (hypervisor, operating system, language virtual machine, middleware). Specifically, this axis has two main goals:
- To develop a new instruction set and virtual machine for component-based programming.
- To develop a new component-based operating system architecture exploiting language-based security.
System and algorithmic support: under this axis we study new operating system and middleware services required for the construction of open systems at different scales (from systems on chip to peer-to-peer networks). Specifically, this axis has two main goals:
- To develop algorithms and operating system functions required for the support of efficient event-based concurrency and component reconfiguration in MPSoCs.
- To develop algorithms and middleware functions required for the deployment, configuration and operation of applications in realistic peer-to-peer environments, typically exploiting gossiping techniques.
Control techniques for adaptive open systems: under this axis, we study and apply discrete and continuous control techniques for the construction of adaptive systems. Specifically, this axis has two main goals:
- To develop and exploit discrete control synthesis techniques for the control multicore and embedded component-based systems and their applications.
- To develop and exloit model-based and continuous control techniques for performance control and management of dcluster systems such as multi-tier application servers.

Sardes

Research Topics

Menu