Комментарии 104
Софт и ПО это не синонимы?
«компьютерщикам» — Ализар, такой Ализар…
Сейчас читаю книгу «Бережливое производство программного обеспечения», где главная идея основана на подходе Toyota к производству автомобилей. Думаю Toyota использует такой же подход для разработки своего ПО, который исключает появления ошибок, а не ищет ошибки в уже существующем коде.
Единственная возможность исключить ошибки, как известно, это не писать никакого кода.
Главная проблема — убитый автопром США. Поэтому там явно государство сказало или отзываете Приусы свои или закроем импорт.
Говоря откровенно
не говорит, что в коде нет ошибок :) Нет ошибок приводящих именно к самопроизвольному увеличению скорости, которое кажется и рассматривалось в деле.
Так что не стоит думать, что в 280к кода ошибок нет
After looking at more than 280,000 lines of software code in Toyota vehicles, NASA engineers found no electronic flaws capable of producing the large throttle openings required to create dangerous, high-speed unintended acceleration incidents, the Transportation Department said in a statement releasing its findings.
не говорит, что в коде нет ошибок :) Нет ошибок приводящих именно к самопроизвольному увеличению скорости, которое кажется и рассматривалось в деле.
Так что не стоит думать, что в 280к кода ошибок нет
НЛО прилетело и опубликовало эту надпись здесь
Отсутствие багов можно доказать математически, см. формальные методы.
Например, в Париже есть полностью автоматизированная ветка метро. Безопасность критически важных частей была доказана именно с помощью формальных методов.
Например, в Париже есть полностью автоматизированная ветка метро. Безопасность критически важных частей была доказана именно с помощью формальных методов.
НЛО прилетело и опубликовало эту надпись здесь
280000 строк формальными методами? Это сколько времени надо?
Доказать корректность и доказать отсутвие багов — разные вещи.
Как как насчет проблемы полноты, P ≠ NP и иже с ним? Если говорить о формуле рассчета чего-либо это одно. Но никак не о конечном автомате в целом и программах в частности.
Я не эксперт по формальным методам, но если им посвящена целая область computer science и они успешно используются для проверки реальных систем — видимо, есть методы для ограничения сложности. Википедия упоминает некие методы абстракции, позволяющие проверить несколько состояний системы за один шаг («smart and domain-specific abstraction techniques to consider whole groups of states in a single operation and reduce computing time»).
ПО для авто влияет на седло, софт для компов копируют назло )
>>самых нашпигованных электроникой автомобилей в мире
orly?
orly?
мне почему то всегда казалось, что например автомобили акура от хонды содержат намного больше электроники, чем автомобили тойота. сам езжу на королле и не замечаю этой «нашпигованности». конечно к примеру линейка лэнд крузер содержит намного больше электроники, но опять же сравните с той же акурой.
Спешу напомнить, что в Америке производят и продают Lexus, который намного более продвинутый, так сказать.
Ваш К.О.
Ваш К.О.
Я, честно говоря, имел в виду немцев. Например BMW с их iDrive.
>>Таким образом, названы две причины массовых случаев ДТП с участием >>автомобилей Toyota: это неправильное расположение коврика и >>залипающая педаль акселератора.
К сожалению, скорее всего, есть и третья причина: человеческий фактор :(
К сожалению, скорее всего, есть и третья причина: человеческий фактор :(
Интересно, а как они смотрел, ошибок код и не даст, компилируется то он нормально, а вот всю логику проверить… смутно верится.
Существуют методики верификации программ, например математическими методами — берется и доказывается как теорема, что код обладает нужными свойствами, например в PVS и аналогах.
Но дело это по многим причинам настолько редкое, муторное, долгое и дорогое, что применяется только для крайне важных программулин, например — прошивки систем жизнеобеспечения, где глюк может вызвать летальный исход.
По идее логику работы акселератора/тормозов тоже нужно верифицировать.
Но дело это по многим причинам настолько редкое, муторное, долгое и дорогое, что применяется только для крайне важных программулин, например — прошивки систем жизнеобеспечения, где глюк может вызвать летальный исход.
По идее логику работы акселератора/тормозов тоже нужно верифицировать.
Я так понимаю, что ПО для автомобилей и не только пишется на специализированных языках программирования, которые более адаптированы к данной отрасли.
Ещё одна область, в которой требуется отказоустойчивое ПО — это космос.
Любопытные могут ознакомиться с документом NASA Software Safety Guidebook.
Полистайте — не пожалеете. Местами весьма увлекательное чтиво.
Любопытные могут ознакомиться с документом NASA Software Safety Guidebook.
Полистайте — не пожалеете. Местами весьма увлекательное чтиво.
Фильм был про это кстати документальный вроде
Поэтому американцы на Союзах летают?)
зашёл сюда, чтобы запостить линк.
и обсуждение habrahabr.ru/blogs/personal/4034/
НЛО прилетело и опубликовало эту надпись здесь
Вот вроде баг фикс как выглядит
Чуваки, без обид, это была педаль.
Это я вам как обладатель Яриса 2008 года говорю.
Это я вам как обладатель Яриса 2008 года говорю.
У Тойоты было 2 отзыва на коврик и на педаль, если мне не изменяет память, отзывали разные модели по этим отзывам.
Чо, прям вот брала и сама разгонялась? Позвольте не поверить. Амфетамины вперемешку с водкой — более вероятный сценарий.
Воображение должно работать хоть немного дальше прочитанного: если больше 2-х часов за рулем и в салоне жарко и выжимаешь педаль до упора, то она не сразу возвращается на своё место, когда убираешь с неё ногу.
Я могу представить как можно написать 280к строчек без ошибок.
Особенно если мы говорим об автомобилях, самолетах и лифтах разных( генерируемый код, SDL, каскад тестов на конечные автоматы — в общем проходил на собственном опыте )
Но как может внешний человек проверить «это» — не представляю в принципе
Особенно если мы говорим об автомобилях, самолетах и лифтах разных( генерируемый код, SDL, каскад тестов на конечные автоматы — в общем проходил на собственном опыте )
Но как может внешний человек проверить «это» — не представляю в принципе
Не разгонялась я, он сам пришел
fail
У нас компания работает по созданию софта вместе с Японцами, наслышан от коллег, занятых в этом проекте о качестве работы ихних QA. Глубина проверки просто ошеломляет, отсюда и результаты…
В книге: «Совершенный код. Мастер-класс. Стив МакКоннелл.» автор вам расскажет как в коде на 280 000 строк кода может быть минимум ошибок.
А так сами подумайте: почему проверяла именно НАСА. Как часто программисты этой компании допускают ошибки в исходном коде?
А так сами подумайте: почему проверяла именно НАСА. Как часто программисты этой компании допускают ошибки в исходном коде?
Надеюсь, код был предоставлен с девайсами?
А то тупо смотреть в чужой софт — седьмой круг ада. Другое дело погонял на камри, проверил циклы, красота.
А то тупо смотреть в чужой софт — седьмой круг ада. Другое дело погонял на камри, проверил циклы, красота.
У меня только что был случай. Надо было написать некую программу для брокеров (Java, Web-based + MS SQL), которая базировалась на таблицах системы управления конторой (с оборотом больше миллиарда долларов в год). Работал один с небольшой поддержкой бизнес-аналиста из IBM — это их железячный клиент, но с таким маленьким заказом им, конечно, связываться не хотелось, а отказать было неудобно, я два раза работал на ИБМ, они меня знали, поэтому попросили сделать.
Работал 3 месяца по вечерам, но на пустой БД — мне доступ не дали даже к старым данным. Таблиц тысячи, заполнить данными нереально. Так что приходилось очень тщательно подходить к алгоритмам (там не рокет сайенс, но достаточно сложно) и кодированию.
Начали тестировать с января, тестировали месяц. И вот неделю назад выдали отчет: не нашли ни одной ошибки.
Это не очень большая задача — примерно 800 кб кода на джаве, html/jsp, css, ajax. Не тойота, конечно, но так чтобы с первого раза все заработало и ни одной ошибки вообще — у меня это первый раз.
Работал 3 месяца по вечерам, но на пустой БД — мне доступ не дали даже к старым данным. Таблиц тысячи, заполнить данными нереально. Так что приходилось очень тщательно подходить к алгоритмам (там не рокет сайенс, но достаточно сложно) и кодированию.
Начали тестировать с января, тестировали месяц. И вот неделю назад выдали отчет: не нашли ни одной ошибки.
Это не очень большая задача — примерно 800 кб кода на джаве, html/jsp, css, ajax. Не тойота, конечно, но так чтобы с первого раза все заработало и ни одной ошибки вообще — у меня это первый раз.
K сенсационным выводам пришли представители фирмы Toyota, которые собственными силами расследовали причины «педальной проблемы» у продаваемых ею в США автомобилей. Такие машины, по словам их владельцев, начинали разгоняться из-за заедания педали газа — даже при нажатии на тормоз. Оказалось, что практически во всех случаях, по которым поступали жалобы, водители просто путали педали и вместо того, чтобы осадить железного коня, понукали его.
С марта текущего года японцы исследовали данные примерно с двух тысяч бортовых самописцев на самопроизвольно ускорявшихся автомобилях. Как выяснилось по итогам анализа, чаще всего, когда машина начинала резко разгоняться, сидящий за рулём, надо полагать безотчётно, что было мочи выжимал акселератор. Эту информацию в ходе телефонного интервью сообщил представитель американского подразделения Тойоты Майк Мичелс, пояснив, что компания, тем не менее, продолжает искать и другие причины проблемы.
www.drive.ru/toyota/shortnews/2010/07/14/3457123.html
Зато в Лада-калина коврик ровно лежит ))
Профессионалам привет.
Учимся читать до конца.
Учимся читать до конца.
Три. Положим допустимо использовать «ихний» как притяжательное местоимение. Тогда все-равно количество *кого/чего* -> родительный падеж = «их», а не притяжательный «ихнее».
Пример: мое величество vs. величество меня. :-)
Пример: мое величество vs. величество меня. :-)
>>Ну а профессионалам остаётся только удивляться, как может нормально работать без сбоев программно-аппаратный комплекс на колёсах под управлением 280000 строчек кода. Видимо, в программировании автомобильной электроники действуют совершенно иные стандарты качества, нежели в создании софта для ПК.
вы видимо мемуаров фейнмана не читали
вы видимо мемуаров фейнмана не читали
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
280 000 строк кода — ни одной ошибки?