[ posting on behalf of Jeffery Zucker <zucker@cas.mcmaster.ca>] ================================================================= CERTSOFT'06: AN INTERNATIONAL WORKSHOP ON SOFTWARE CERTIFICATION August 26 & 27, 2006 McMaster University, Hamilton, Ontario, Canada http://fm06.mcmaster.ca/certsoft In conjunction with FORMAL METHODS 2006 http://fm06.mcmaster.ca REVISED CALL FOR PAPERS [Note New Submission Deadline: June 16] GOAL OF THE WORKSHOP ==================== Software is currently used to control medical devices, automobiles, aircraft, manufacturing plants, nuclear generating stations, space exploration systems, elevators, electric motors, automated trains, banking transactions, telecommunications devices and a growing number of devices in industry and in our homes. Software is also mission critical for many organizations, even if the software does not `control' what happens. Clearly, many of these systems have the potential to cause physical harm if they malfunction. Even if they do not cause physical harm, their malfunctions are capable of causing financial and political chaos. Currently there is no consistent regulation of software, and society is starting to demand that software used in critical systems must meet minimum safety, security and reliability standards. Manufacturers of these systems are in the unenviable position of not having any clear guidelines as to what may be regarded as acceptable standards in these situations. Even where the systems are not mission critical, software producers and their customers are becoming interested in methods for assuring quality that may result in software supplied with guarantees. The purpose of the workshop is to discuss issues related to software certification. Possible topics include: - What is software certification, and what is its relation to system certification? - Methods, processes, and tools for developing certified software - Certifying safety-critical applications - Certifying embedded systems - Certifying non-critical but commercially significant applications - Certification of software components - Developing standards based on experimental analysis of methods - Formalization of Regulatory Requirements for Software - Repositories of assured/verified/validated software components - Using the Common Criteria for IT Security Evaluation as a model - Standardization of certification methods used in different industries - Evolutionary and incremental certification INVITED SPEAKERS ================ - David Parnas, University of Limerick - Rance Cleaveland, University of Maryland; Fraunhofer Center; Reactive Systems (Other speakers not yet confirmed) SUBMISSION INFORMATION ====================== Regular submissions should be no more than 15 pages and should be in PS or PDF file format. WE ESPECIALLY INVITE POSITION PAPERS, which should be no more than 10 pages. PROCEEDINGS OF THE WORKSHOP will be published and available at the workshop. If there is interest, and papers are felt to be of sufficient quality, we will seek publication of extended versions in a special issue of an appropriate journal. DEADLINES: Original submission: June 16, 2006 Notification of acceptance: July 3, 2006 Final version submission: July 28, 2006 PROGRAM COMMITTEE ================= Stefania Gnesi, ISTI-CNR, Italy -- Co-Chair Tom Maibaum, McMaster University, Canada -- Co-Chair Rance Cleaveland, University of Maryland, USA Alessandro Fantechi, University of Florence, Italy Jan Friso Groote, Eindhoven University of Technology, The Netherlands Connie Heitmeyer, Naval Research Laboratory, USA Paola Inverardi, University of L'Aquila, Italy Yoshiki Kinoshita, CVS-AIST, Japan Dino Mandrioli, Politecnico di Milano, Italy Jonathan Ostroff, York University, Canada Shankar, SRI International, USA David von Oheimb, Siemens AG, Germany (Additional members not yet confirmed) ORGANIZING COMMITTEE (all at McMaster University, Canada) ==================== Alan Wassyng -- Chair Wolfram Kahl Mark Lawford Jeff Zucker