Compact Self-Healing and Routing Over Low Memory Nodes (COSHER)

Lead Research Organisation: Loughborough University
Department Name: Computer Science

Abstract

Computer Networks have permeated every sphere of our lives. For example, the Internet has almost instantaneously taken over global communications and networks now pervade every part of our professional, personal and social life. A major part of this revolution is computing devices coming together in an ad-hoc manner in the form of Peer-to-Peer (P2P) overlay networks. A good example is the digital currency Bitcoin built upon P2P technology. The next step in this revolution is the Internet of Things (IOT) which will involve everyday objects of our use fitted with small low memory sensors communicating with each other forming adhoc Peer-to-Peer networks. Such networks will also be highly dynamic with frequent additions, removals or failures of nodes.
In this scenario, my project will initiate research into the development of fault-tolerant routing for such large scale networks of devices with low memory. We plan to achieve this by developing mathematically rigorous novel compact self-healing routing distributed algorithms leveraging the intense research done in previous years in compact routing and in self-healing algorithms.

Self-healing is a paradigm for reconfigurable networks that restores the global state of a network by only local changes following an adversarial attack, and allows us to deal with node removals or additions. Routing is the essential requirement in any network of being able to transport packets of data from sender node(s) to receiver node(s) often using packet headers and routing tables on intermediate nodes. Compact routing attempts to make routing scalable for large networks by minimising the space requirements at the cost of some additional delay in delivery (this is called 'stretch'). In this proposal, I plan to design a series of self-healing compact routing algorithms for nodes with low memory. These algorithms shall be mathematically analysed and bench-tested for accuracy and efficiency (in terms of time, space and message complexities).

I will actively disseminate our algorithms and generate increased scientific interest in Queen's, the larger academic community and the general public towards this line of work. Success in development of such algorithms will have significant impact down the line in development of such technologies and contribute towards preparing the UK for technologies such as IOT.

Planned Impact

The project has significant potential impact in the short, medium and long term. This project uses mathematical and theoretical tools to address a challenging problem for present and future days network: that of sending messages in a network despite failures of members/components of that network. The project is relavant to many of EPSRC's research areas and themes such as the ICT Networks and Distributed Systems (ICT/Global Uncertainities/Digital Economy), Working together and Maths of Computing.

Impact will be achieved by activities such as training, publications, participation in meetings/conferences/fairs/forums, student projects, demonstrations, websites, social platforms and engagement with policy planners and advisors. The impact can be classified into the following categories with the given timeframes:

i) Impact on individuals (< 5 years):
- PI: The project shall help the PI cement his research credentials and achieve a more secure (post-probation) position in the UK academia.
-PDRA: Shall be most directly impacted. PDRA shall receive significant scientific, professional and managerial training during the course of the project from the research, interaction with the PI and specialised training from QUB and the Royal Society (Communications course).
- QUB and UK students: These shall benefit from resultant UG/PG projects and dissemination activities at local/national level (Open days/national seminars).
- UK/International academics: The project shall advance the state of art and disseminate in international conferences.

ii) Organisations (2 - 10 years):

- Industry: The project will propose solutions at a higher/theoretical level (for a seminal problem) which takes time to be adapted/adopted/implemented for industrial use. At the same time, the resultant fan out ensures a much higher impact than a single tailor made solution. The project impacts areas such as large scale networks and Internet of Things which will see wide adoption by industry ranging from Computing (Google, facebook etc) to electricity and power to automobiles. Solutions based on our results may potentially be adopted by any or all of them.

- Government (planning): The project shall maintain already established contact with government agencies such as RaISe (Northern Ireland) and POST (Westminster); agencies which are assisting in research planning and adoption of future technologies. This shall assist in maximising the impact across organisations and general public.

iii) General public (> 5 years): Technologies already in use and those to be adopted in near future (such as IOT) will be potentially impacted; this will benefit everyday life. Possible adaptation of concepts into text book and curricula will have lasting impact. Dissemination and outreach activities (such as open days/demonstrations etc) shall influence the next generation of students.

The 'pathways to Impact' document has more details.

Publications

10 25 50
 
Description The project is in progress. Most of the research is done, conference publication was done and presented. A journal version is under preparation.

The key development so far is development of a theoretical model (Originally titled `compact memory model' - the name has been now formalised to Compact Local Streaming (CLS) after feedback from academicians), for reasoning about large networks of low memory nodes and solving the problem of preprocessing for the first compact self-healing algorithm. We have gone further afield and explored the model in its generality looking formally at its computational power and looking beyond the original problems listed in the grant.
We have also developed a basic simulation of the algorithm which could be enhanced further.
As an indirect consequence of the original aims of the project, we discovered a question related to stateless/low memory flooding on networks, which has spawned an exciting line of research.
Exploitation Route The model CLS (Compact Local Streaming) has strong potential of influencing research if it is accepted by the research community as a useful model. As part of our research, we are moving on to development of the next (and more sophisticated) algorithms addressing more dynamic scenarios. We have also discovered and analysed an important question of termination of stateless/low-memory flooding algorithms on networks.
Sectors Digital/Communication/Information Technologies (including Software),Education,Other

URL https://arxiv.org/abs/1803.03042,https://dl.acm.org/doi/10.1145/3369740.3369786,https://dl.acm.org/doi/10.1145/3293611.3331586,https://arxiv.org/abs/1907.07078
 
Description ASEM DUO-INDIA Fellowship
Amount € 6,000 (EUR)
Organisation Asia–Europe Foundation (ASEF) 
Sector Charity/Non Profit
Country Singapore
Start 01/2020 
End 12/2020
 
Title Compact Memory Model and related algorithms 
Description We have invented a new model called the 'Compact Memory Model' to model large networks of low memory nodes and use this model to propose novel distributed algorithms. This model is envisaged to capture many features of upcoming networks such as the Internet of Things. The model has now been renamed to `Compact Local Streaming' to account for the natural computational style implied by the compact memory of computation at the nodes locally by reading in a streaming manner. 
Type Of Material Computer model/algorithm 
Year Produced 2018 
Provided To Others? Yes  
Impact The model is part of a conference submission (and an Arxiv preprrint) hence it's difficult to assess the impact at the moment. 
URL https://arxiv.org/abs/1803.03042
 
Description Research Collaboration (Mexico, Israel) 
Organisation Hebrew University of Jerusalem
Department School of Computer Science and Engineering
Country Israel 
Sector Academic/University 
PI Contribution The PI initiated the project in collaboration with researchers, Prof. Danny Dolev at HUJI and Dr. Armando Castanader at UNAM. The final draft of the application was in fact written while visiting Dr. Castaneda at UNAM, Mexico as part of a Newton Fund travel grant. The PI and RA Dr. Lefevre have been in continuous touch and working actively on this collaboration.
Collaborator Contribution Prof. Dolev was the advisor of the PI (Dr. Trehan) while Dr. Trehan was an I-CORE (Israeli Centre of Research Excellence) fellow at Hebrew University of Jerusalem. He has actively contributed in developing the initial idea and has acted as an advisor and mentor to this project. Dr. Castanader has likewise been active in the research leading upto this grant and both were co-authors with the PI on the publication which formed the initial basis of the grant application. Dr. Castanader has since actively contributed to the research on this grant and has visited the research group at Loughborough at his own expense for 10 days (making an additional in-kind contribution) to work on this research.
Impact A paper titled 'Self-healing Routing and Other Problems in Compact Memory' has been submitted to PODC 2018 and has been put up on Arxiv - https://arxiv.org/abs/1803.03042
Start Year 2016
 
Description Research Collaboration (Mexico, Israel) 
Organisation National Autonomous University of Mexico
Country Mexico 
Sector Academic/University 
PI Contribution The PI initiated the project in collaboration with researchers, Prof. Danny Dolev at HUJI and Dr. Armando Castanader at UNAM. The final draft of the application was in fact written while visiting Dr. Castaneda at UNAM, Mexico as part of a Newton Fund travel grant. The PI and RA Dr. Lefevre have been in continuous touch and working actively on this collaboration.
Collaborator Contribution Prof. Dolev was the advisor of the PI (Dr. Trehan) while Dr. Trehan was an I-CORE (Israeli Centre of Research Excellence) fellow at Hebrew University of Jerusalem. He has actively contributed in developing the initial idea and has acted as an advisor and mentor to this project. Dr. Castanader has likewise been active in the research leading upto this grant and both were co-authors with the PI on the publication which formed the initial basis of the grant application. Dr. Castanader has since actively contributed to the research on this grant and has visited the research group at Loughborough at his own expense for 10 days (making an additional in-kind contribution) to work on this research.
Impact A paper titled 'Self-healing Routing and Other Problems in Compact Memory' has been submitted to PODC 2018 and has been put up on Arxiv - https://arxiv.org/abs/1803.03042
Start Year 2016
 
Description Royal Society International Exchanges 2021 Grant 
Organisation Ben-Gurion University of the Negev
Country Israel 
Sector Academic/University 
PI Contribution Starting a new collaborative research with in-depth research collaboration from both partners.
Collaborator Contribution Partner is a world-renowed expert in the areas of our collaboration, in particular, distributed graph algorithms and graph structures. We have together set up a long term collaboration.
Impact https://royalsociety.org/grants-schemes-awards/grants/international-exchanges/
Start Year 2022
 
Title COSHER- Simulation 
Description This software is a simulation tool for the algorithms developed under the COSHER project. This software will be useful both for experimental validation and insights into the algorithms and also as an educational tool for developing understanding when fully developed. 
Type Of Technology Software 
Year Produced 2018 
Impact The product has so far informed development of the theoretical algorithms for the research team but will be able to have a larger educational impact when fully developed. 
 
Description Computer Science Seminar at University of Houston 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Seminar on `Computing in the Age of Low Memory' at the University of Houson Computer Science department. Purpose was to promote the present research and discuss future collaboration. Seminar was attended by staff members and students.
Year(s) Of Engagement Activity 2019
URL https://www.uh.edu/nsm/computer-science/news-events/seminars/2019/0412-trehan.php
 
Description Departmental Seminar, CS, Royal Holloway University of London 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Local
Primary Audience Professional Practitioners
Results and Impact Department Seminar, Computer Science, Royal Holloway University of London. The PI presented the initial research from the project at the seminar. There were questions from the audience. There was also follow up in the form of email from students asking about technical aspects of the project and follow up research.
Year(s) Of Engagement Activity 2017
URL https://www.royalholloway.ac.uk/computerscience/events/eventsarticles/seminar-amitabh-trehan.aspx
 
Description Distributed Algorithms @ Loughborough Workshop - (COSHER workshop) - Organised Jan 28, 2019 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Other audiences
Results and Impact The first Distributed Algorithms @ Loughborough (DA@L) workshop. Distributed algorithms is an area of ever growing importance and interest in the UK (as evidenced by hosting of ACM PODC in London last summer).

The workshop aimed to concentrate, in a broad sense, on distributed algorithms around the themes of reliability, routing and memory. With the advent and ever growing presence of networks of devices with low memory (e.g. sensor fitted devices), such as - Internet of Things, and various new networking ideas (Fog/Edge (ref [1]/ SDN etc), there is need for smarter algorithms for the new scenarios with new models and new concepts. At the same time, routing, in particular, compact routing is an important area of research for both theoreticians and practitioners with the promise of using limited memory at nodes while still maintaining good communication. Compact routing is sensitive to failure scenarios, therefore, only a few fault-tolerant solutions exist e.g. this self-healing version.

DA@L aims to bring together both networks practitioners and theoreticians along the broad themes mentioned to inform development of distributed network algorithms. DA@L is the concluding workshop of the EPSRC grant Compact Self-Healing and Routing (COSHER).

Speakers (in alphabetic order)

Artur Czumaj, Warwick, UK
Matthew Daggitt, Cambridge, UK
Michael Elkin, Ben-Gurion University, Israel
Shay Kutten, Technion, Israel
Iain Phillips, Loughborough University, UK
Thomas Sauerwald, Cambridge, UK
Paul Spirakis, Liverpool University, UK
Amitabh Trehan, Loughborough University, UK
Posco Tso, Loughborough University, UK

The program was fully supported by the COSHER grant and included travel and accomodation costs for speakers and the actual organisation of the workshop on the day.
Year(s) Of Engagement Activity 2019
URL http://www.cosher.org/dal/
 
Description Invited Talk at Algorithmic Aspects of Temporal Graphs II workshop 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Invited talk at Algorithmic Aspects of Temporal Graphs II, a satellite workshop of the well known conference ICALP. There was good interaction with participants, which has also led to a successful travel grant with a researcher from India.
Year(s) Of Engagement Activity 2019
URL https://community.dur.ac.uk/george.mertzios/Workshops/ICALP-19-Satellite/Temporal-Graphs-ICALP-2019....
 
Description Participation and Presentation at BCTCS 2018 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Postgraduate students
Results and Impact Participation and presentation by Mr. Gary Bennett, PhD student from Dr. Trehan's group.
Year(s) Of Engagement Activity 2018
URL http://bctcs18.cs.rhul.ac.uk/
 
Description Seminar at Birkbeck College, London (March 5th, 2019) 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Postgraduate students
Results and Impact Seminar that presented some of the research outcomes from this grant.
Year(s) Of Engagement Activity 2019
URL http://www.dcs.bbk.ac.uk/seminars/current/dcsis
 
Description Seminar at Computer Science, JawaharLal Nehru University Delhi 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Postgraduate students
Results and Impact Seminar on the research topic given to (mostly) students of Computer Science at JawaharLal University, Delhi.
Year(s) Of Engagement Activity 2019
 
Description Seminar at Durham University 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach Regional
Primary Audience Professional Practitioners
Results and Impact Seminar talk at the ACiD research group at Durham University. To promote research and further collaboration and generate publicity.
Year(s) Of Engagement Activity 2019
URL https://community.dur.ac.uk/algorithms.complexity/seminars.html
 
Description Seminar at IIT Delhi 
Form Of Engagement Activity A talk or presentation
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Seminar at Computer Science department, IIT Delhi. There were technical discussions.
Year(s) Of Engagement Activity 2019
 
Description The Royal Society Residential Communication and Media Skills Course 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact The Royal Society Residential Communication and Media Skills Course Nov 13-14, 2017. This course had attendees from Universities from UK and other countries with extensive training on using communication and media for scientific writing. The PI and the RA on the project (Dr. Lefevre) both attended. The major outcome from the workshop was the development of project website www.cosher.org and writing on the PI's blog www.huntforthetowel.wordpress.com.
Year(s) Of Engagement Activity 2017
URL http://www.royalsociety.org
 
Description Visit and Discussion at Dfinity Research, Palo Alto 
Form Of Engagement Activity A formal working group, expert panel or dialogue
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Meeting and Presentation to researchers at Dfinity Research at Palo Alto. There was discussion with a view towards industrial application of the research.
Year(s) Of Engagement Activity 2019
 
Description Visit to the Parametrised Complexity Research group, University of Bergen 
Form Of Engagement Activity Participation in an activity, workshop or similar
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact One week visit to the research group on Parametrised complexity at University of Bergen, Bergen, Norway. This visit was hosted by Prof. Saket Saurabh and the intention was to explore further research possibilities combining the active research areas of distributed algorithms (such as that in Cosher) with Parametrised algorithms (which is now a well established research area). From the UK, the PI (Dr. Trehan), the RA on Cosher grant (Dr. Lefevre) and PhD student Chhaya Trehan. Dr. Trehan and Dr. Lefevre gave a series of lectures and talks over the week to the researchers (`professors and graduate and postgraduate students) from the group. The research group at Bergen has expressed interest in continuing and following up on collaboration and collaborative research.
Year(s) Of Engagement Activity 2017
URL https://huntforthetowel.wordpress.com/2017/10/03/a-week-in-bergen/
 
Description Visit, Research and Seminar by Dr. Armando Castaneda, UNAM, Mexico 
Form Of Engagement Activity Participation in an open day or visit at my research institution
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Professional Practitioners
Results and Impact Dr. Castaneda visited us (Loughborough) from Oct 18th to 30th with an objective of initiating and furthering research on the project (COSHER) and interacting with colleagues and students here. It was a very successful visit laying the foundation of a research paper we are close to publishing. Armando also gave a seminar talk which generated good interest and feedback from attending students.
Year(s) Of Engagement Activity 2017
 
Description Website: www.cosher.org 
Form Of Engagement Activity Engagement focused website, blog or social media channel
Part Of Official Scheme? No
Geographic Reach International
Primary Audience Media (as a channel to the public)
Results and Impact The website www.cosher.org was designed for outreach and dissemination from the project including publications, news and educational simulation.
Year(s) Of Engagement Activity 2017,2018
URL http://www.cosher.org