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