posted by user: flamminifra || 2042 views || tracked by 3 users: [display]

IJCCBS 2010 : International Journal of Critical Computer-Based Systems

FacebookTwitterLinkedInGoogle

Link: http://www.inderscience.com/ijccbs/
 
When N/A
Where N/A
Submission Deadline TBD
Categories    computer dependability   fault-tolerance real-time   money-critical safety-critical   software reliability models
 

Call For Papers

********************************************************************
CALL FOR PAPERS

International Journal of Critical Computer-Based Systems (IJCCBS)

http://www.inderscience.com/ijccbs

********************************************************************

The International Journal of Critical Computer-Based Systems (Inderscience Publishers) seeks original as well as survey papers on the engineering of high-integrity systems in critical applications (process control, transportation, defence, medicine, banking, e-commerce, etc.), with special emphasis on model-based paradigms for dependability assurance and industrial experience reports. The journal covers both theoretical and practical aspects of money/life-critical systems development, including novel technologies, designs and evaluation approaches. Papers focusing on methodologies and tools to master the increasing complexity (in terms of size, distribution and heterogeneity) of these systems are especially welcome.

Published articles will be indexed in the major on-line archives (including DBLP).


Topics of interest include:

Computer Dependability (Reliability, Availability, Maintainability, Safety, Resilience, Performability, Trustworthiness, Survivability, Plasticity), High-Assurance Systems Engineering, Verification and Validation, Model-Based Software Testing, Formal Methods, Model-Checking and Theorem-Proving, Software Fault-Tolerance and Rejuvination, Multi-Paradigm Modeling (Multi-Formalism, Meta-Modeling), Fault Injection and Measurement Based Analysis, FMECA, Risk Assessment and Hazard Analysis, Information and Network Security, Protocols for Real-Time Distributed Systems, Dependable Middlewares, Self-Checking and Reconfigurable Hardware, Business Continuity Planning, Back-Up and Disaster Recovery Strategies, Human Machine Interaction and Human Factors


Members of the Editorial Board include:

Jean-Paul Blanquart
Andrea Bondavalli
Michael J. Butler
Francesco Flammini
Giuliana Franceschinis
Rick Harper
Gerard Holzmann
Leonardo Impagliazzo
Jan Jürjens
Karama Kanoun
Johan Karlsson
Tim Kelly
Tiziana Margaria
Antonino Mazzeo
Nicola Mazzocca
Pieter J. Mosterman
Takashi Nanya
Nuno Ferreira Neves
Odd Nordland
András Pataricza
Ricardo Jiménez Peris
David Powell
Paolo Prinetto
Blake Putney
Hassan Reza
Luigi Romano
Alexander Romanovsky
Francesca Saglietti
Lisa Spainhower
Neil Storey
Neeraj Suri
Kishor Trivedi
Hans Vangheluwe
Valeria Vittorini
Angela Vozella
Armin Zimmermann


**********************************

Related Resources

Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
ISAI--EI 2026   2026 the 6th International Symposium on AI (ISAI 2026)
ICIAI--EI 2026   2026 the 10th International Conference on Innovation in Artificial Intelligence (ICIAI 2026)
ICoSSE 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
ICoSSE--Ei 2026   2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Systems (MDPI) 2025   Special Issue Title: Hypothesis-Driven Artificial Intelligence Approaches for Complex Systems Biology
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
CVAI 2026   2026 International Symposium on Computer Vision and Artificial Intelligence (CVAI 2026)
Ei/Scopus-MLBDM 2025   2025 5th International Conference on Machine Learning and Big Data Management (MLBDM 2025)