certainty
Home
About CERTAINTY
Objectives
Technical approach
Demonstration and Use
Impact
Project
Project structure
WP1 - Requirements
WP2 - Common Languages and Models
WP3 - Resources Access Identification and Static Timing Analysis
WP4 - Reliability
WP5 - Interference
WP6 - Formal Component Based Design and Validation
WP7 - System Synthesis
WP8 - Industrial Validation
WP9 - Dissemination and Exploitation
WP10 - Management
Partners
Partners-profile and main contributions
Publications
Publication
Deliverables
Links
Contact
Links
News
No news at this moment
See all news
Links
Related projects
ADFX
(Avionics Full Duplex Switched Ethernet)
COMBEST
(COMponent-Based Embedded Systems design Techniques)
PREDATOR
(Design for predictability and efficiency)
RECOMP
(Reduced Certification Costs Using Trusted Multi-core Platforms)
SPEEDS
(SPEculative and Exploratory Design in Systems Engin)
SHAPES
(scalable software hardware architecture platform for embedded systems)
Conferences
ASP-DAC
(Asia and South Pacific Design Automation Conference)
DAC
(Design, and Automation Conf.)
DATE
(Design, Automation, and Test in Europe)
ECRTS
(Euromicro Conf. on Real-Time Systems)
EMSOFT
(International Conf. on Embedded Systems)
ESWEEK
(Embedded Systems Week)
HSCC
(Hybrid Systems Computation and Control)
LCTES
(Languages, Compilers, and Tools for Embedded Systems)
RTAS
(iEEE Real Time Technology and Applications Symposium)
RTSS
(Real-time Systems Symposium)
T
ACAS
(Tools and Algorithms for the Construction and Analysis of Systems)
Other links
CORDIS
EU 7th Framework Programme