International Journal of Critical Computer-Based Systems (IJCCBS)

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


Pages Title and author(s)
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