CRIStAL-2XS
Official website
Research in 2XS team is focused on defining new system architectures or new languages to allow fast development of reliable embedded software. The team addresses issues concerning memory footprint, energy consumption and security. The team takes profit of proficiencies in formal verification, hardware/software co-design and operating system architectures to tackle the aforementioned issues.