Cyber-physical systems (CPS) are software-controlled systems that leverage computational and physical components to tackle a rapidly growing range of real-world problems. Enabled by unprecedented technological advances in the engineering of affordable and functionally rich mobile and embedded devices, modern CPS are used in key applications from manufacturing, transportation, healthcare and other domains of great economic and societal importance. Many of these applications are safety or business critical, and require trustworthy CPS capable of complying with strict functional and non-functional requirements – frequently in the presence of environmental uncertainty, failures and adversarial threats. Furthermore, this trustworthiness must be supported by assurance evidence and assurance arguments persuading users, operators and regulators to accept and trust the deployment of CPS in critical applications.
An essential role in ensuring and assuring CPS trustworthiness is played by their control software. This software must ensure that CPS withstand changes and disruptions with acceptable and only temporary impact on their provided services, often through the dynamic reconfiguration of their architectures and re-planning of their actions. When the CPS control software is responsible for deciding such reconfigurations and new plans during operation, it must justify its decisions using assurance evidence generated at runtime, e.g., through testing, simulation or formal verification.
Developing software with these characteristics poses major challenges, many of which are not addressed by traditional software engineering approaches.
We invite to this special issue high-quality contributions with innovative and significant findings in the field of software engineering for trustworthy cyber-physical systems. The topics of interest include (but are not limited to) the following areas of software engineering for trustworthy CPS:
Theoretical foundations of software engineering for trustworthy CPS
Formal methods for the software engineering of trustworthy CPS
Software engineering methodologies for trustworthy CPS
Software architectures for trustworthy CPS
Modelling, analysis, simulation and verification of software for trustworthy CPS
Software requirements engineering for trustworthy CPS
Verification and validation of software for trustworthy CPS
Dependability and performance software engineering for trustworthy CPS
Safety and security of software for trustworthy CPS
Dependable integration of machine learning into software for trustworthy CPS
Human aspect of software for trustworthy CPS
Assurance and dynamic assurance of software for trustworthy CPS
Self-adaptive software for trustworthy autonomous CPS
Handling uncertainty in software for trustworthy CPS
Models@runtime in software controllers for trustworthy CPS
Runtime reconfiguration and graceful degradation of software for trustworthy CPS
Distributed algorithms, monitoring and software controllers for trustworthy CPS
Scalability and evolvability of software for trustworthy CPS
Software for safety-critical and business-critical trustworthy CPS
System of systems aspects of software engineering for trustworthy CPS
Submission: 15 October 2019
Author Notification: 15 January 2020
Revision Submission: 1 March 2020
Second Author Notification: 15 April 2020
Second Revision Submission: 15 May 2020
Final Decision: 30 June 2020
Editors in Chief
Special Issues Editor
Radu Calinescu, University of York, UK (email@example.com)
Tomas Bures, Charles University in Prague, Czech Republic (firstname.lastname@example.org)
Danny Weyns, Katholieke Universiteit Leuven, Belgium (email@example.com)
All manuscripts should follow the guidelines for publishing in the Journal of Systems and Software, available at https://www.journals.elsevier.com/journal-of-systems-and-software. Authors should select “SI:SE4TCPS”, from the \”Choose Article Type\” pull-down menu during the submission process. Submitted manuscripts must be original; they must not have been previously published or be under consideration for publication elsewhere. Extended versions of conference papers must contain at least 30% new material, and their submission must be accompanied by a description of the additions made and by a copy of the paper that was extended.
For more information about the special issue, contact the guest editors.
Submissions in scope of the special issue will be reviewed by at least three experts in the field. The main evaluation criteria are: the quality and rigour of the submission, the innovative aspects to the domain of software engineering for trustworthy CPS, and the thoroughness of the evaluation. The guest editors, in consultation with the Editors-in-Chief and the Special Issues Editor, will make the final decisions.