PROGRAM
Call For Papers
Program Committee
Organizing Committee
Abstracts
Conference Schedule
Workshops
 PARTICIPANTS
Registration
Cost Schedule
Payment Information
Accommodation
 SUBMISSIONS
Process
Papers
Workshops
Exhibit
 PRESS ROOM
News
Testimonials
In The Press
Conference Press Kit
Key Speakers Bios
 VENUE
Exhibit Plan
Directions
 SPONSORS
Our Sponsors
Information Sponsors
Become a Sponsor
Paths to Competetive Advantage

"Approaches to Meet Certification Requirements for Mission-Critical Domains"
Sergey Vinogradov,
Vladimir Okulevich,
Dr. Martin Gitsels,
Corporate Technology,
Software & Engineering,
Siemens

 Сергей Виноградов,
Владимир Окулевич,
Д-р Мартин Гитзельс,
Corporate Technology,
Software & Engineering,
Siemens
Keywords/Ключевые слова:
Certification, Safety-Related Standards, Safety Case
Abstract
Title Approaches to meet Certification Requirements for Mission-Critical Domains Authors Sergey Vinogradov, Vladimir Okulevich, Martin Gitsels Abstract Mission-critical domains such as transportation, communication and avionics have high requirements to software quality. Certification according to domain standards is needed to assure product quality before market entry. Modern standards such as ISO61508 and DO178B contain guidance to development and verification procedures. The contribution presents results of our research and practical experience in this area using techniques such as static code analysis and code coverage. Examples of findings in industrial software are given in addition with a presentation of our vision for further application of these approaches.


Microsoft Corporation

IBM

Oracle

Siemens

Sun Microsystems

TechSmith

© TEKAMA, 2005-2006. / +7 (495) 223 0106 / org@secrus.org SEC(R) 2005 Web site