The 2XS team from CRIStAL laboratory working on embedded systems research en development in highly constrained devices.

2XS means :

eXtra Small
we study new tools allowing to reduce the gap between the design of regular software and embedded software dedicated for very small targets.
eXtra Safe
we elaborate formal proof of the software technologies we provide, in order to enforce security and safety in our targets.

You can have a look on some of our last publications to know more about our activities.

One of our project called Smews is open source and is available here.