NETQUEST Objectives
The objective of the NETQUEST project is to study and design innovative solutions to facilitate the development of data intensive applications over dynamic and decentralized networks. Our main focus is on the design of a high level programming abstraction which allows to develop networking protocols as well as applications and services, jointly in a single declarative framework.
The team is currently developing and implementing the NETQUEST system. Its architecture differs from classical embedded systems. It relies on a relational database, which stores both data and network information, and on a Distributed Query Engine, which handles in a fully distributed manner, the processing and the execution of queries, whether related to network protocols or applications.
NETQUEST thus allows the rapid prototyping of communication protocols and applications, in a declarative query language, Netlog, essentially as simple as pseudo-code expressions. It guarantees the independence of a logical layer from the physical layers, much like relational database systems. Netlog, which extends recursive rule languages such as Datalog, with communication primitives, aims at increasing the reliability of the code as well as the productivity of programmers. A library of certified protocols, written in Netlog is under development.
The team is also investigating the foundations of distributed query processing, with a special focus on the distributed evaluation of logical formalisms (e.g. FO, MSO) for graphs, and their distributed complexity.
Members
- Prof. Stéphane GRUMBACH Principal investigator, INRIA
- Post Doc Xiang ZHOU, CASIA
- PhD student Kun SUO, CASIA
- PhD student Ahmad AHMAD-KASSEM, INSA-Lyon
- PhD student Fuda MA, INSA-Lyon
- Engineer Eric Bellemon, CASIA
Recent Publications
- Eric Bellemon, Vincent Dubosclard, Stéphane Grumbach, Kun Suo
QuestMonitor: A Visualization Platform for Declarative Network Protocols.
MSV 2011: The 8th International Conference on Modeling, Simulation and Visualization Methods, Las Vegas, USA.
- Yuxin Deng, Stéphane Grumbach, Jean-François Monin
A Framework for Verifying Data-Centric Protocols.
FORTE 2011: The 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, Reykjavik, Iceland.
- Ahmad Ahmad-Kassem, Nathalie Mitton.
Adapting Dynamically Neighbourhood Table Entry Lifetime in wireless Sensor Networks. with BEST PAPER AWARD
WCSP 2010: The 2010 International Conference on Wireless Communications and Signal Processing, Suzhou, China.
Software
Seminar
Weekly seminar 3rd meeting room 13 floor CASIA at 14:30 on every Friday
Projects
- ANR Ubiquest, Ubiquitous Quest : declarative approach for integrated network and data management in wireless multi-hop networks, with Grenoble Institute of Technology (Christine Collet, Christophe Bobineau), and INRIA CITI Laboratory in Lyon (Stéphane Ubéda, Fabrice valois). 2009-2012
Past Projects
- CRC Bamboo on Distributed Query Processing and Networking for Wireless Network, with FT R&D Beijing, 2007-2009
- Sino-French PRA project, with CITI lab in INSA-Lyon， 2007-2008.
Positions available in Netquest
