Call for book chapters: Software Certification: Challenges and Promising Directions
5 views
Skip to first unread message
Sebastien Mosser
Jul 18, 2025, 6:26:36 PMJul 18
to se...@googlegroups.com
Dear all,
Please find below a call for chapters for an upcoming book titled "Software Certification: Challenges and Promising Directions”.
TL;DR
- Notification of intent (200-300 words) is due at the beginning of September.
- Two types of chapters are expected: Challenge chapters, or CPS certification in the world of AI chapters..
- Timeline is “somehow” flexible.
- Would you have any question, feel free to contact the editors by email, we’d be happy to help.
Cheers,
Sébastien
=== Call for Book Chapter ====
Book title: “Software Certification: Challenges and Promising Directions”
The Software Certification Consortium (SCC) was founded in 2007 and has held 23 meetings. The SCC was formed to pursue the following initial objectives:
- To promote the scientific understanding of certification for Systems containing Software (software certification, for short) and the standards on which it is based
- To promote the development and improvement of consensus standards supporting certifiable software-intensive systems and their certification, through the transfer of knowledge to existing standards organizations
- To promote public, government and industrial understanding of the concept of software certification and the acceptance of the need for certification standards for software-related products
- To coordinate software certification initiatives and activities to further the above objectives.
SCC meetings bring together industry practitioners, regulators, and researchers to discuss challenges in the assurance, evaluation, and certification of software-intensive cyber-physical systems (CPS), and promising directions to address these challenges.
###
# Call for book chapters
###
The SCC solicits chapters for a Lecture Notes in Computer Science (LNCS) State-of-the-Art Surveys publication compiling challenges and advances in the certification of high-consequence CPS. The primary aim is to provide a roadmap for safety.
Chapters should be at most 20 pages in LNCS format. All chapters will be peer-reviewed prior to acceptance. The topic and organization of the publication has been arranged with Springer.
Two types of chapters are solicited.
1/ Challenge chapters: which take a broad overview of a domain or a subset of high-consequence CPS certification, setting the context for researchers and practitioners in the field, while giving an outlook for the next 5-10 years. Challenge papers may focus on a specific problem domain (e.g., automotive, nuclear, medical) or a particular subset of CPS certification (e.g., methods, languages, analyses). Challenge chapters should not focus primarily on AI. The idea is to lay a foundation for challenges to safety, as well as promising directions to address them. This may include challenges introduced or compounded by AI. We anticipate that the book will contain around 5 challenge chapters. Relevant topics include, but are not limited to:
- Validation of requirements
- Product versus process-based certification
- Completeness of hazard identification and hazard mitigation
- Conditions of use
- Acceptance of tools and resources
- Assuring the safety of an AI-dependent system
- AI-based analyses used in the development and/or assurance of high-consequence CPS
- Requirements on competence
- Organizational safety culture and guidelines for the development of safe systems.
2/ CPS certification in the world of AI chapters: which, broadly speaking, focus on (i) techniques, tools, methods and problems associated with the use of AI for certification of high-consequence CPS, or (ii) on certification for high-consequence CPS that make significant use of AI techniques. State of the art in AI is changing rapidly, but we see significant benefits in describing the current state of the art and providing direction for how it needs to be improved. A follow-up publication in a few years' time could help to put progress in perspective as well as build further direction based on directed observation. We anticipate that the book will contain 10-15 chapters of this type. Some topics that may be relevant include, but are not limited to:
- Model-based development and AI
- Competence models and AI
- Hazards associated with the use of AI
- Requirements engineering and requirements validation pertaining to the use of AI in CPS
- Positive and negative examples of the use of AI in CPS
- Bridging formal and semiformal methods and languages using AI in a safety-critical context
- Reuse in a safety-critical and AI world
- Symbolic AI in CPS: challenges and promising directions
- Curricula to develop the competence required for certifiable high-consequence CPS that use AI
- Organizational prerequisites for certifiable high-consequence CPS that use AI.
###
# Important Dates
###
- Notification of Intent: 01 Sept 2025
- Decisions on Notifications of Intent: 22 September 2025
- Submission deadline: 15 December 2025
- Reviews and decisions to authors: 15 February 2026
- Revised/camera ready: 31 March 2026
- Publication date: Summer 2026
###
# Submission
###
A Notification of Intent should be submitted by email to the editors.
The Notification of Intent includes whether the contribution is a Challenge chapter or a CPS certification in the world of AI chapter, prospective chapter title, authors and affiliations, and a short 200-300 word abstract (in any format), identifying the challenge(s) experienced in practice and summarizing the state-of-the-art for addressing the challenge(s).
Selected chapters will be invited to submit their full version on Easychair in PDF in LNCS format.
###
# Editors
###
- Barbara Gallina, Mälardalen University, Sweden, barbara...@mdu.se
- Sebastien Mosser, McSCert, McMaster University, Canada, mos...@mcmaster.ca
- Richard Paige, McSCert, McMaster University, Canada, pai...@mcmaster.ca
- Bill Scherlis, Software Engineering Institute, sche...@cmu.edu
- Alan Wassyng, McSCert, McMaster University, Canada, was...@mcmaster.ca
--
Sébastien Mosser, PEng, PhD
Associate Chair, Dept. of Computing and Software
Associate Director, McMaster Centre for Software Certification (McSCert)
Associate Professor of Software Engineering
McMaster University, http://mosser.github.io
Please find below a call for chapters for an upcoming book titled "Software Certification: Challenges and Promising Directions”.
TL;DR
- Notification of intent (200-300 words) is due at the beginning of September.
- Two types of chapters are expected: Challenge chapters, or CPS certification in the world of AI chapters..
- Timeline is “somehow” flexible.
- Would you have any question, feel free to contact the editors by email, we’d be happy to help.
Cheers,
Sébastien
=== Call for Book Chapter ====
Book title: “Software Certification: Challenges and Promising Directions”
The Software Certification Consortium (SCC) was founded in 2007 and has held 23 meetings. The SCC was formed to pursue the following initial objectives:
- To promote the scientific understanding of certification for Systems containing Software (software certification, for short) and the standards on which it is based
- To promote the development and improvement of consensus standards supporting certifiable software-intensive systems and their certification, through the transfer of knowledge to existing standards organizations
- To promote public, government and industrial understanding of the concept of software certification and the acceptance of the need for certification standards for software-related products
- To coordinate software certification initiatives and activities to further the above objectives.
SCC meetings bring together industry practitioners, regulators, and researchers to discuss challenges in the assurance, evaluation, and certification of software-intensive cyber-physical systems (CPS), and promising directions to address these challenges.
###
# Call for book chapters
###
The SCC solicits chapters for a Lecture Notes in Computer Science (LNCS) State-of-the-Art Surveys publication compiling challenges and advances in the certification of high-consequence CPS. The primary aim is to provide a roadmap for safety.
Chapters should be at most 20 pages in LNCS format. All chapters will be peer-reviewed prior to acceptance. The topic and organization of the publication has been arranged with Springer.
Two types of chapters are solicited.
1/ Challenge chapters: which take a broad overview of a domain or a subset of high-consequence CPS certification, setting the context for researchers and practitioners in the field, while giving an outlook for the next 5-10 years. Challenge papers may focus on a specific problem domain (e.g., automotive, nuclear, medical) or a particular subset of CPS certification (e.g., methods, languages, analyses). Challenge chapters should not focus primarily on AI. The idea is to lay a foundation for challenges to safety, as well as promising directions to address them. This may include challenges introduced or compounded by AI. We anticipate that the book will contain around 5 challenge chapters. Relevant topics include, but are not limited to:
- Validation of requirements
- Product versus process-based certification
- Completeness of hazard identification and hazard mitigation
- Conditions of use
- Acceptance of tools and resources
- Assuring the safety of an AI-dependent system
- AI-based analyses used in the development and/or assurance of high-consequence CPS
- Requirements on competence
- Organizational safety culture and guidelines for the development of safe systems.
2/ CPS certification in the world of AI chapters: which, broadly speaking, focus on (i) techniques, tools, methods and problems associated with the use of AI for certification of high-consequence CPS, or (ii) on certification for high-consequence CPS that make significant use of AI techniques. State of the art in AI is changing rapidly, but we see significant benefits in describing the current state of the art and providing direction for how it needs to be improved. A follow-up publication in a few years' time could help to put progress in perspective as well as build further direction based on directed observation. We anticipate that the book will contain 10-15 chapters of this type. Some topics that may be relevant include, but are not limited to:
- Model-based development and AI
- Competence models and AI
- Hazards associated with the use of AI
- Requirements engineering and requirements validation pertaining to the use of AI in CPS
- Positive and negative examples of the use of AI in CPS
- Bridging formal and semiformal methods and languages using AI in a safety-critical context
- Reuse in a safety-critical and AI world
- Symbolic AI in CPS: challenges and promising directions
- Curricula to develop the competence required for certifiable high-consequence CPS that use AI
- Organizational prerequisites for certifiable high-consequence CPS that use AI.
###
# Important Dates
###
- Notification of Intent: 01 Sept 2025
- Decisions on Notifications of Intent: 22 September 2025
- Submission deadline: 15 December 2025
- Reviews and decisions to authors: 15 February 2026
- Revised/camera ready: 31 March 2026
- Publication date: Summer 2026
###
# Submission
###
A Notification of Intent should be submitted by email to the editors.
The Notification of Intent includes whether the contribution is a Challenge chapter or a CPS certification in the world of AI chapter, prospective chapter title, authors and affiliations, and a short 200-300 word abstract (in any format), identifying the challenge(s) experienced in practice and summarizing the state-of-the-art for addressing the challenge(s).
Selected chapters will be invited to submit their full version on Easychair in PDF in LNCS format.
###
# Editors
###
- Barbara Gallina, Mälardalen University, Sweden, barbara...@mdu.se
- Sebastien Mosser, McSCert, McMaster University, Canada, mos...@mcmaster.ca
- Richard Paige, McSCert, McMaster University, Canada, pai...@mcmaster.ca
- Bill Scherlis, Software Engineering Institute, sche...@cmu.edu
- Alan Wassyng, McSCert, McMaster University, Canada, was...@mcmaster.ca
--
Sébastien Mosser, PEng, PhD
Associate Chair, Dept. of Computing and Software
Associate Director, McMaster Centre for Software Certification (McSCert)
Associate Professor of Software Engineering
McMaster University, http://mosser.github.io
Reply all
Reply to author
Forward
0 new messages