Research
Research carried out with SEL facilities
Hardware Projects
Prototipo PRPC MK2:
Apparato atto ad accendere e spegnere carichi elettrici secondo una predeterminata sequenza e secondo dei predeterminati tempi.
Il PRPC MK2 e' un apparato industriale che utilizza hardware open source!
In dettaglio si utilizza l'hardware open source Arduino.
Alcune caratteristiche tecniche:
- Controllo dei relays di potenza tramite scheda Arduino UNO R3.
- Programmabile in linguaggio C tramite la porta USB.
- Alimentatore 12V autocostruito.
- Sensore di temperatura per le ventole.
Software Projects
Etherframe *REMOVED*
Etherframe is a small program that count ethernet frames and display statistics. See the project page.
Libsprite *REMOVED*
Libsprite is a library of low-level sprite functions. See the project page.
Research of interest to SEL
Operating Systems
- CapROS, The Capability-based Reliable Operating System (descends from EROS)
- Coyotos, The Coyotos Secure Operating System (descends from EROS)
- Coyotos Mailinglists
- Coyotos Mercurial repository
Programming languages
- The BitC Programming Language
- The BitC repository
- E, The E programming language
- Lambda the Ultimate - The Programming Languages Weblog
Capabilities
- Capabilities on Wikipedia
- What is a Capability, Anyway?, Jonathan S. Shapiro
- Where Capabilities Come From, Jonathan S. Shapiro
- Introduction To Capability Based Security, Marc Stiegler
- Capability Theory by Sound Bytes, Norm Hardy
- Computer Security: Fact Forum Framework, Mark S. Miller
Clusters
