Untitled Document
IEEE-The 7th International Workshop on Software Certification(WoSoCer 2017)
October 23-26, 2017, Toulouse, France
Call for Papers:
The WoSoCer workshop is a forum to discuss novel solutions for the certification of software in critical systems, by involving researchers, senior technical people, domain experts, and regulatory authorities to present new solutions and perspectives in the context of industrial and academic research projects.
We welcome contributions related to any area of critical software systems and certification. In addition, this edition of the workshop encourages contributions on a special theme currently of high relevance: the certification of autonomous and ML/AI (Machine Learning and Artificial Intelligence) systems.
Papers primarily based on (but not limited to) the following topics are welcome: (Topics include but not limited to)
- Certification and adoption of emerging technologies and best-practices in safety- and security-critical domains
- Certification of third-party components, software reuse and open-source software across systems and services
- Product-oriented certification and assurance cases
- Reuse of certification artifacts across different systems and standards
- Quantitative and qualitative evaluation of system dependability and resilience
- Compositional certification and assurance
- Formal methods in software certification
- Tools, techniques and methods to support certification processes
- Economics of certification and standards
- Adoption of emerging technologies and best-practices in safety- and security-critical domains
- Open issues, practical experiences and real-world case studies
- Cross-fertilization between safety and security certification and standards
- Education and training regarding software certification
IMPORTANT DATES:
- Paper submission : July 21, 2017
- Paper notification : August 13, 2017
- Camera ready : August 28, 2017
- Workshop : October 23-26, 2017
User Name : jerish
Posted 12-06-2017 on 14:48:35 AEDT
Related CFPs
IJCCMS
International Journal of Chaos, Control, Modelling and Simulation
IJITE
International Journal on Integrating Technology in Education
IJE
International Journal of Education
IJE
International Journal of Education