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