Special Issue on Software Engineering for Trustworthy Cyber-Physical Systems
摘要截稿:
全文截稿: 2019-10-15
影响因子: 2.45
期刊难度:
CCF分类: B类
中科院JCR分区:
• 大类 : 计算机科学 - 2区
• 小类 : 计算机:软件工程 - 2区
• 小类 : 计算机:理论方法 - 2区
Overview
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