[TYPES/announce] CFP DETECT 2020 - Special Issue at ISSE NASA Journal

[Abderrahim AIT WAKRIME]

***************************************************************************
CALL FOR PAPERS
***************************************************************************
(Apologies if you receive multiple copies of this CFP)

*                                                              The
international workshop on moDeling, vErification and Testing of dEpendable
CriTical systems (DETECT).*
*https://detect.ensma.fr/2020/ <https://detect.ensma.fr/2020/>*

In conjunction with 14th European Conference on Software Architecture (ECSA)
14-18 September 2020, L’Aquila, Italy.
https://ecsa2020.disim.univaq.it/

                                                                 All
accepted papers will be published in Communications in Computer and
Information Science (CCIS) by Springer.

                                                 All papers presented in
DETECT 2020 will be invited for a special issue in the NASA Journal -
Springer:

 Innovations in Systems and Software Engineering (
https://www.springer.com/journal/11334)

IMPORTANT DATES
---------------
Abstract submission: 17 June, 2020 (optional)
Full paper submission deadline: 24 June, 2020 (firm)
Notification of acceptance: 8 July, 2020
Camera-ready papers: 13 July, 2020
DETECT Workshop 14 September, 2020


SCOPE
-----
Critical systems are more and more used in different domains and under
several forms (e.g., cyber physical systems, embedded systems, real-time
systems) and become more complex since they can be networked and composed
of heterogeneous subsystems. Due to their heterogeneity and variability,
critical systems require the expertise of modeling, verification and
testing area to ensure their dependability and safety of their software
architectures. The international workshop on moDeling, vErification and
Testing of dEpendable CriTical systems (DETECT) will be mainly based on
model-based system engineering paradigm and software architecture
challenges. Also, DETECT aims to create a common community from academia
and industry to share best practices, tools and methodologies taking into
account the functional and non-functional aspects (e.g., scheduling,
performance, security, safety, etc.).

CALL FOR CONTRIBUTIONS
----------------------
Critical systems are emerging research fields where the safety is dependent
upon the precise operations of the system. With this in mind, the software
architecture is one of the most challenging topics for critical dependable
systems since it requires integrating solutions from experts of various
domains. Also, integration of components contributed by respective domain
experts is one of the key challenges in engineering software architectures.
Yet, deploying for example cyber-physical and internet-of-thing systems in
several critical domains requires to ensure the safety and dependability of
those systems. DETECT 2020 aims to bring together researchers from
participating domains with practitioners to identify new frontiers in
software architecture engineering of critical dependable systems, discuss
challenges raised by real-world applications, and transfer latest insights
from research to industry.

TOPICS
------
Workshop topics include, but not limited to:

* Formal specification of software architectures and verification of
dependable and critical systems
* Domain specific modeling languages, ontologies, methods and software
frameworks for critical systems
* Software architecture evaluation of functional and non-functional
properties (performance, security, safety, etc.)
* Methodologies and Tools for CPS architectures and RTES Design
* Model-based testing of dependable critical systems’ software architectures
* Data engineering facilities and requirement engineering techniques for
critical systems
* Realistic case studies, applications and experimentation studies,
applications and experimentation

PAPER SUBMISSION
----------------
DETECT 2020 invites papers in three categories. Submission guidelines for
each category of paper are as follows:

1- *Regular research papers*: contributions should describe original work
(12-14 pages including all text, figures, references and appendices).
2- *Industrial case studies* and lessons learned papers: works with
experiences and notable industrial advances using model-driven engineering
technology for verification and testing purposes (12-14 pages including all
text, figures, references and appendices).
3- *Short papers and position papers*: research in progress, tools
presentations, and new ideas (6-10 pages including all text, figures,
references and appendices).

Each submitted paper must be original, unpublished and not submitted
elsewhere. Contributions should be written in English and be prepared using
Springer’s Lecture Notes in Computer Science (LNCS) format. Submitted
papers will be carefully evaluated by at least three reviewers.

Submissions must be in PDF format and should be made using the DETECT 2020
Easychair site: https://easychair.org/conferences/?conf=detect2020

WORKSHOP CO-CHAIRS
------------
- Yassine Ouhammou, LIAS/ISAE-ENSMA, France
- Abderrahim Ait Wakrime, FSR Mohammed V University, Morocco
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200612/fac6f3ef/attachment.htm>