Journal Information
The Journal of Systems Architecture: Embedded Software Design (JSA)
Impact Factor:

Call For Papers
The Journal of Systems Architecture: Embedded Software Design (JSA) is a journal covering all design and architectural aspects related to embedded systems and software. It ranges from the microarchitecture level via the system software level up to the application-specific architecture level. Aspects such as real-time systems, operating systems, FPGA programming, programming languages, communications (limited to analysis and the software stack), mobile systems, parallel and distributed architectures as well as additional subjects in the computer and system architecture area will fall within the scope of this journal. Technology will not be a main focus, but its use and relevance to particular designs will be.

Types of Paper
The journal welcomes the following types of contributions:
• Original research articles
• Review articles, providing a comprehensive review on a scientific topic
• Fast Communications: Short, self-contained articles on ongoing research, or reporting interesting, possibly tentative, ideas, or comments on previously published research
Last updated by Dou Sun in 2019-11-24
Special Issues
Special Issue on Testing and Verification of Non-Functional Aspects of Cyber-Physical Systems: Theories, Methods, and Tools
Submission Date: 2020-07-25

Cyber-Physical Systems (CPSs) are composed by integrating and networking physical and computational (hardware, software, and network) components which work in dynamic environments. Example applications are smart grids, autonomous driving systems, healthcare and medical systems, robotics systems, and situational awareness real-time systems. These systems are composed of components of different non-functional requirements which should be verified or tested to find that the CPS will work satisfactory. Thus, testing and verification of CPSs (against specifications, if exist) is a must to be able to trust them (for critical situations) and to improve their behavior (for better user experience). In this special issue, we welcome original submissions around all theoretical and tool-oriented methods of testing, verification, and analysis of CPSs (in both views of standalone and cross-layer). Topics of interest, in the scope of embedded and cyber-physical systems, include (but not limited to): Non-functional testing and verification Security, energy, performance, and other non-functional metrics Control verification and control performance testing and analysis Test design and model-based testing Test oracle for non-functional properties Test platform and automation Automated test data generation Methodologies for testing and verification Metamorphic testing Distributed testing Empirical testing Runtime testing and verification Static and dynamic verification Toolchain for testing, verification, and analysis of software, hardware, and system Case studies, e.g. mobile applications, healthcare systems, ECUs, etc.
Last updated by Dou Sun in 2019-11-24
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ccb3SCAMInternational Working Conference on Source Code Analysis and Manipulation2018-06-082018-07-092018-09-23
ICECCS'International Conference on Eco-friendly Computing and Communication Systems2013-04-252013-06-302013-10-17
EC2NDEuropean Conference on Computer Network Defense2011-07-042011-08-042011-09-06
cb2GCCInternational Conference on Grid and Cloud Computing 2010-08-102010-11-01
aAIMEConference on Artificial Intelligence in Medicine2017-01-222017-03-132017-06-21
CSNConference on Sensors and Networks2018-07-30 2018-11-28
ICCSSInternational Conference on Circuits, System and Simulation2019-04-122019-05-072019-07-20
ICSIMInternational Conference on Software Engineering and Information Management2019-11-152019-11-302020-01-12
ICCSIMInternational Conference on Control Science and Intelligent Manufacturing2018-01-012018-01-012018-01-26