The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineeri...The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
to maintainability model-checking petri missile real-time markov security complexity monitoring high-availability life-critical biomedical reliability evaluation systems server trees transactional engineering mission-critical n-modular-redundancy infrastructures methods prognostic fault-tolerance formal bayesian networks automatic satellite validation high-assurance nuclear safety-critical design software dependability prevention diagnostic protection watchdog fault-injection verification planes fly-by-wire tran control computer military multi-paradigm high-integrity rejuvination railway devices telecommunication shuttle RAMS and uml installations plants distributed apparels heterogeneous voters testing fault money-critical automotive chemical diversity nets theorem-proving diagrams development brake-by-wire repairable deadlock electrical space chains majority safety large modeling multi-formalism block by flamminifra on Jul 9, 2008, 1:51 PM
::
flamminifra ::
