Team sardes

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Scientific Foundations

Software infrastructure

The Sardes approach to software infrastructure is both architecture-based and language-based: architecture-based for it relies on an explicit component structure for runtime reconfiguration, and language-based for it relies on a high-level type safe programming language as a basis for operating system and middleware construction. Exploiting high-level programming languages for operating system construction [104] has a long history, with systems such as Oberon [108] , SPIN [55] or JX [69] . More recent and relevant developments for Sardes are:


previous
next

Logo Inria