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

Publications

  • Publication
  • Deliverables

News

No news at this moment
See all news

Publication

Display By Year : All


Sort By : Author Title Reference

Pontus Ekberg, Wang Yi

Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks

ECRTS 2012, Pisa (Italy) 2012

Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi

Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems

RTSS 2011, Vienna (Austria) 2011

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Mixed Critical Earliest Deadline First

Verimag Research Report No TR-2012-22, Grenoble (France) 2012

Saddek Bensalem, Benoit Boyer, Marius Bozga, Axel Legay

Incremental Generation of Linear Invariants for Component-Based Systems

Verimag Research Report No TR-2012-15, Grenoble (France) 2012

Jingyi Bin

Controlling execution time variability using COTS architecture for mission critical systems

ACACES (HiPEAC) summer school 2012, Fiuggi (Italy) 2012

Philip Axer

Designing an analyzable and resilient embedded operating system

GI-Edition Lecture Notes in Informatics, Braunschweig (Germany) 2010

Sophie Quinton

Generalized weakly-hard constraints

5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Heraklion (Greece) 2012

Sophie Quinton

Formal analysis of sporadic bursts in real-time systems

DATE 2013, Grenoble (France) 2013

Mircea Negrean

Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems

DATE 2013, Grenoble (France) 2013

Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele

Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems

EMSOFT 2012, Tampere (Finland) 2012

Pratyush Kumar, Nikolay Stoimenov, Lothar Thiele

An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems

ECRTS 2012, Pisa (Italy) 2012

Shin-Haeng Kang, Hoeseok Yang, Lars Schor, Iuliana Bacivarov, Soonhoi Ha, Lothar Thiele

Multi-Objective Mapping Optimization via Problem Decomposition for Many-Core Systems

ESTIMedia 2012, Tampere (Finland) 2012

Pratyush Kumar

Quantifying the Effect of Rare Timing Events with Settling-Time and Overshoot

RTSS 2012, San Juan (Puerto Rico) 2012

Pavel Krcal

A Treatment of Not Logic in Fault Tree and Event Tree Analysis

PSAM 2012, Helsinki (Finland) 2012

Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand

Meeting Real-Time Requirements with Multi-Core Processors

Lecture Notes in Computer Science, Berlin (Germany) 2012

Georgia Giannopoulou

Derivation of access request arrival curves for dedicated superblock sequences

TIK Technical Report No. 347, TIK laboratory, ETH Zurich (Switzerland) 2012

Nan Guan, Mingsong Lv, Yu Ge and Wang Yi

WCET Analysis with MRU Caches: Challenging LRU for Predictability

RTAS 2012, Beijing (China) 2012

Nan Guan, Martin Stigge, Yu Ge, and Wang Yi

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling

26th IEEE International Parallel & Distributed Processing Symposium, Shanghai (China) 2012

Nan Guan and Wang Yi

Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound

2012 IEEE 26th International Parallel and Distributed Processing Symposium, Shanghai (China) 2012

Philipp Ruemmer, Hossein Hojjat and Viktor Kuncak

Classifying and Solving Horn Clauses for Verification

VSTTE 2013, Atherton (California) 2013

Philip Axer and Rolf Ernst

Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors

DAC 2013, Austin (USA) 2013

Axel Legay, Saddek Bensalem, Benoît Boyer and Marius Bozga

Incremental Generation of Linear Invariants for Component-Based Systems

ACSD 2013, Barcelona (Spain) 2013

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Mixed Critical Earliest Deadline First

ECRTS 2013, Paris (France) 2013

Philip Axer, Moritz Neukirchner, Sophie Quinton, Rolf Ernst, Björn Döbel and Hermann Härtig

Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints

ECRTS 2013, Paris (France) 2013

Philipp Ruemmer, Hossein Hojjat and Viktor Kuncak

Disjunctive Interpolants for Horn-Clause Verification

CAV 2013, Saint Petersburg (Russia) 2013

Dario Socci

Modeling mixed-critical Systems in Real-Time BIP

ReTiMiCS 2013 - 1st workshop on Real-Time Mixed Criticality Systems, Taipei (China) 2013

Pengcheng Huang

Interference Constraint Graph – A New Specification for Mixed-Criticality Systems

ETFA 2013, Cagliari (Italy) 2013

Ayoub Nouri

SBIP: A Statistical Model Checking Extension for the BIP Framework

SMC 2013 - 1st Workshop on Statistical Model Checking, Rennes (France) 2013

Kai Lampka

With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures

Int. Conf. on Runtime Verification 2013, Rennes (France) 2013

Georgia Giannopoulou

Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems

EMSOFT 3013, Montreal (Canada) 2013

M. Neunkirchner, K. Lampka

Multi-Mode Monitoring for Mixed-Criticality Real-time Systems

CODES+ISSS 2013, Montreal (Canada) 2013

Nan Guan

Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems

RTSS 2013, Vancouver (Canada) 2013

Martin Stigge

Iterative Abstraction Refinement for Feasibility Analysis

RTSS 2013, Vancouver (Canada) 2013

Pengcheng Huang

Service Adaptions for Mixed-Criticality Systems

Asia and South Pacific Design Automation Conference (ASP-DAC 2014) 2014

Ayoub Nouri

Statistical model checking QoS properties of systems with SBIP

International Journal on Software Tools for Technology Transfer 2014

Eberle Rambo

Failure Analysis of a Network-on-Chip for Real-Time Mixed-Critical Systems

Design, Automation and Test in Europe (DATE 2014) 2014

Benoît Dupont de Dinechin

Time-Critical Computing on a Single-Chip Massively Parallel Processor

Design, Automation and Test in Europe (DATE 2014) 2014

Lacramioara Aştefănoaei

Compositional Invariant Generation for Timed Systems

Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) 0

Pengcheng Huang

On the Scheduling of Fault-Tolerant Mixed-Criticality Systems

Design Automation Conference (DAC 2014) 0

Devendra Rai

An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor

Design Automation Conference (DAC 2014) 2014

Jonas Flodin, Kai Lampka, Wang Yi

Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks

Symposium on Industrial Embedded Systems (SIES 2014) 2014

Adam Kostrzewa

Supervised Sharing of Virtual Channels in Networks-on-Chip

International Symposium on Industrial Embedded Systems (SIES 2014) 2014

Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi

Horn Clauses for Communicating Timed Systems

Workshop on Horn Clauses for Verification and Synthesis (HCVS 2014) 0

Eberle Rambo

FMEA-Based Analysis of a Network-on-Chip for Mixed-Critical Systems

International Symposium on Networks-on-Chip (NoCS 2014) 2014

Ayoub Nouri

Faster Statistical Model Checking by Means of Abstraction and Learning

Int. Conf. on Runtime Verification (RV 2014) 2014

Pengcheng Huang

Energy Efficient DVFS Scheduling for Mixed-Criticality Systems

International Conference on Embedded Software (EMSOFT 2014) 2014

Kai Lampka

A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets

Real-Time Systems journal, Volume 50, Issue 5 2014

Petro Poplavko

Models for Deterministic Execution of Real-time Multiprocessor Applications

VERIMAG technical reports 2014

Dario Socci

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs

VERIMAG technical reports 2014

Benoît Dupont de Dinechin

Guaranteed Services of the NoC of a Manycore Processor

Network on Chip Architecture Workshop (NoCArc 2014) 2014

Georgia Giannopoulou

Mixed-Criticality Scheduling on Cluster-Based Manycores with Shared Communication and Storage Resources

Submitted to Real-Time Systems Journal (under review) 2014

  • Prev
  • 1
  • Next

Project information:

The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175


Coordinator

DR. Madeleine FAUGÈRE

Organisation

THALES S.A.

Copyright © 2012 CERTAINTY
All rights Reserved
Legals mentions