Journal cover image

Browse issues

Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Critical Computer-Based Systems

2013 Vol. 4 No. 3

Special Issue on Fault-Tolerant Computer Systems

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


PagesTitle and authors
202-226Interactive 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-247Efficient 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-264Towards 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-279Low-power test sets under test-related primary input constraints
Irith Pomeranz
DOI: 10.1504/IJCCBS.2013.058396

280-300The TTEthernet synchronisation protocols and their formal verification
Wilfried Steiner; Bruno Dutertre
DOI: 10.1504/IJCCBS.2013.058398