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 chemical satellite planes systems RAMS control formal telecommunication repairable high-integrity deadlock petri modeling infrastructures majority tran electrical railway multi-formalism apparels rejuvination engineering automatic bayesian markov methods safety monitoring block prevention design diagnostic voters real-time multi-paradigm testing money-critical watchdog fault-tolerance military mission-critical fault-injection life-critical space distributed brake-by-wire large computer high-availability networks protection development model-checking security diagrams biomedical missile fly-by-wire chains automotive and transactional reliability n-modular-redundancy evaluation nets heterogeneous uml prognostic dependability software maintainability nuclear validation plants safety-critical devices high-assurance complexity trees server shuttle fault verification theorem-proving diversity installations by flamminifra on Jul 9, 2008, 1:51 PM
::
flamminifra ::
