posted by user: ardagna || 3629 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

S.ARCH Berlin 2023   S.ARCH BERLIN The 10th International Conference on Architecture and Built Environment 04-06 April 2023
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual)
CoMSE 2023   2023 International Conference on Materials Science and Engineering (CoMSE 2023)
CSW 2023   2023 International Workshop on Cyber Security (CSW 2023)
ICCAD 2023   IEEE/ACM International Conference on Computer-Aided Design
SIPP 2023   11th International Conference on Signal, Image Processing and Pattern Recognition
KDLSBM 2023   Knowledge-based Deep Learning System in Bio-Medicine
CEVVE 2023   2023 International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2023)
SOFTPA 2023   2nd International Conference on Emerging Practices in Software Process & Architecture
AIFZ 2023   9th International Conference on Artificial Intelligence and Fuzzy Logic Systems