„Матимар“ области на експертни познания са разработката на софтуер, софтуерните процеси и функционалната безопасност.

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

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

Имаме опит в разработването и поддържането на изисквания за вградени системи и софтуер, като използваме различни инструменти, сред които DOORS, Cradle, Jama и Jira.

Разполагаме с опит в проектирането на вградени системи и софтуер, като използваме инструменти като SysML и UML, както и неформални нотации и естествен език.

Нашите възможности в областта на софтуерното програмиране включват езиците C, C++, C# и Ada, както и автоматизирано генериране на код чрез моделно-базирано софтуерно инженерство (MBSE). За областите с по-високи изисквания за надеждност имаме опит с MISRA C и SPARK Ada.

Разполагаме с опит в тестването на софтуер на ниво модул, интеграция и система, като използваме разнообразни софтуерни инструменти за автоматизиране на тестването – както готови решения (например Cantata, Tessy, ctest), така и специално разработени тестови приложения.

Софтуерен процес

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

Освен жизнения цикъл на софтуера, Matimar притежава и задълбочено разбиране за съпътстващите процеси, които са от съществено значение за успеха на софтуерните проекти:

  • Управление на версиите с помощта на инструменти като Git и Subversion
  • Управление на конфигурацията с помощта на инструменти като Cradle
  • Проверка чрез методи като партньорска оценка и статичен анализ
  • Осигуряване на качеството
  • Управление на проблеми с помощта на инструменти като Jira, Jama и Cradle
  • Управление на промените с помощта на инструменти като Jira, Jama и Cradle

Функционална безопасност

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

  • ISO 13849
  • IEC 61508
  • ISO 26262