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

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

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

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

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

Ние съдействаме за полагането на основите на разработвателната дейност, свързана с безопасността:

Планове за безопасност, съобразени със стандартите IEC 61508, ISO 26262, ISO 13849, IEC 62061, IEC 50128 или други.
Концепции за функционална и техническа безопасност (FSC/TSC) и архитектури за безопасност за вградени системи.
Определяне на изискванията за безопасност на системно и софтуерно ниво.
Разработване на стратегии за тестване на безопасността и планове за верификация.

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

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

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

Matimar предлага структуриран анализ през целия жизнен цикъл:

Идентифициране на опасностите и анализ на риска (HARA).
Анализ на начините на отказ и последствията (FMEA) и анализ на дървото на отказите (FTA).
Анализ на безопасността на софтуера за вградени системи за управление.
Оценка на механизмите за безопасност, диагностичния обхват и архитектурните ограничения.

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

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

Процес и качество

Матимар подпомага организациите при въвеждането или усъвършенстването на процесите, необходими за разработката на системи, свързани с безопасността:

Създаване на процеси за разработка, съответстващи на стандартите IEC 61508, ISO 26262, ISO 13849 и Automotive SPICE.
Определяне на работни потоци за управление на изискванията, управление на конфигурацията и верификация.
Подготовка за независима оценка и подкрепа по време на одити.
Управление на компетенциите и организационни процеси, свързани с безопасността.

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

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

Независима оценка и подкрепа

Матимар може да осигури независимост на организациите, които търсят външна проверка:

Независим преглед на резултатите от работата по безопасността.
Оценка на проектите на софтуера и системите спрямо приложимите стандарти.
Подкрепа при взаимодействието с външни оценители.
Технически преглед на обосновките за безопасност и подкрепящите доказателства.

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

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

Киберсигурност за системи, свързани с безопасността

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

Анализ на заплахите и рисковете (TARA) съгласно ISO 21434.
Интегриране на изискванията за киберсигурност в архитектурите, свързани с безопасността.
Преглед и рефакторинг на комуникационните стекове (например UDS, CANopen) с цел въвеждане на защитени слоеве.

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

Обслужвани отрасли

Опитът на „Матимар“ в областта на функционалната безопасност обхваща:

Автомобилна промишленост (ISO 26262)
Промишлена автоматизация и машиностроене (IEC 61508, ISO 13849, IEC 62061)
Ядрена енергетика (IEC 61508)
Железопътен транспорт (IEC 50128)
Аерокосмическа и отбранителна промишленост
Медицински устройства