-------- Forwarded Message -------- Subject: [AISWorld] CFP: SI on Software System Dependability: Techniques and Practices, Connection Science, Taylor & Francis Date: Sat, 1 Jul 2023 23:07:52 +0000 From: Editorial Manager journaleditorialmanager@outlook.com To: aisworld@lists.aisnet.org aisworld@lists.aisnet.org
** Apologies if multiple copies are received **
Special Issue on Software System Dependability: Techniques and Practices Connection Science, Taylor & Francis (SCIE, JCR Q1) https://www.tandfonline.com/ccos20
Security, safety, and reliability are the three most important attributes of the dependability of a software system. This is especially the case for mission-critical and life-threatening systems. While security prevents systems from being attacked via potential vulnerabilities, safety ensures systems do not end at any undesired state and cause unacceptable consequences. Reliability is the probability of failure-free system operation for a given period of time in a specified environment.
Traditional techniques and tool support are insufficient to overcome the challenges posed by the complexity of these systems, the dynamic nature of the environments in which they operate, and the drive for continuous deployment of new functionality. This special issue welcomes papers that discuss new techniques to overcome the shortcomings of existing approaches. It also encourages empirical studies and experience reports on how to improve the dependability of a software system in the real world.
Our objective is to present a collection of the current state-of-the-art research and state-of-practice techniques within the scope described above.
This special issue includes extended papers recommended by DSA 2023 (The 10th IEEE International Conference on Dependable Systems and Their Applications in Tokyo, Japan) and QRS 2023 (The 23rd IEEE International Conference on Software Quality, Reliability, and Security in Chiang Mai, Thailand), as also welcome high-quality manuscripts from the scientific community.
Topics of interest include, but are not limited to, the following:
Reliability, Security, Availability, and Safety of Software Systems Software Testing, Verification, and Validation Program Debugging and Comprehension Information and Software Quality Assurance Resilience and Fault Tolerance Modeling, Prediction, Simulation, and Evaluation Metrics, Measurements, and Analysis Software Penetration and Protection Software Vulnerabilities Formal Methods Malware Detection and Analysis Intrusion Detection and Prevention Benchmark, Tools, Industrial Applications, and Empirical Studies
Dates Submission Deadline: *Oct 15, 2023* Notification: January 15, 2024 (no later than)
Guest Editors
Professor W. Eric Wong Department of Computer Science University of Texas at Dallas, USA
Dr. Ruizhi Gao Sonus Inc., USA
Professor Franz Wotawa Graz University of Technology, Austria
Dr. Linghuan Hu Google, USA
For submission and other details, please visit the Special Issue official website: https://tinyurl.com/2p83dc5t
_______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org