Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Research Actions at LIFO > Research Action : ATHENA DeSSUF

Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



ATHENA DeSSUF : A Methodology for the Design of a Safe, Secure and User-Friendly Reactive Programming Language for the Internet of Things

In the Internet of Things (IoT), billions of devices are connected. Very often, these devices are programmed with the C programming language, mostly because of the limited hardware resources of such objects. However, C is error-prone, and software bugs make devices both unreliable and vulnerable to cyber-attacks. Several cases of massive cyber-attacks using IoT devices are documented. Moreover, the IoT is more and more deployed in areas such as energy, transportation and health: it is of paramount importance such systems are reliable, safe and secure. The goal of the DeSSUF project is the design, implementation, and the evaluation of the safety, security and ease-of-use of a new programming language for the IoT.

This is a joint project between the University of Orleans, LIFO, France and the University of Maribor, LPM, Slovenia both members of the Athena European University.

Participating Members

Frédéric DABROWSKI

Jordan ISCHARD

Frédéric LOULERGUE (PI)

Action's Web Page

https://dessuf.github.io