Сентябрь 2011

Posted on November 5, 2011

Рабочее

В сентябре удалось посетить конференцию “разработчиков ответственного ПО”, проводимую в Москве компанией AVD Systems. Проходило сие действо в отеле “Аэростар”, участие принимали три компании - Wind River, AdaCore и Esterel.

C Wind River и их продукцией я знаком еще со времен работы в Мере. Кристиан Зигл и Йоахим (фамилию запамятовал) в трех актах рассказали о компании в целом (в фактах и внушительных цифрах), о их продуктах с технической точки зрения (я наконец-то уловил разницу между SMP и ASMP!), и о планах на будущее. Было интересно.

Представители AdaCore поведали о том, как Ада заруливает все остальные языки в плане решения критических к безопасности задач. У Ады есть подмножество Spark, и правильность программ, написанных на нем, формально доказуема. Так-то!

Esterel презентовали два продукта: SCADE Suite и SCADE Display. Первое позволяет рисовать логику программы во всяких схемах (включая конечные автоматы) и из этого потом генерировать работающий код. Второе - рисовать всякие интерфейсы пользователя - индикаторы, шкалы и т.д., и, опять же, из этого генерить работающий код. Естественно, продукты тесно связаны между собой и позволяют легко привязывать представление к модели. Что примечательно - если сертифицировать схемы с картинками, сгенерированный с них код становится сертифицирован автоматически. Код можно генерить для всяких разных платформ.

В целом конференция мне понравилась. Все было хорошо организовано и вообще хорошо.

Вечером, после конференции, сходили с профессором на “Иисуса Христоса – Суперзвезду”. Посмотрел на Екатерину Гусеву. Впечатления резко положительные :)

Компьютерное

В начале месяца сдал проект GSoC, над которым, правда, продолжаю работать и сейчас.

В конце месяца сдох мой первый ноут - Тошиба Сателлит. С октября прошлого года на нем прекрасно работала NetBSD 5.0.2, и работала бы и дальше, но весной я обновил систему сначала до -current, потом, брутально, назад до 5.1 - и тут начались глюки, корки при воспроизведении некоторых альбомов Мейденов, хальты при конфигурении и сборке проектов. Хорошо, что я успел сделать основную часть работы до фатального конца. Решил пока не ремонтировать, дабы дальше не мучиться, а купить сразу новый комп.

Остальное

Не помню, что я делал весь остальной сентябрь. Наверно работал, как всегда.