Projects
The RCL group is working on several projects, mainly related to dependable and distributed computing: here follows a brief list of them.
For more details about the current projects, please visit the current projects
page.
ALARP (A.L.A.R.P.
A railway automatic track warning system based on distributed personal mobile terminals) |
 |
CHESS (Composition with guarantees for High-integrity Embedded Software components aSsembly) |
 |
INSPIRE (INcreasing Security and Protection through Infrastructure REsilience) |
 |
In the past the RCL group worked on several projects; here follows a brief list of them.
For more details about the concluded projects, please visit the concluded projects
page.
AMBER (Assessing, Measuring and BEnchmarking Resilience) |  |
SAFEDMI (Safe Driver Machine Interface for ERTMS automatic train control) |  |
CRUTIAL (CRitical UTility InfrastructurAL Resilience) |  |
HIDENETS (HIghly DEpendable ip-basedNETworks and Services) |  |
CAUTION++ (Capacity and Network Management for Increased
Utilisation of wireless Systems of Next Generation++) |  |
HIDE (High Level
Integrated
Design
Enviroment for Dependability) |  |
GUARDS (Generic Upgradable Architecture for Real-Time Dependable Systems) |  |
The RCL group developed (or contributed in the development) of some tools (or part of them), e.g. DEEM.
For more details about the tools, please visit the tools page.
DEEM (DEpendability Modeling and Evaluation of Multiple Phased Systems) |  |
NekoStat |  |
