International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers - linking academia, business and industry through research

International Journal of Critical Computer-Based Systems

Special Issue on Fault-Tolerant Computer Systems

Guest Editors: Dr. Leon Alkalai, Dr. Timothy Tsai and Professor Tomohiro Yoneda

Pages	Title and author(s)
202-226	Interactive cockpits as critical applications: a model-based and a fault-tolerant approach Camille Fayollas; Jean-Charles Fabre; Philippe Palanque; Éric Barboni; David Navarre; Yannick Deleris DOI: 10.1504/IJCCBS.2013.058407
227-247	Efficient online memory error assessment and circumvention for Linux with RAMpage Horst Schirmeier; Ingo Korb; Olaf Spinczyk; Michael Engel DOI: 10.1504/IJCCBS.2013.058397
248-264	Towards spatial isolation design in a multi-core real-time kernel targeting safety-critical applications Gang Li; Søren Top DOI: 10.1504/IJCCBS.2013.058402
265-279	Low-power test sets under test-related primary input constraints Irith Pomeranz DOI: 10.1504/IJCCBS.2013.058396
280-300	The TTEthernet synchronisation protocols and their formal verification Wilfried Steiner; Bruno Dutertre DOI: 10.1504/IJCCBS.2013.058398