TIOA Simulator (2004-2006)

The TIOA Simulator can test a distributed system specified in the TIOA Language. With TIOA, one can specify, test and verfiy complex distributed systems with guarantees of correctness, performance, fault-tolerance and availability. 

The TIOA Simulator simulates execution of primitive and composite automata, and displays the results in both a "trace" output as well as in a graphical user interface. Screenshot:  

 

EPC Global network: A formal specification of EPCIS

A formal specification of the EPC Information Service component of the proposed EPC Global Network. The EPC Global Network aims to
enhance the global supply chain with Radio Frequency Identification (RFID) technology, by providing real-time information about items as they pass various points in the supply chain.

A formal specification as well as a scalable, fault-tolerant, reliable and highly available implementation are given, specified formally in TIOA.

Peer to Peer (P2P) Identification (2005)

A new approach for P2P traffic identification in large networks, using only transport layer headers and fundamental characteristics of P2P protocols, such as a large network diameter and the presence of many hosts acting both as servers and clients. We identify both known and unknown P2P protocols in a simple and efficient way.

IOA Compiler (2002)