The goal of the workshop is to provide a common forum where researchers from across the world can debate new research ideas and directions on novel dependability assessment approaches for cyber-physical and complex systems by gathering researchers and practitioners working on cypher-physical research topics and related areas such as data communication in cyber-physical networks, safety and security of cyber-physical and critical systems, automated verification and validation of critical systems.
Topics of the Workshop
The workshop aims at discussing current state of the art, emerging challenges and trends, as well as novel solutions for cyber-physical and critical systems validation. Workshop topics include, but are not limited to:
- Software assessment to cope with increasing system complexity
- Assessment of integrated systems including software OTS and legacy software
- Agile development in critical systems: assessment challenges and approaches
- Automated verification and validation of critical systems
- Certification of complex and integrated systems
- Dynamic and evolving systems: new needs for V&V and certification
- Model-driven approaches for the assessment of dependable and secure systems
- Dependable and secure cloud systems and virtualized environments
- Secure data communication in cyber-physical networks
- Experimental assessment of dependability and security
- Tools and demos for the assessment of complex systems
- Practical experiences and testbeds related with safety and security of cyber-physical systems
- Industrial experiences and best practices for safety and security of cyber-physical systems
- Open issues, practical experiences and real-world case studies.
Research Papers, Practical Experience Reports, and Short Papers should be respectively no longer than 10 pages, 6 pages and 4 pages, following the IEEE two-column format for conference proceedings. The category of the paper should be clearly marked in the first page. Authors are requested to first register their submissions and then submit their manuscripts in PDF format at the JEMS webpage. JEMS limits to a maximum of 8 authors per paper. More than 8 authors is allowed, but must be indicated to the TPC chairs after acceptance notification.