posted by user: ardagna || 3485 views || tracked by 10 users: [display]

S&D Assurance SW Arch 2009 : Journal of System Architecture (JSA), Special Issue on Security and Dependability Assurance of, Software Architectures


When N/A
Where N/A
Submission Deadline Oct 15, 2009
Notification Due Dec 1, 2009
Final Version Due Jan 10, 2010
Categories    security   dependability   assurance   software certification

Call For Papers

[Apologies if you receive multiple copies of this message]


Journal of System Architecture (JSA)
Special Issue on "Security and Dependability Assurance of
Software Architectures"


The ongoing shift from software development from scratch to component
and service-based system integration has raised a number of new
challenges for software engineering in industrial-strength domains
such as embedded systems, telecommunications, and process control. To
name but a few, these challenges include the treatment of evolving
requirements and assurance of security and dependability properties
(S&D) under unpredictable runtime conditions.

The increasing number of critical processes supported by software
systems and the increasing dependence of valuable assets (including human
well-being, or even human lives) on the security and dependability of
computer support for these processes introduce the need of new mechanisms
that can improve the level of trust we have in such systems. One central
concept in this direction is certification.

Furthermore, the inevitable trend towards distributed systems built by
integrating and embedding subsystems, components or services that are
frequently under the control of different entities makes the certification
of such systems a challenging open issue that current practices for
certification fail to address appropriately. In fact, in future
scenarios, systems will be dynamically assembled, thus achieving higher
levels of flexibility.

In this scenario, traditional techniques for achieving security and
dependability assurance seem inadequate, since current S&D assurance
and certification are strictly intertwined with the development process,
and therefore are only valid for systems and environments planned at
design time and not changing at runtime.

These two characteristics of new distributed systems and computing
environments introduce the need of basing security and dependability
assurance and certification on rigorous, in-depth system analysis.
In this context, methodologies, techniques, and tools for assessing and
certifying the security level of software become an important aspect
towards the design and development of software components to be
integrated in complex system architectures.


The JSA special issue will focus in particular on context, methodologies,
techniques, and tools for V&V of software architectures, with particular
focus on supporting assurance and compliance, as well as security and
dependability certification, for evolving and long-lived systems. Authors
are invited to submit papers on a variety of topics, including but not
limited to:
- foundations and new perspectives of V&V mechanisms and security
- solutions, tools, frameworks for S&D assurance and certification;
- new and/or existing certification processes and tools suitable for
challenging contexts (e.g., telecommunications, mobile, real time,
process control, and embedded systems), and/or experience with them;
- new and/or existing modelling techniques which are particularly suited
to evolving systems, and/or experience with them;
- tools and case studies that integrate techniques from different areas,
such as
. V&V mechanisms, including static verification, dynamic verification,
. product and process certification,
. empirical software engineering,
. modeling of evolving and distributed systems.


Submitted papers should not have been previously published nor be currently
under consideration for publication elsewhere. Submission must be in the
form of a PDF file and must be in English. All papers will be thoroughly
refereed. A guide for authors, sample copies and other relevant information
for submitting papers are available on the Papers Submission section of the
Journal of Systems Architecture Web site (
under Author Guidelines. Submitted papers must be less than 20 pages long.
Papers must be submitted using the submission web site Submit Paper. and selecting the option "Special
Issue: S&D Assurance of SW Architecture" as Article Type.

Important dates

Submission: October 15th, 2009 (extended)
Notification: December 1st, 2009
Camera Ready: January 10th, 2010

Guest Editors

- Ernesto Damiani,, Universita' degli Studi di
Milano, DTI, Crema, Italy
- Sigrid Guergens,, Fraunhofer Institute
for Secure Information Technology, Darmstadt, Germany
- Antonio Mana,, GISUM, Universidad de Malaga, Malaga,
- George Spanoudakis,, Department of Computing
School of Informatics, City University, London
- Claudio A. Ardagna,, Universita' degli Studi di
Milano, DTI, Crema, Italy

For further inquiries, please send an email to

Related Resources

IJESA 2022   International Journal of Embedded Systems and Applications
IEEE COINS 2022   IEEE COINS 2022: Hybrid (3 days on-site | 2 days virtual)
IJPLA 2022   International Journal of Programming Languages and Applications
CoMSE 2022   2022 International Conference on Materials Science and Engineering (CoMSE 2022)
IJANS 2022   International Journal on AdHoc Networking Systems
CEVVE 2022   2022 International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2022)
NAOME 2022   2022 6th International Conference on Naval Architecture and Ocean&Marine Engineering(NAOME 2022)
CSW 2022   2022 International Workshop on Cyber Security (CSW 2022)
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
HEART 2022   12th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies