[TYPES/announce] CERTSOFT'06: CFP

[Jeffery Zucker]

[Apologies for multiple postings]


	                   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


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
======================
Submissions should be no more than 15 pages and should be in
PS or PDF file format.  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 (such as STTT).

Deadlines:
Original submission:		9 June, 2006
Notification of acceptance:	26 June, 2006
Final version of submission:	24 July, 2006


PROGRAM COMMITTEE
=================
Co-Chairs:
  Stefania Gnesi,  ISTI-CNR, Italy
  Tom Maibaum,  McMaster University, Canada
(Members not yet confirmed)	


ORGANIZING COMMITTEE (all at McMaster University, Canada)
====================
Alan Wassyng -- Chair
Wolfram Kahl
Mark Lawford
Jeff Zucker