Software
From Navigators
(Difference between revisions)
| Line 3: | Line 3: | ||
* [http://www.navigators.di.fc.ul.pt/software/tcb/index.htm TCB/TTCB], a distributed [[Publication:Paulo-verissimo2006travelling|wormhole]] that provides a set of time and security related services. | * [http://www.navigators.di.fc.ul.pt/software/tcb/index.htm TCB/TTCB], a distributed [[Publication:Paulo-verissimo2006travelling|wormhole]] that provides a set of time and security related services. | ||
* [http://sourceforge.net/projects/rt-pss/ RT-PSS], a real-time proactive secret sharing library for [https://www.rtai.org/ RTAI]. | * [http://sourceforge.net/projects/rt-pss/ RT-PSS], a real-time proactive secret sharing library for [https://www.rtai.org/ RTAI]. | ||
| - | * [ | + | * [https://github.com/bft-smart/depspace DepSpace], a Byzantine fault-tolerant coordination service based on the tuple space model. |
* [http://www.navigators.di.fc.ul.pt/software/jitt JITT], a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing. | * [http://www.navigators.di.fc.ul.pt/software/jitt JITT], a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing. | ||
* [http://bft-smart.github.io/library/ BFT-SMaRt], a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements. | * [http://bft-smart.github.io/library/ BFT-SMaRt], a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements. | ||
* [http://www.navigators.di.fc.ul.pt/software/Adaptare.jar Adaptare], a framework for automatic and dependable adaptation in dynamic environments. | * [http://www.navigators.di.fc.ul.pt/software/Adaptare.jar Adaptare], a framework for automatic and dependable adaptation in dynamic environments. | ||
* [https://github.com/jpgcc/hssim hsSim], an extensible interoperable object-oriented n-Level hierarchical scheduling simulator. | * [https://github.com/jpgcc/hssim hsSim], an extensible interoperable object-oriented n-Level hierarchical scheduling simulator. | ||
Revision as of 15:21, 3 June 2015
- xAmp, a protocol suite for group communication.
- Appia, a layered communication toolkit.
- TCB/TTCB, a distributed wormhole that provides a set of time and security related services.
- RT-PSS, a real-time proactive secret sharing library for RTAI.
- DepSpace, a Byzantine fault-tolerant coordination service based on the tuple space model.
- JITT, a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing.
- BFT-SMaRt, a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements.
- Adaptare, a framework for automatic and dependable adaptation in dynamic environments.
- hsSim, an extensible interoperable object-oriented n-Level hierarchical scheduling simulator.
