*************************************************
CALL FOR PAPERS
International Journal of Critical Computer-Based Systems (IJCCBS)
*************************************************
For its inaugural issue, 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.
The submission deadline for inclusion in the first issue is
*** January 31st, 2009 ***.
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 Management,
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 Jorjens Karama Kanoun
Johan Karlsson Tim Kelly
Antonino Mazzeo Nicola Mazzocca
Pieter J. Mosterman Takashi Nanya
Nuno Ferreira Neves Odd Nordland
Andr·s Pataricza Ricardo Jimenez 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
Please check the journal website at
http://www.inderscience.com/ijccbs
to obtain further information about main topics, editorial board members
and paper submission procedure.
Published articles will be indexed in the major on-line archives (including
DBLP).
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
