+ reset -
Call for Papers WoSoCER2012

Software adopted in safety-critical domains,pdfcfp
such as avionics, automotive, and nuclear, has to undergo a certification process, that is, a formal assurance process to show that the system behaves safely. Industry has followed for decades a conservative approach to safety; however, recent advancements in several areas (e.g., model-driven development, formal methods, software reliability modeling) have the potential of significantly improving the effectiveness and the efficiency of software development for safety-critical systems.

The second edition of WoSoCER intends to bring together researchers, practitioners, companies, domain experts, and certification authorities interested in investigating and discussing novel approaches towards development, verification, and assessment of software products to be certified, according to some certification standard, for a given safety-critical domain. Topics of interest include, but are not limited to:

  • Methodological improvements of development process of software to be certified.
  • Modeling techniques, formalisms, measurements processes, new metrics, strategies, and tools for safety analysis, safety evidences formalization and quantification, design, verification and assessment of software-intensive systems to certify.
  • Product-oriented certification.
  • COTS and software reuse in safety-certified critical systems.
  • Practical experiences and case studies regarding software to certify and/or certified.
  • Empirical studies on the adoption of novel practices in real-world projects.
  • Practical experiences with newly released safety standards (e.g., DO178C, EN 50128 2011, and ISO26262).

Accepted papers will appear in the supplemental proceedings, which will be published by the IEEE Computer Society.

 

sesm ctech
 
The information presented on this web site has been produced in the context of the CRITICAL-STEP project, which is in receipt of funding from the
European Community's 7th Framework Programme (FP7/2007-13) under grant agreement No. 230672. All information on this web site is provided "as is"
and no guarantee or warranty of any kind is given that this information is fit for any particular purpose.CRITICAL-STEP Consortium will
not be liable for any direct, consequential, incidental, or special damage or loss of any kind arising as a result of use of this information by a third party.
A third party using this information will do so at its sole risk and liability. The European Commission has no liability in respect of this information, which is merely
representing the views of theCRITICAL-STEP Consortium.
CRITICAL-STEP Project 2009. All Rights Reserved
evden eve nakliyat evden eve nakliyat oyun