Матимар предоставя експертни знания в областта на софтуерното инженерство на организации, разработващи вграден софтуер за системи, свързани с безопасността, и други приложения, изискващи висока надеждност, като например управлението на двигатели. Нашата работа се основава на десетилетия практически опит в разработката на приложения за автомобилната, индустриалната, ядрената, железопътната, аерокосмическата и отбранителната индустрия, съчетан с опит в ръководенето на инженерни екипи и възстановяването на сложни продукти от миналото. Разработката ни на вграден софтуер се възползва от дългогодишния ни опит не само като разработчици, но и като специалисти по функционална безопасност.

Ние подкрепяме клиенти, които се нуждаят от дисциплинирана разработка на софтуер с висока степен на надеждност – независимо дали става дума за нови проекти, постепенни подобрения или стабилизиране и преструктуриране на съществуващи системи.

За предизвикателства в разработката на софтуер, при които е необходим по-стриктен анализ, Матимар може да приложи математическо мислене, за да изясни сложни поведения, да подкрепи проектни решения и да подпомогне инженерите при разрешаването на необичайни или трудни технически проблеми.

Разработка на вграден софтуер

Матимар разполага с богат опит в разработката на вграден софтуер за системи, базирани на микроконтролери:

• „Bare-metal“ програмиране на микроконтролери ARM и Tricore.
• Разработване на слоеве за абстракция на хардуера, драйвери за устройства и буутлоудъри.
• Архитектура, задействана по време, и софтуер за управление в твърдо реално време.
• Комуникационни интерфейси, включително CAN, CANopen, UDS, SPI, I²C, GPIO и ADC.
• Софтуер за управление на двигатели за промишлени и автомобилни приложения.

Матимар може да се заеме както с разработването на нови продукти, така и с внимателното преструктуриране на стари кодови бази с цел подобряване на надеждността, лесността на поддръжка и производителността.

Можем да приложим математически методи, за да гарантираме, че преструктурираните или новоразработените модули ще се държат предсказуемо при всички условия на работа.

Моделно-базиран и структуриран дизайн

Прилагаме методи за структуриран дизайн, за да осигурим яснота и лесно поддържане:

• Моделиране с UML и SysML (блокови, последователностни, състоятелни и дейностни диаграми).
• Моделно-базирано разработване с използване на SCADE и IBM Rhapsody.
• Определяне и проследяемост на изискванията с помощта на DOORS, Jama и Cradle.
• Архитектурно моделиране за сложни системи за управление.

Тези методи се използват с практическа насоченост, като подпомагат както разработването на нови проекти, така и преструктурирането на съществуващи системи, при които документацията е непълна или остаряла.

Можем също така да прилагаме математически техники за укрепване на архитектурните модели, за откриване на скрити взаимодействия и за предоставяне на по-ясна обосновка на проектните решения в сложни системи за управление.

Тестване и проверка на вграден софтуер

Матимар предлага цялостна подкрепа в областта на тестването и верификацията:

• Тестване на модули с помощта на Cantata, Tessy, LDRA и персонализирани тестови набори (пример от практиката).
• Интеграционно и квалификационно тестване на вградени системи.
• Автоматизирано изпълнение на тестове с помощта на Jenkins и работни потоци за непрекъсната интеграция.
• Статичен анализ с инструменти като Polyspace и проверка за съответствие с MISRA.

Разполагаме с богат опит в разработването на стратегии за тестване на системи, изискващи висока надеждност и дълъг експлоатационен живот.

В допълнение към конвенционалните тестове, можем да приложим математически анализ, за да изясним очакваното поведение, да подобрим обхвата на тестовете при крайни случаи и да подпомогнем дейностите по верификация, при които коректността трябва да бъде строго доказана.