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@secr.ru SEC(R) 2005 Web site