A critical literature review on biohydrogen production by pure cultures

Global research is moving forward in developing hydrogen as a renewable energy source in order to alleviate concerns related to carbon dioxide emissions and depleting fossil fuels resources. Biohydrogen has the potential to replace current hydrogen production technologies relying heavily on fossil fuels. Batch and continuous systems employing pure mesophiles and thermophiles isolates and co-cultures of isolates have been investigated. The co-cultures of the isolates achieved better results than mono-cultures of the isolates with respect to different parameters. This paper presents a critical review of the literature reporting on fermentative biohydrogen production by pure cultures of bacteria in different systems. Synergies between different types of bacteria, i.e. strict and facultative, and a comparison between mono- and co-cultures, types of feedstocks, and preferred feedstocks for mono- and cultures are outlined.     

SeSFJava harness: service and assertion checking for protocol implementations

Many formal specification languages and associated tools have been developed for network protocols. Ultimately, formal language specifications have to be compiled into a conventional programming language and this involves manual intervention (even with automated tools). This manual work is often error prone because the programmer is not familiar with the formal language. So our goal is to verify and test the ultimate implementation of a network protocol, rather than an abstract representation of it. We present a framework, called services and systems framework (SeSF), in which implementations and services are defined by programs in conventional languages, and mechanically tested against each other. SeSF is a markup language that can be integrated with any conventional language. We integrate SeSF into Java, resulting in what we call SeSFJava. We present a service-and-assertion checking harness for SeSFJava, called SeSFJava harness, in which distributed SeSFJava programs can be executed, and the execution checked against services and any other correctness assertions. The harness can test the final implementation of a concurrent system. We present an application to a data transfer service and sliding window protocol implementation. SeSFJava and the harness has been used in networking courses to specify and test transmission control protocol-like transport protocols and service.