Алексей Мусин (14.01.2009 14:18, просмотров: 198) ответил Alex B. на Каво не было? uc-view? - да он старше меня, и jtag ему не нужен
IEC 62279 (софт для ответств. применений на ж.д.) 15.4.8 The supplier and/or developer shall establish, document and maintain procedures for
External Supplier Control, including:
– methods to ensure that software provided by external suppliers adheres to established
requirements. Previously developed software shall be assured to be compliant with the
required software safety integrity level and dependability...
Да, uCOS неидеальна, с этим я не спорю. Сильно параметризованная конфигурация - факт.
Пример "плохого инструмента" затерялся в прошлом. :)
splint для кода на Си я использовал. Для ++ он, к сожалению, не годится. Ищу.