Здравствуйте, t_o_l, Вы писали:

__>Ключевая редакция стандарта DO-178B вышла в конце 1992 года. Опыт его применения в авиации оказался достаточно успешным, и его положения и принципы легли в основу других промышленных стандартов, но не связанных с авиацией. Насколько я знаю, DO-178B существенно повлиял на развитие стандартов в таких отраслях, как железнодорожный и автомобильный транспорт, ядерная энергетика и медицина. Так что базовые принципы DO-178B, вы можете найти и в IEC 61508.

"Базовые принципы DO-178B" можно гарантировано найти в DO-178С. Который был сделан с учетом накопившихся претензий к B.

Since the release of DO-178B, there have been strong calls by DERs (FAA Designated Engineering Representatives) for clarification/refinement of the definitions and boundaries between the key DO-178B concepts of High Level Requirements, Low Level Requirements, and Derived Requirements and a better definition of the exit/entry criteria between systems requirements and system design (see ARP4754) and that of software requirements and software design (which is the domain of DO-178B). Other topics such as what does verification mean in a model-based development paradigm and can model simulation or formal methods replace some or all software testing activities. The release of DO-178C and the companion documents DO-278A (Ground Systems), DO-248C (Additional information), DO-330 (Tools), DO-331 (Modeling), DO-332 (Object Oriented), and DO-333 (Formal Methods) were created to address the criticisms noted.

Что до IEC 61508, он, в отличии от DO0178*, is intended to be a basic functional safety standard applicable to all kinds of industry. Что как бэ чуточку было бэ более релевантно для "общего случая", чем устаревший частный стандарт для авионики .

Но большинству, с концепцией good enough software, все равно похрен.