IEC 61508 · Systemy krytyczne · MBD

Inżynieria systemów krytycznych

Wspieramy rozwój systemów przemysłowych i innych systemów krytycznych, w których bezpieczeństwo, niezawodność i rygor procesu inżynieryjnego mają kluczowe znaczenie. Pracujemy w oparciu o IEC 61508, Model-Based Design oraz technologie MATLAB i Simulink.

Poznaj nasze kompetencje Porozmawiaj z ekspertem

O firmie

KOLSYSTEM Sp. z o.o. to niewielka, ekspercka firma inżynieryjna z Katowic. Specjalizujemy się w rozwoju, testowaniu i weryfikacji systemów, w których błąd nie jest opcją.

Łączymy doświadczenie zdobyte w wymagającym środowisku kolejowym z podejściem do bezpieczeństwa funkcjonalnego opartym na IEC 61508. Dzięki temu wspieramy projekty przemysłowe i realizacje w różnych branżach, w których bezpieczeństwo funkcji systemu musi być zaprojektowane, zweryfikowane i udokumentowane.

Pracujemy w środowisku MATLAB i Simulink, wykorzystując specjalistyczne toolboxy - w tym IEC Certification Kit - wspierające modelowanie, testowanie, analizę wymagań i przygotowanie materiałów dla procesu oceny zgodności.

  • Doświadczeni specjaliści

    Projekty prowadzą inżynierowie z wieloletnią praktyką w systemach safety-critical - od modelu po dokumentację dowodową.

  • Elastyczność działania

    Mały zespół to krótkie ścieżki decyzyjne, szybkie rozpoczęcie prac i dopasowanie zakresu do realnych potrzeb projektu.

  • Bezpośredni kontakt

    Rozmawiasz wprost z inżynierami, którzy realizują Twój projekt - bez pośredników i warstw handlowych.

Nasze podejście

Tworzymy systemy, w których błąd nie jest opcją – z rygorem procesu, pełną identyfikowalnością wymagań i dowodami gotowymi na audyt.

Usługi

Kompetencje obejmujące pełny cykl życia systemu - od wymagań po dowody zgodności.

  • Inżynieria systemowa

    Definiowanie architektury, dekompozycja funkcji i spójne prowadzenie projektu od koncepcji po integrację.

  • Analiza i zarządzanie wymaganiami

    Specyfikacja, strukturyzacja i pełna identyfikowalność wymagań w całym cyklu życia systemu.

  • Model-Based Design

    Rozwój w oparciu o modele wykonywalne - od koncepcji, przez symulację, po generowanie kodu.

  • Modelowanie i symulacja

    Modele dynamiki, algorytmów i otoczenia systemu, pozwalające testować zachowanie przed implementacją.

  • Rozwój systemów embedded

    Oprogramowanie wbudowane dla platform czasu rzeczywistego, z naciskiem na determinizm i niezawodność.

  • Weryfikacja i walidacja

    Systematyczne wykazywanie, że system spełnia wymagania - na poziomie modelu, kodu i systemu.

  • Automatyzacja testów

    Środowiska i skrypty testowe, które skracają czas regresji i zapewniają powtarzalność wyników.

  • Bezpieczeństwo funkcjonalne

    Analizy zagrożeń i ryzyka, definicja funkcji bezpieczeństwa oraz wsparcie działań prowadzonych w oparciu o IEC 61508 i wymagany poziom SIL.

  • Wsparcie dokumentacji projektowej

    Dokumentacja techniczna i procesowa przygotowana pod przeglądy, audyty i dowody zgodności.

  • Generowanie i weryfikacja kodu

    Automatyczna generacja kodu z modeli oraz testy równoważności modelu i kodu (SIL/PIL) potwierdzające zgodność implementacji.

  • Analiza pokrycia strukturalnego

    Pomiar i analiza pokrycia strukturalnego modelu oraz kodu (m.in. MC/DC), wspierające dowody kompletności testów.

  • Konsulting dla zespołów R&D

    Doradztwo, przeglądy procesów i transfer wiedzy dla zespołów rozwijających systemy krytyczne.

Przemysł i systemy krytyczne

Rygor bezpieczeństwa funkcjonalnego dla systemów przemysłowych i rozwiązań, w których niezawodność ma znaczenie.

IEC 61508 stanowi ramę dla bezpieczeństwa funkcjonalnego systemów elektrycznych, elektronicznych i programowalnych. Jej zasady stosujemy w projektach przemysłowych oraz wszędzie tam, gdzie konieczne jest systematyczne zarządzanie ryzykiem i dowodami bezpieczeństwa.

Rygor IEC 61508
  • Bezpieczeństwo jako nadrzędne kryterium projektowe
  • Analiza zagrożeń i ryzyka jako podstawa funkcji bezpieczeństwa
  • Identyfikowalność wymagań od specyfikacji po wynik testu
  • Kontrolowany cykl życia bezpieczeństwa funkcjonalnego
  • Dokumentacja i dowody gotowe do niezależnej oceny
  • Systematyczna weryfikacja i walidacja

Technologie i narzędzia

Środowisko pracy zbudowane wokół ekosystemu MathWorks i procesów zgodności.

  • M

    MATLAB

    Analizy, algorytmy, przetwarzanie danych i automatyzacja zadań inżynierskich - wspólny język całego procesu.

  • S

    Simulink

    Modelowanie i symulacja systemów dynamicznych oraz logiki sterowania - od koncepcji po model gotowy do generacji kodu.

  • IEC

    IEC Certification Kit

    Narzędzia i materiały wspierające rozwój oprogramowania zgodnie z wymaganiami bezpieczeństwa funkcjonalnego, w tym IEC 61508.

  • +

    Specjalistyczne toolboxy

    Narzędzia wspierające analizę wymagań, testowanie modeli i kodu, pomiar pokrycia oraz automatyczne raportowanie.

Co to daje w projekcie

  • Wcześniejsze wykrywanie błędówproblemy wychwytywane na poziomie modelu, nie w integracji.
  • Symulacja przed implementacjązachowanie systemu sprawdzone zanim powstanie kod.
  • Automatyzacja testówszybkie, powtarzalne kampanie testowe i regresja bez pracy ręcznej.
  • Powtarzalność analizte same dane wejściowe zawsze dają ten sam, audytowalny wynik.
  • Identyfikowalnośćciągłe powiązanie wymagań z modelami, testami i wynikami.
  • Wsparcie zgodnościdokumentacja i dowody przygotowane do oceny zgodności z wymaganiami projektu.

IEC 61508 i bezpieczeństwo funkcjonalne

Podstawą naszego podejścia jest IEC 61508 - norma bezpieczeństwa funkcjonalnego dla systemów E/E/PE, stosowana w przemyśle i różnych zastosowaniach krytycznych.

  • IEC 61508

    Podstawa bezpieczeństwa funkcjonalnego

    Ramy dla projektowania i prowadzenia systemów E/E/PE realizujących funkcje bezpieczeństwa.

  • IEC 61508-1

    Cykl życia bezpieczeństwa

    Ogólne wymagania dla zarządzania bezpieczeństwem funkcjonalnym w całym cyklu życia systemu.

  • IEC 61508-2

    Systemy E/E/PE

    Wymagania dotyczące projektowania systemów elektrycznych, elektronicznych i programowalnych związanych z bezpieczeństwem.

  • IEC 61508-3

    Oprogramowanie związane z bezpieczeństwem

    Wymagania dla rozwoju oprogramowania, w tym jego specyfikacji, implementacji, testowania i weryfikacji.

  • IEC 61508-5

    Poziomy nienaruszalności bezpieczeństwa

    Metody wspierające określanie poziomów SIL odpowiednich do ryzyka i wymaganych funkcji bezpieczeństwa.

  • CENELEC

    Doświadczenie sektorowe

    Praktyka zdobyta w branży kolejowej wzmacnia nasze podejście do rygoru procesu, identyfikowalności i dowodów bezpieczeństwa.

Jak rozumiemy naszą rolę: KOLSYSTEM nie jest jednostką certyfikującą. Wspieramy klientów w przygotowaniu procesów, dokumentacji, analiz i dowodów wymaganych w projektach prowadzonych w oparciu o IEC 61508 i właściwe normy sektorowe - tak, aby zespół był gotowy na przeglądy, asesment i współpracę z jednostkami oceniającymi.

Proces współpracy

  1. 1

    Analiza potrzeb

    Poznajemy kontekst projektu, ograniczenia oraz cele - techniczne i procesowe.

  2. 2

    Definicja zakresu

    Ustalamy zakres prac, kryteria odbioru, harmonogram i model współpracy.

  3. 3

    Realizacja inżynieryjna

    Prowadzimy prace zgodnie z ustalonym procesem i regularnie raportujemy postęp.

  4. 4

    Weryfikacja i testy

    Rezultaty podlegają systematycznej weryfikacji względem wymagań i kryteriów jakości.

  5. 5

    Przekazanie i wsparcie

    Przekazujemy rezultaty wraz z dokumentacją i zapewniamy dalsze wsparcie techniczne.

Przykładowe obszary projektowe

Typowe zadania, w których wspieramy zespoły rozwijające systemy krytyczne.

  • Algorytmy sterowania i logika bezpieczeństwa

    Projektowanie i symulacja algorytmów sterujących w Simulinku wraz z analizą przypadków brzegowych.

  • Środowiska testowe MIL / SIL / HIL

    Budowa środowisk testowania modelu, kodu i integracji systemu z symulowanym otoczeniem.

  • Generowanie kodu z modeli

    Przygotowanie modeli pod automatyczną generację kodu oraz weryfikację równoważności modelu i kodu.

  • Identyfikowalność wymagań

    Powiązanie wymagań z modelami, testami i wynikami w spójny, audytowalny łańcuch dowodowy.

  • Analizy na potrzeby dowodów bezpieczeństwa

    Wsparcie analiz i argumentacji bezpieczeństwa przygotowywanych w ramach safety case.

  • Wdrożenie podejścia Model-Based Design

    Migracja istniejącego procesu R&D do pracy opartej o modele - narzędzia, proces, kompetencje.

Masz przemysłowy projekt, w którym liczy się bezpieczeństwo?

Krótko opisz zakres - wrócimy z konkretną, inżynierską odpowiedzią.

Porozmawiaj z ekspertem

Kontakt

Opowiedz nam o swoim projekcie - odpowiadamy inżyniersko i konkretnie.

Dane kontaktowe

Dane rejestrowe

NIP
954-278-16-88
REGON
368149910
KRS
0000693250

Administratorem danych osobowych podanych w formularzu jest KOLSYSTEM Sp. z o.o., ul. Uniwersytecka 13, 40-007 Katowice. Dane przetwarzane są wyłącznie w celu udzielenia odpowiedzi na przesłane zapytanie, na podstawie zgody (art. 6 ust. 1 lit. a RODO), przez okres niezbędny do obsługi korespondencji. Podanie danych jest dobrowolne, ale niezbędne do otrzymania odpowiedzi. Masz prawo dostępu do danych, ich sprostowania, usunięcia, ograniczenia przetwarzania, wycofania zgody w dowolnym momencie oraz wniesienia skargi do Prezesa UODO. Kontakt w sprawach danych osobowych: biuro@kolsystem.pl. Strona zapisuje wyłącznie niezbędny plik cookie z Twoim wyborem dotyczącym zgód; po wyrażeniu zgody na treści zewnętrzne wczytywana jest mapa Google - odbiorcą danych (m.in. adresu IP) jest wówczas Google Ireland Ltd. Pełne informacje znajdziesz w polityce prywatności.

Lokalizacja

KOLSYSTEM Sp. z o.o. · ul. Uniwersytecka 13 · 40-007 Katowice
Mapa Google zostanie wyświetlona po wyrażeniu zgody na treści zewnętrzne. Wczytanie mapy wiąże się z przekazaniem danych (m.in. adresu IP) firmie Google.