International Journal of Critical Computer-Based Systems  (IJCCBS)
ISSN (Online): 1757-8787  -  ISSN (Print): 1757-8779

Published in 4 issues per year  (View Subscription Price)

Inaugural Issue Call for Papers more details

   Objectives

The objective of IJCCBS is to provide insights, methods and tools to support the design and analysis of complex critical CBS. It also aims at disseminating new standards, processes and technologies together with development and verification approaches supported by sound case-study applications and success stories. Issues related to methodological and technological transfers from/to other research fields are addressed as well. Due to the interdisciplinary nature of some topics, IJCCBS seeks self-contained and well-focused papers even on subjects which are not strictly related to computer science.

   Readership

Readers of IJCCBS include professionals (system engineers, system integrators, RAMS consultants), researchers and information infrastructure managers who wish to acquire knowledge, develop skills and share their experience and points of view in the application field of complex CBS, including money-critical and life-critical systems (industrial control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.).

   Contents

IJCCBS publishes original research and survey papers as well as case-studies. Special issues on specific topics and applications will occasionally be published.

   Subject Coverage

Suitable topics include, but are not limited to:

• Engineering methods for high-assurance systems in real-time control applications
• Performance, dependability and security evaluation using analytical models, simulation or empirical approaches
• Management of complexity in large, distributed and heterogeneous CBS, including compositional and hierarchical approaches
• Verification and validation, including model-based software testing and formal methods (model-checking, theorem proving)
• Fault-tolerant, resilient, reactive and reconfigurable architectures
• Multi-formalism and multi-paradigm approaches, including UML-based methods
• Novel approaches to safety assessment, hazard analysis and failure mode and effect analysis (FMEA), with special emphasis on immature domains
• Business continuity management: backup strategies and disaster recovery procedures
• Maintainability and human factors in CBS
• Model-based security engineering and design for security
• Cost-benefit optimization of design parameters, including genetic approaches
• Measured data management, integration, fusion, correlation and reasoning for on-line diagnostics and prognostics of CBS
• Statistical approaches for field data retrieval, filtering and analysis in the operational phase
• Innovative applications, case-studies and industrial experience reports (process control, biomedicine, X-by-wire, e-commerce, etc.)
• Advances in dependability modelling formalisms (fault trees, Markov chains, Petri nets, etc.)
• Fault/attack-injection and design for testability
• Software reliability, including design diversity and software rejuvenation
• Systematic model-based, model-driven, co-modelling and concurrent engineering approaches
• Computer-based risk assessment, decision support and early warning systems
• Technologies, methodologies and standards for the co-design of hardware-software embedded architectures
• New structured and hybrid approaches for critical software engineering
• Management of issues in off-the-shelf components integration for dependable systems
• Dependability in mobile, agent-based, dynamic and adaptive systems
• Information security, firewall, intrusion detection and intrusion-tolerant systems
• Advanced monitoring, surveillance, supervision and control applications, including smart sensors, ad-hoc wireless networks, intelligent video analysis and RFID
• Cognitive, autonomous and decentralized systems in transportation, automotive, domotic, pervasive and ubiquitous computing applications
• Middleware and protocols for dependable service-oriented and GRID applications
• Organisational, procedural and ergonomic aspects of human-machine interaction in critical CBS

   Specific Notes for Authors

Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. (N.B. Conference papers may only be submitted if the paper was not originally copyrighted and if it has been completely re-written).

All papers are refereed through a double blind process. A guide for authors, sample copies and other relevant information for submitting papers are available on the Submission of Papers web-page.

You may send one copy in the form of an MS Word file attached to an e-mail (details of file formats in Author Guidelines) to Dr. Francesco Flammini

Please include in your submission the title of the Journal

   Editors and Members of the Editorial Board

Editor in Chief

Dr. Francesco Flammini
System Engineer & Researcher, Ansaldo STS Italy; Adjunct Professor of Computer Science
University of Naples Federico II
Department of Computer & Systems Engineering
Via Claudio 21
Naples 80125
ITALY
frflammi@unina.it

Associate Editor

Prof. Valeria Vittorini
Associate Professor
University of Naples Federico II
Department of Computer & Systems Engineering
Via Claudio 21
Naples 80125
ITALY

Editorial Board Members

Jean-Paul BlanquartJe
Astrium Satellites
Space Systems Safety and Dependability
ASG78 - RAMS Engineering
31 rue des cosmonautes
F-31402 Toulouse Cedex 4
FRANCE

Prof. Andrea BondavalliAn
Associate Professor
University of Florence
Viale Morgagni, 65
Florence 50134
ITALY

Prof. Michael J. ButlerMi
Head, Group in Dependable Systems & Software Engineering
University of Southampton
School of Electronics and Computer Science
Highfield
Southampton SO17 1BJ
UK

Prof. Giuliana FranceschinisGi
Professor of Computer Science
University of Piemonte Orientale
Department of Computer Science
Via Bellini 25/g
Alessandria 15100
ITALY

Dr. Rick HarperRi
Research Staff Member
IBM T. J. Watson Research Center
P.O. Box 218
Yorktown Heights, NY 10598
USA

Dr. Gerard HolzmannGe
Computer Science Department at the California Institute of Technology (Caltech) and
NASA Jet Propulsion Laboratory
Laboratory for Reliable Software
4800 Oak Grove Drive
Pasadena, CA 91109
USA

Leonardo ImpagliazzoLe
Head, Software Testing Group
ANSALDO STS Italy
Verification & Validation / RAMS Department
Via Nuova delle Brecce 260
Naples 80147
ITALY

Prof. Dr. Jan JurjensJa
Fraunhofer Institute for Software and Systems Engineering (IŠT) and
TU Dortmund
Department of Computer Science
44221 Dortmund
GERMANY

Dr. Karama KanounKa
Director of Research
LAAS-CNRS
7 avenue du Colonel Roche
31077 Toulouse
FRANCE

Prof. Johan KarlssonJo
Professor in Dependable and Robust Real-Time Systems
Chalmers University of Technology
Department of Computer Science and Engineering
SE-412 96 Göteborg
SWEDEN

Dr. Tim KellyTi
Senior Lecturer
University of York
Department of Computer Science
Heslington, York YO1 5DD
UK

Prof. Tiziana MargariaTi
Chair, Service and Software Engineering
University of Potsdam
Institute for Informatics
August Bebel Straße 89
14482 Potsdam
GERMANY

Prof. Antonino MazzeoAn
Professor of Computer Architecture; Department Director
University of Naples Federico II
Department of Computer & Systems Engineering
Via Claudio 21
Naples 80125
ITALY

Prof. Nicola MazzoccaNi
Professor of High-Performance and Reliable Computing
University of Naples Federico II
Department of Computer & Systems Engineering
Via Claudio 21
Naples 80125
ITALY

Dr. Pieter J. MostermanPi
Senior Research Scientist
The MathWorks, Inc.
Real-time and Modeling & Simulation Technologies
3 Apple Hill Dr.
Natick, MA 01760
USA

Prof. Takashi NanyaTa
University of Tokyo
Research Center for Advanced Science and Technology
4-6-1, Komaba, Meguro-ku
Tokyo 153-8904
JAPAN

Dr. Nuno Ferreira NevesNu
Assistant Professor
Universidade de Lisboa
Departamento de Informática
Faculdade de Ciências
Bloco C6 - Piso 3, Campo Grande
1749-016 Lisboa
PORTUGAL

Odd NordlandOd
Senior Research Scientist
SINTEF ICT
S. P. Andersens vei 15
Trondheim N 7465
NORWAY

Prof. András PatariczaAn
Budapest University of Technology and Economics
Department of Measurement and Information Systems
Magyar tudósok krt. 2. B. 420
H-1502 Budapest
HUNGARY

Prof. Ricardo Jiménez PerisRi
Associate Professor of Computer Science
Universidad Politécnica de Madrid
Campus de Montegancedo s/n
Boadilla del Monte
Madrid 28660
SPAIN

Dr. David PowellDa
Director of Research
LAAS-CNRS
7 avenue du Colonel Roche
31077 Toulouse
FRANCE

Prof. Paolo PrinettoPa
Adjunct Professor, University of Illinois at Chicago; Professor of Computer Engineering
Politecnico di Torino
Dipartimento di Automatica e Informatica
Corso Duca degli Abruzzi, 24
Torino I-10129
ITALY

Blake PutneyBl
Principal Consultant
Valador
1860 East Embarcadero Road, Suite 155
Palo Alto, CA 94303
USA

Prof. Hassan RezaHa
Associate Professor of Computer Science
University of North Dakota
School of Aerospace Sciences
Grand Forks, ND 58202
USA

Prof. Luigi RomanoLu
Associate Professor
University of Naples Parthenope
Department for Technologies
Via Medina 40
Naples 80133
ITALY

Prof. Alexander RomanovskyAl
University of Newcastle upon Tyne
School of Computing Science
Newcastle upon Tyne, NE1 7RU
UK

Prof. Francesca SagliettiFr
Chair of Software Engineering
University of Erlangen-Nuremberg
Martensstrasse 3
91058 Erlangen
GERMANY

Dr. Lisa SpainhowerLi
Distinguished Engineer
IBM
Systems and Technology Group
2455 South Rd.
Poughkeepsie, NY 12601
USA

Dr. Neil StoreyNe
Associate Professor
University of Warwick
School of Engineering
Coventry, CV4 7AL
UK

Prof. Neeraj SuriNe
TUD Chair Professor of Dependable Embedded Systems & Software
Technische University Darmstadt
Department of Computer Science
Hochschulstr. 10
Darmstadt 64289
GERMANY

Prof. Kishor TrivediKi
Hudson Professor of Electrical and Computer Engineering
Duke University
Department of Electrical and Computer Engineering
Durham, NC 27708
USA

Prof. Hans VangheluweHa
Associate Professor
McGill University
School of Computer Science
3480 University Street
Montréal, Québec H3A 2A7
CANADA

Angela VozellaAn
CIRA (Italian Aerospace Research Center)
V&V - RAMS Group
Via Maiorise - 81043 Capua
ITALY

Prof. Armin ZimmermannAr
Technische Universität Ilmenau
System and Software Engineering
P.O. Box 100565
D-98684 Ilmenau
GERMANY