[ posting on behalf of Jeffery Zucker <[EMAIL PROTECTED]>]
=================================================================
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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
