Back to homepage utwente.nl
Contact
CTIT Home
>
...
>
Dependable Systems and Networks
>
Projects
Home
CTIT Symposium 2012
About CTIT
News
NIRICT
Research
Meet the PhDs
Working at CTIT
Internal Information
Conferences
Open Calls (updated April 20, 2012)
Library and Videos
Knowledge Transfer
Links
Sitemap
Search
Projects
Current projects
▪
ADREM - Ad-hoc Dynamic Radio-spectrum Exploitation via Multi-phase Radio (STW)
▪
Allegio (COMMIT)
▪
AOSD Europe - Aspect-oriented software development
▪
CAD (Cyber-Attack Detector)
▪
CHARTER - Critical and High Assurance Requirements Transformed through Engineering Rigour
▪
CLASHES - ControL and Analysis for the Stability of Hybrid and Embedded Systems
▪
COST TMA: Traffic Monitoring and Analysis: theory, techniques, tools and applications for the future networks
▪
DESTECS - Design Support and Tooling for Embedded Control Software
▪
ENOFES - Energy Optimization Framework for Embedded Systems
▪
GRAIL: Graphs for Abstract Interpretation of Languages
▪
HIRF-SE: High Intensity Radiated Environment
▪
INESS - Integrated European Signalling System
▪
McSTORES - Model Checking Stochastic Systems using Rare Event Simulation
▪
Midas: Intrusion detection for SCADA (Ministry of Interior)
▪
NADINE - New tools and Algorithms for Directed Network analysis (FET Open Scheme)
▪
Next Generation Ethernet Network Monitoring (SURFnet)
▪
MOPE - Multi-dimensional Optimization of Power Electronics
▪
Octopus (Bsik/ESI)
▪
Quasimodo (Quantitative System Properties in Model-Driven Design of Embedded Systems)
▪
ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
▪
SANDRA - Seamless Aeronautical Networking through integration of Data links, Radios, and Antennas
▪
SLALOM: Security by Logic for Multithreaded applications
▪
SYRUP - SYmbolic RedUction of Probabilistic Models
▪
TENETS - Towards efficient simulation of non-Markovian queueing networks
▪
Univerself
Concluded projects
▪
A4 - Adaptive non-volatile storAge systems for Adaptive Applications
▪
AOSAD (NWO/STW-Jacquard)
▪
ARTIST 2 - Embedded System Design
▪
BB Photonics - Dynamically reconfigurable broadband photonic access networks
▪
CEDUF - Dealing with conflicting and evolving designs using fuzzy logic
▪
DARTS - Design and Analysis of Robust Timed Systems
▪
Darwin
▪
Full-service Access Network using Multimode Fibre
▪
GROOVE - Graphs for object-oriented verification
▪
EC-MOAN
▪
Emanics - European Network of Excellence for the Management of Internet Technologies and Complex Services
▪
HYCON- Taming Heterogeneity and Complexity of Networked Embedded Systems
▪
IDEALS
▪
GEODES: Global Energy Optimization for Distributed Embedded Systems (ITEA2)
▪
MC=MC - Model-checking of infinite-state Markov chains
▪
MOQS - Modeling and analysis of QoS of component-based designs
▪
Research on Networks (Bsik/Gigaport NG)
▪
Quality of Service for Metropolitan Ethernet Networks
▪
Minimisation of energy consumption in wireless communication networks with high demand for reliability (NWO-Casimir)
▪
STAP - Advanced Robust STAP Algorithms and Fast Performance Evaluation Techniques based on Rare Event Theory (EOARD)
▪
MOCA - Modeling Control Aspects of Embedded Systems
▪
Tangram
▪
Trader (Bsik/ESI)
▪
VOSS II
▪
veriGEM - A verication grid for enhanced model checking
▪
WiCom - Microelectronics for the Next Generation of Wireless Communication
▪
ViewCorrect (STW/PROGRESS)