A master thesis from Aalborg University
Network failure detection using type systems in DπF
Author(s)
Term
10. Term
Education
Publication year
2009
Submitted on
2012-02-14
Abstract
The main objective of our project is to prevent unwanted deaths of the locations that conform a network. In order to do that, we build Type Systems to control if a network defined with DπF has any premature killing (kill-safe) or unwanted murder (migration-safe). We use the typing rules of the type systems to analyze the DπF code of a network to be able to say if it will have the expected behaviour. Firstly the main characteristics of DπF are explained. Later, the different options of kill-safety are analyzed and an unimportance predicate is presented as a generalization of the previous kill-safety proposals. A type system for kill-safety is also presented. Afterwards, an improvement to the previous system is introduced in order to control the murders from a location to another one. Finally the problem of indirect murders is analyzed and a new type system is developed as its solution. This report ends with the main project conclusions and the proposal of some further work.
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.