posted by user: sadegh_rk || 856 views || tracked by 2 users: [display]

JSA 2022 : journal-of-systems-architecture

FacebookTwitterLinkedInGoogle

Link: https://www.sciencedirect.com/journal/journal-of-systems-architecture
 
When N/A
Where N/A
Submission Deadline Feb 5, 2022
Notification Due Nov 25, 2022
Final Version Due Nov 25, 2022
Categories    formal methods   verification   cyber-physical systems   parallel computing
 

Call For Papers

Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth. This special issue on Dependable Software Engineering solicits submissions describing theoretical results, tools, and applications, related to applying formal methods in improving the quality of computer software and systems.


The topics of interests include, but are not limited to:

Requirement’s specification and analysis
Formalisms for modelling, design and implementation
Model checking, theorem proving, and decision procedures
Scalable approaches to formal system analysis
Formal approaches to simulation, run-time verification, and testing
Integration of formal methods into software engineering practice
Contract-based engineering of components, systems, and systems of systems
Formal and engineering aspects of software evolution and maintenance
Parallel and multicore programming
Embedded, real-time, hybrid, probabilistic, and cyber-physical systems
Mixed-critical applications and systems
Formal aspects of service-oriented and cloud computing
Safety, reliability, robustness, and fault-tolerance
Dependability of smart software and systems
Empirical analysis techniques and integration with formal methods
Applications and industrial experience reports
Software tools to assist the construction or analysis of software systems



All original manuscripts that fit within the scope are welcome.


Submission Details:


General information for submitting papers to JSA can be found at https://www.journals.elsevier.com/journal-of-systems-architecture. Submissions should be made online at https://www.editorialmanager.com/jsa/. Please select the “VSI:SETTA2021” option as the type of the paper during the submission process. Please direct all enquiries regarding this SI to Wenhui Zhang.


JSA has adopted the Virtual Special Issue model to speed up the publication process, where Special Issue papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline.

Related Resources

DDECS 2023   26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, IEEE
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
SBMF 2022   25th Brazilian Symposium on Formal Methods
S.ARCH Berlin 2023   S.ARCH BERLIN The 10th International Conference on Architecture and Built Environment 04-06 April 2023
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
PDCAT 2022   The 23rd International Conference on Parallel and Distributed Computing, Applications and Technologies
DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks
CAiSE 2023   35th International Conference on Advanced Information Systems Engineering
Electronics SI 2022   Electronics: Special Issue on Cybersecurity and Privacy Issues in Cyber-Physical Systems and Industrial Control Systems