> -- Илья Ермаков писал(а):
> И реально какие применяются инструменты, соответствующие этому стандарту? Ada?

Для систем безопасности - графический САПР (не Дракон), который сертифицируется. И крутится по прерыванию, либо с Микро Осью. Варианты с Адой у нас не знаю.