Обзор зарубежных СМИ (архив 2013)

GNAT Pro Safety Critical для микропроцессоров ARM Cortex

Микропроцессоры с архитектурой ARM становятся все более распространенными во встраиваемых системах, критических для безопасности и подлежащих сертификации (авиация/космос, транспорт, медицина и др). Комплекс средств разработки на языке Ada GNAT Pro Safety Critical компании AdaCore теперь поддерживает микропроцессоры ARM Corteх в дополнение к уже поддерживаемым PowerPC и LEON. Применение какой-либо встраиваемой операционной системы на ARM Cortex не требуется, что позволяет использовать язык Ada для разработки ПО систем с ограниченными ресурсами (bare board). GNAT Pro Safety Critical предназначен для разработки ПО систем, подлежащих сертификации по стандартам DO-178B/DO-178C (авиация), DO-278/DO-278A (системы УВД), EN 50128 (ж/д транспорт) и ECSS-E-ST-40C/ ECSS-Q-ST-80C (космос).

Astrium выбирает GNAT Pro и PolyORB для Международной Космической Станции

Компания Astrium, подразделение европейского концерна EADS, выбрала язык Ada и комплекс средств разработки GNAT Pro компании AdaCore для разработки наземной системы управления CGS (Core Ground System) европейским модулем Columbus Laboratory Международной Космической Станции. Система CGS будет применяться не только в Центре Управления модулем Columbus в городе Оберпфаффенхофен (около Мюнхена), но и во всех центрах управления полезными нагрузками лаборатории Columbus, расположенных по всей Европе. Основой системы коммуникации между центрами управления является связующее ПО стандарта CORBA PolyORB компании AdaCore.

GNAT GPL 2013 provides new Ada 2012 language features

Для участников программы GAP (The GNAT Academic Program. Encouraging the use of Ada in Academia) доступна новая версия GNAT GPL 2013 and SPARK Hi-Lite GPL

http://www.adacore.com/academia

We are pleased to announce the availability of GNAT GPL 2013 and SPARK Hi-Lite GPL. GNAT GPL 2013 provides new Ada 2012 language features, introduces new tools and new versions of existing tools, incorporates a range of improvements and adds several new platforms.

Автоматические обновления программного обеспечения

http://www.eejournal.com/files/cache/6e90a9bedb35d3843d87c2906d017c72.png 

Розы красные;
Фиалки синие; 
Я - шизофреник;
И я тоже.

Обновления программного обеспечения увеличивают стоимость и качество ПО или способствуют развитию лени у разработчика? Обсуждение с самим собой.

Джим Терли  29 мая 2013

На этой неделе мы обсуждаем две стороны темы, “Действительно ли автоматические обновления программного обеспечения - хорошая  или это плохая вещь? ” Но так как мои учёные коллеги не доступны – или были достаточно мудры, чтобы избежать мои предложения обсудить эту тему – я буду выдвигать аргументы обоих сторон сам. К счастью, я - два ума в этой области знаний, таким образом, у меня нет проблемы, колеблясь между изгородью из колючей проволоки.

С тех пор, как мы начали соединять наши встраиваемые программы в устройства с вещью, названной Интернетом, у нас была очаровательная перспектива способности исправить наши ошибки программного обеспечения отдаленно. Все с iPhone и PC до седана Tesla Model S получает обновления программного обеспечения по воздуху, всякий раз, когда и везде, где их создатель решает, что это – время настало. Отдаленные обновления программного обеспечения позволяют нам исправлять ошибки в программах, и они позволяют нам загружать новые особенности на устройства наших клиентов. Но это, после совершения обновляет хорошую вещь, или они, фактически, способствуют неаккуратному программированию и своего рода потребительскому презрению? Во-первых, давайте рассмотрим аргумент против, а затем аргументы за.

Полностью оригинал статьи находится URL:

http://www.eejournal.com/archives/articles/20130529-debate/

Очевидное заключение

Теперь, когда мы ясно и убедительно обсудили обе стороны случая, каково заключение? Я думаю, что это ясно. Если я - разработчик, я хочу отдаленные обновления программного обеспечения. Если я - пользователь, я не хочу их.

 

ADACORE в зарубежной печати
I’d like that job - Charly Delay, software engineer, AdaCore- E&T magazine http://eandt.theiet.org/explore/students/2012/charly-delay-adacore.cfm
Object Orientation in Embedded Critical Systems – don't be scared anymore!- electronic design
http://electronicdesign.com/article/embedded/object-orientation-embedded-critical-systems-dont-scared-anymore-74763
Drones: eyes in the sky that are watching you – The Voice of Russia
http://ruvr.co.uk/2012_11_28/Drones-eyes-in-the-sky-that-are-watching-you/
Ada Watch: Choosing a programming language that supports reliability – Military Embedded Systems
http://mil-embedded.com/guest-blogs/ada-watch-choosing-a-programming-language-that-supports-reliability/
Software 'glitches' are not acceptable. Learn from aviation – Techworld
http://news.techworld.com/applications/3411886/software-glitches-are-not-acceptable-in-any-industry-says-adacore/
ADA 2012 Language and Tools from AdaCore - Design East 2012 – engineering tv
http://www.engineeringtv.com/video/ADA-2012-Language-and-Tools-fro;search%3Aadacore
Keeping open source software free – The Electronic Supplier
http://www.the-electronic-supplier.com/ezine/story/2012vol9/storyEd.html
Ada gets a make over - EE Times
http://www.embedded.com/electronics-blogs/break-points/4395816/Ada-2012
Wall Street and the Mismanagement of Software- Dr. Dobbs
http://www.drdobbs.com/architecture-and-design/wall-street-and-the-mismanagement-of-sof/240005196
Ada 2012: A New Language for Safe and Secure Software – COTS Journal
http://cotsjournalonline.com/articles/view/102810
Ada Benefits High-Reliability Transportation- EECatalog
http://eecatalog.com/transportation/2012/06/29/ada-benefits-high-reliability-transportation/

События 2013 года
Safety-Critical Systems Symposium 2013- 5-7 February 2013
Bristol, UK
http://www.safety-club.org.uk/e210
Embedded World 2013 – 26-28 February 2013 Nuremberg, Germany
http://www.embedded-world.de/en/
1st Tool Qualification Symposium – 9- 10 April 2013 München, Germany
http://toolqualification2013.eventbrite.com
Certification Together – 16-18 April 2013 Toulouse, France
http://www.certification-together.com/index.php?option=com_content&view=article&id=73&Itemid=80
Ada Europe- 10- 14 June 2013 Berlin, Germany
http://www.ada-europe2013.org
Ознакомиться со всеми событиями можно по URL:
http://www.adacore.com/category/press-center/events/

 

 

 

Подпишитесь на почтовую конференцию Ada-ru (достаточно послать письмо):

 ada_ru-subscribe@yahoogroups.com

Описание: Atego logo