The Coq mailing list

[Jeffery Zucker <zucker AT 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