1. Teza, granica analizy i model dwóch łańcuchów

Gotowość systemu rakietowego zależy od równoczesnej integralności dwóch sprzężonych łańcuchów. Łańcuch fizyczny prowadzi od infrastruktury obiektu przez naziemny system wsparcia i wyposażenie obsługowe do interfejsu oraz wyrobu: infrastruktura → GSS/GSE → interfejs → wyrób. Łańcuch dowodowy prowadzi od wymagania przez konfigurację testu, pomiar i regułę decyzji do zapisu oraz formalnego dopuszczenia: wymaganie → konfiguracja testu → pomiar → reguła decyzji → zapis dowodowy → formalne dopuszczenie. Awaria dowolnego ogniwa może unieważnić gotowość sprawnego pocisku albo stworzyć fałszywy dowód jego sprawności.

Pocisk może zatem być technicznie sprawny, a system uzbrojenia — niezdolny do działania. Przyczyną może być niesprawny środek transportu, niezgodny zespół przewodów, nieważne wzorcowanie, błędna wersja programu testowego lub instalacja o niezatwierdzonym zasilaniu i uziemieniu. Odwrotnie, wadliwy wyrób może uzyskać korzystny wynik, jeżeli tor pomiarowy nie obejmuje adaptera, konfiguracja testu jest nieznana albo regułę decyzji dobrano dopiero po obejrzeniu danych. Oba łańcuchy spotykają się w pojedynczym zdarzeniu obsługowym; nie wolno oceniać ich osobno.

Granica analizy jest funkcjonalna. Element należy włączyć do systemu, jeżeli może zmienić stan, konfigurację, bezpieczeństwo lub ocenę wyrobu, nawet gdy znajduje się poza pojazdem albo budynkiem użytkownika. Dla każdego ogniwa trzeba wskazać właściciela projektu i konfiguracji, warunki ważności, zagrożenia, ograniczenia oraz dowód zamykający ryzyko. Zielony komunikat automatu nie jest samodzielnym dopuszczeniem: technik wykonuje czynność i zapisuje wynik, natomiast uprawniona władza ocenia komplet dowodów i ryzyko resztkowe.

Skonsolidowana granica bezpieczeństwa. Tekst omawia wyłącznie publiczne, ogólne zasady inżynierii systemów, logistyki i metrologii. Nie podaje topologii, wyprowadzeń złączy, komend, wartości granicznych, parametrów mediów, sekwencji przygotowania, interfejsów diagnostycznych ani procedur konkretnego uzbrojenia; nie opisuje też obchodzenia zabezpieczeń. Rzeczywisty sprzęt obsługują wyłącznie uprawnione zespoły według zatwierdzonych danych technicznych. Nieznanego elementu nie wolno podłączać, zasilać, podnosić, otwierać ani diagnozować. Brak widocznego uszkodzenia nie wyklucza materiałów energetycznych, toksycznych pozostałości, ciśnienia lub energii zgromadzonej; miejsce zabezpiecza się i przekazuje właściwym służbom, w tym personelowi rozpoznania i neutralizacji materiałów wybuchowych (EOD).

Publiczne normy NASA są tu źródłem zasad, a nie wojskową instrukcją. NASA-STD-5005 obejmuje wyposażenie używane od przyjęcia i magazynowania przez transport, montaż, kontrolę oraz test do obsługi operacyjnej.1 KSC-STD-141 rozróżnia wyposażenie mające bezpośredni interfejs z wyrobem od wspierającego je systemu naziemnego.2 Analogia jest prawomocna w odniesieniu do zarządzania interfejsem, obciążeniem, energią, konfiguracją i dowodem. Kończy się tam, gdzie wojskowa domena wprowadza rozproszenie, mobilność, presję czasu, zakłócenia, zagrożenie przeciwnikiem, różne szczeble obsługi oraz odmienną odpowiedzialność za gotowość i użycie. Profilu kosmicznego nie kopiuje się więc do programu wojskowego; poddaje się go świadomemu dostosowaniu do koncepcji użycia i skutków błędu.

Cztery bezpiecznie uogólnione klasy pokazują wagę tej granicy:

Klasa Łańcuch fizyczny i zmiana granicy Łańcuch dowodowy i dowód zamykający ryzyko
pocisk lotniczy granica przesuwa się między magazynem, wyposażeniem transportowo-podwieszeniowym, statkiem powietrznym i warsztatem; odpowiedzialność dzielą różne specjalności identyfikacja wyrobu i nośnika, zgodność wyposażenia oraz kontrolowany zapis obsługi dowodzą, że wynik dotyczy właściwego zestawienia
mobilny zestaw obrony powietrznej wyrób kontenerowy, pojazdy, tymczasowe stanowisko, energia, łączność i personel tworzą zmienny układ zależny od fazy działania migawka konfiguracji miejsca i czasu, potwierdzenie stanu po transporcie oraz formalna decyzja zamykają ryzyko utraty dowodu w rozproszeniu
amunicja kontenerowa szczelny kontener ogranicza dostęp do wyrobu, więc dominują transport, nadzór środowiskowy, identyfikacja i diagnostyka zewnętrzna historia partii i egzemplarza, wiarygodność rejestracji środowiska oraz jawne ograniczenia pokrycia dowodzą ważności oceny bez otwierania kontenera
duży system stacjonarny infrastruktura jest rozbudowana i względnie trwała, ale jej energia, media, ochrona i sieci stają się częścią konfiguracji technicznej odbiór obiektu, kontrola zmian, wzorcowanie całego toru i rozdział odpowiedzialności dowodzą, że trwałość instalacji nie została pomylona z niezmiennością

W każdej klasie gotowość jest twierdzeniem o określonym wyrobie, miejscu, czasie i zadaniu. Dowodem rozdziału jest zatem zatwierdzony model granicy systemu, obejmujący oba łańcuchy, odpowiedzialności i jawne granice analogii.

2. Taksonomia GSE, GSS, infrastruktury, TMDE, ATE, ATS, TPS i BITE

Wyposażenie naziemne (ground support equipment, GSE) ma bezpośredni fizyczny albo funkcjonalny interfejs z wyrobem: podtrzymuje, przemieszcza, pozycjonuje, zasila, kondycjonuje, pobudza lub mierzy. Naziemny system wsparcia (ground support system, GSS) dostarcza GSE energię, media, dane i ochronę bez bezpośredniego styku z wyrobem. Infrastruktura obiektu (facility) obejmuje budynek lub stanowisko, drogi transportowe, sieci, urządzenia dźwigowe, uziemienie, ochronę odgromową i przeciwpożarową, wentylację, kontrolę dostępu oraz systemy danych. Podział administracyjny nie może ukrywać zależności fizycznej: awaria rozdzielni należącej do innego gospodarza może unieważnić wynik testera.

Wyposażenie pomiarowe i diagnostyczne (test, measurement and diagnostic equipment, TMDE; measuring and test equipment, M&TE) obejmuje przyrządy ręczne i automatyczne tworzące wynik istotny dla przyjęcia, regulacji, bezpieczeństwa lub powrotu do służby. Automatyczne wyposażenie testowe (automatic test equipment, ATE) wykonuje sterowaną programowo sekwencję pobudzeń, pomiarów, porównań i diagnozy. MIL-PRF-28800 wskazuje, że sama nazwa ATE nie przesądza o klasie środowiskowej ani przeznaczeniu, a OPNAVINST 3960.16C ujmuje ATE jako sterowany komputerowo zespół pobudzeń, pomiarów i przełączania.3,17 Automatyzacja ogranicza część zmienności operatora, lecz przenosi ryzyko do programu, przełączania, adapterów i bazy limitów.

Automatyczny system testowy (automatic test system, ATS) jest według OPNAVINST 3960.16C połączeniem ATE, TPS i środowiska testowego.17 W tej monografii przyjęto szerszy, autorski model pełnej zdolności obsługowej, obejmujący ponadto adapter, przewody, program wykonawczy, dane normatywne, dokumentację, zasoby wzorcowania, procedury, personel i utrzymanie; nie jest to definicja ustanowiona przez OPNAVINST. Zestaw programu testowego (test program set, TPS) wiąże tę zdolność z konkretną grupą badanych wyrobów; obejmuje kod, kroki, limity, dane inicjalizacyjne, konfigurację przełączeń, diagnostykę i instrukcje.18 Urządzenie interfejsowe łączy część wspólną stanowiska z wyrobem i samo wnosi opór, pojemność, opóźnienie, szum, zużycie styków oraz możliwość pomyłki. „Wspólny tester” nie oznacza zatem wspólnej konfiguracji: właściwe dla programu mogą pozostać TPS, adapter, przewody, limity i dopuszczenie.

Badany wyrób (unit under test, UUT) trzeba określić co najmniej przez poziom zespołu, identyfikację egzemplarza lub partii, rewizję sprzętu, wersję oprogramowania układowego, modyfikacje i istotną historię. Zmiana poziomu UUT zmienia obserwowalność i znaczenie wyniku. Diagnostyka wbudowana (built-in test equipment, BITE) obserwuje produkt z użyciem jego własnych czujników i ścieżek.3,17 Nie zastępuje niezależnego ATE: wspólna przyczyna może uszkodzić funkcję i monitor równocześnie. ATE również nie jest automatycznie niezależne, jeśli jedynie odczytuje komunikat BITE bez zewnętrznego pobudzenia i obserwacji.

W łańcuchu fizycznym taksonomia ustala, gdzie przepływają obciążenia, energia, media i dane. W łańcuchu dowodowym ustala, który element wytwarza wskazanie, przechowuje limit, interpretuje wynik i ma prawo go zatwierdzić. Dowodem zamykającym ryzyko niejasnej nazwy jest słownik programu połączony z modelem interfejsów i wykazem właścicieli konfiguracji; etykieta urządzenia bez tych relacji nie wystarcza.

3. Koncepcja obsługi: szczeble, scenariusze i wymagania gotowości

Koncepcję obsługi wyprowadza się z zadania, a nie z katalogu dostępnych testerów. Określa ona, jakie stany trzeba rozpoznać, gdzie i w jakim czasie, ilu potrzeba ludzi, jakie czynności wolno wykonywać na danym szczeblu oraz gdzie kończy się jego odpowiedzialność. Analiza wsparcia produktu z MIL-HDBK-502B łączy te decyzje z częściami zamiennymi, transportem, szkoleniem, infrastrukturą, wzorcowaniem i danymi technicznymi; publiczne przewodniki DoD i DAF podobnie traktują wyposażenie wsparcia oraz testowe jako zdolność zarządzaną w całym cyklu życia, a nie sam zakup urządzenia.9,10,11 Analiza poziomu naprawy porównuje wymianę, naprawę i wycofanie z uwzględnieniem nie tylko ceny części, lecz także dostępności, czasu obrotu, bezpieczeństwa i zdolności potwierdzenia naprawy.

Na szczeblu bezpośredniej obsługi priorytetem bywa szybkie rozróżnienie: zdolny, niezdolny albo stan nieokreślony wymagający przekazania wyżej. Szczebel pośredni może dysponować dokładniejszą lokalizacją uszkodzenia, a zakładowy — demontażem, badaniami specjalnymi i wzorcami. Przeniesienie rozbudowanej diagnostyki w rejon działania zwiększa masę, zapotrzebowanie na energię, ślad logistyczny i ekspozycję personelu. Nadmierne uproszczenie powoduje z kolei wymianę sprawnych zespołów, niepotwierdzone usterki i przeciążenie zaplecza. Wymaganie gotowości musi więc zawierać czas, miejsce, warunki, szczebel i dopuszczalne ryzyko niejednoznaczności.

W łańcuchu fizycznym koncepcja obsługi przydziela środki transportu, podparcia, energii, testu i ochrony do kolejnych scenariuszy. W dowodowym przypisuje każdemu szczeblowi dozwolone twierdzenia, metody, zapisy i władzę decyzyjną. Dowodem zamykającym ryzyko jest zatwierdzona koncepcja obsługi połączona z analizą zadania, poziomu naprawy i pokrycia diagnostycznego — nie sama lista wyposażenia.

Studium 1 — mobilny zestaw obrony powietrznej o zmiennej granicy systemu. Jest to model publiczny i nieoperacyjny, bez topologii oraz parametrów konkretnego zestawu. Obserwacją inicjującą analizę jest niespójność: wyrób kontenerowy przeszedł kontrolę magazynową, lecz po przemieszczeniu mobilne stanowisko nie może wytworzyć wiarygodnego potwierdzenia gotowości. Hipotezy obejmują uszkodzenie wyrobu, zmianę stanu po transporcie, niesprawność adaptera, niewłaściwą jakość energii, różnicę wersji TPS oraz zakłócenie warunków pomiaru.

Dane zbiera się z zachowaniem granicy właściwej danej fazie. W magazynie obejmuje ona kontener, zapis środowiskowy, sprzęt manipulacyjny i stacjonarny zasób kontrolny. W transporcie dochodzą mocowania, rejestr zdarzeń i odpowiedzialność przewoźnika. Po rozwinięciu obejmuje pojazdy, tymczasową infrastrukturę, źródło energii, uziemienie, stanowisko kontroli, zestaw przewodów i personel. W obsłudze zakładowej granica może się ponownie zwęzić do wyrobu, wyspecjalizowanego ATS i kontrolowanego obiektu. Ten sam rzeczownik „zestaw” oznacza więc różne konfiguracje dowodowe.

Niepewność wynika nie tylko z przyrządu, ale też z warunków po transporcie, położenia punktu odniesienia, stabilizacji, powtarzalności połączeń i jakości danych czasu. Konfigurację zamyka migawka identyfikująca wyrób, kontener, adapter, przewody, stanowisko, TPS, źródło energii, miejsce i uprawnienia personelu. Decyzja nie polega na ponawianiu testu do uzyskania korzystnego wyniku. Najpierw rozdziela się hipotezy kontrolowanymi sprawdzeniami wiarygodności toru i porównaniem zapisów przed i po transporcie; następnie właściwa władza wybiera kwarantannę, przekazanie na wyższy szczebel albo ograniczone przywrócenie zdolności. Dowodem jest spójny zapis obserwacji, hipotez, danych, niepewności, konfiguracji i uzasadnionej decyzji. Studium pokazuje, że mobilność jest zmianą granicy i odpowiedzialności, a nie tylko możliwością przewozu urządzenia.

4. Fizyczna architektura GSE: transport, podparcie, pozycjonowanie i interfejsy

Transportowe GSE utrzymuje wyrób w zatwierdzonym podparciu, orientacji i unieruchomieniu. Projekt obejmuje drogę przenoszenia obciążeń, środek masy, prześwity, zachowanie pod wpływem drgań i udarów, odporność mocowań oraz ocenę po zdarzeniu nadzwyczajnym. Elementy nośne wymagają próby obciążeniowej i oględzin stosownych do skutków awarii. Nieautoryzowane spawanie, wiercenie, korozja lub wymiana elementu jezdnego mogą zmienić nośność mimo zachowanej tabliczki.

Urządzenia podnoszące i pozycjonujące muszą przekazywać siły przez właściwe punkty, ograniczać możliwość złego zestawienia i zachowywać geometrię pod obciążeniem. Znaczenie mają sztywność, luzy, osiadanie, hamulce, odkształcenie uchwytu i odniesienie do baz wyrobu. Duża rozdzielczość wskaźnika nie jest dowodem dokładności ustawienia. Rozwiązania konstrukcyjne odporne na pomyłkę — kluczowanie, polaryzacja, kształt i niezależne potwierdzenie stanu — są silniejszą barierą niż sama instrukcja.

Podparcie ma chronić wyrób, nie wymuszać sztucznego stanu geometrycznego. Nadmierny zacisk może odkształcić strukturę, zmienić ustawienie lub pozostawić naprężenia bez widocznego śladu. Powierzchnie styku, dozwolone orientacje, siły montażowe, stan rolek i wkładek, kontrola ciał obcych oraz limity cykli są częścią konfiguracji. Każde przekroczenie obciążenia, kolizja albo niepewna naprawa wymaga zapisu, oceny i rozstrzygnięcia, a nie wymazania z historii po udanych oględzinach.

Interfejs może przenosić obciążenie, energię, sygnał, medium i informację. Połączenie zgodne geometrycznie nie musi być zgodne funkcjonalnie. Zespół połączeniowy — także wielofunkcyjny przewód odłączany — ma określone końcówki, długość, ekran, połączenia wyrównawcze, odciążenie mechaniczne, trasę, historię napraw i limit cykli. W łańcuchu fizycznym chroni wyrób przed błędnym ustawieniem, energią i zanieczyszczeniem. W dowodowym jego identyfikacja, przegląd, próba obciążeniowa oraz historia zdarzeń dowodzą, że nieznana mechanika nie unieważnia późniejszego pomiaru.

Dowodem zamykającym ryzyko mechaniczne jest pakiet obejmujący zatwierdzony projekt interfejsu, identyfikację egzemplarza, ważny przegląd lub próbę, potwierdzenie konfiguracji przed użyciem i zapis odstępstw. Sama obecność urządzenia oraz czytelne oznakowanie udźwigu nie zamykają łańcucha dowodowego.

5. Energia, media, kondycjonowanie i infrastruktura obiektu

Zasilanie naziemne, media i warunki cieplne oddziałują bezpośrednio na wyrób, dlatego należą do łańcucha fizycznego. Źródło energii trzeba oceniać przez jakość, separację, ograniczenie skutków uszkodzenia, zachowanie przejściowe i reakcję na przerwę, nie tylko przez wartość nominalną. Szczegółowe wartości i kolejności pozostają w kontrolowanej dokumentacji danego systemu. Wymagania obiektu wynikają z analizy interfejsów i zagrożeń; pasujące złącze nie dowodzi zgodności warsztatu.

Układy pneumatyczne i hydrauliczne wnoszą energię zgromadzoną, ryzyko niewłaściwego medium, zanieczyszczenia, objętości martwej, nieszczelności i błędnego połączenia. Architektura stosuje identyfikację, separację, ograniczenie, monitorowanie i bezpieczne przejęcie odpływu właściwe dla medium. Jakość medium obejmuje wilgoć, olej, cząstki, materiał przewodów i czas od przygotowania do użycia. Oznaczenie „czyste” na zaślepce nie jest dowodem; potrzebne są pochodzenie źródła, stan filtracji i osuszania, czystość połączeń oraz kontrolowany zapis.

Kondycjonowanie cieplne obejmuje temperaturę, wilgotność i punkt rosy, rozkład przepływu, czystość oraz czas stabilizacji. Temperatura medium w kanale nie musi odpowiadać stanowi wewnętrznemu wyrobu; model opóźnienia i reprezentatywne czujniki są konieczne, gdy decyzja zależy od równowagi cieplnej. Podobnie rejestrator magazynowy nie dowodzi braku przekroczeń, jeśli utracił zasilanie lub czas, miał niewłaściwy okres próbkowania albo znajdował się w niereprezentatywnym miejscu.

Infrastruktura zapewnia też ochronę przeciwpożarową, odgromową, kompatybilność elektromagnetyczną, kontrolę dostępu, drogi transportowe i łączność; katalog standardów KSC pokazuje, że te pozornie odrębne dziedziny są częścią jednego nadzorowanego środowiska systemów naziemnych.14 W systemie mobilnym część tych funkcji przechodzi do zestawów polowych i personelu, lecz wymaganie nie znika. Rozproszenie oraz zakłócenia mogą ograniczyć sieć i jakość energii; dlatego tryb pracy ograniczonej lub odłączonej, jeżeli przewiduje go koncepcja użycia, musi być zaprojektowany i dowiedziony, a nie improwizowany.

W łańcuchu dowodowym konfiguracja obiektu lub stanowiska tymczasowego jest warunkiem ważności pomiaru. Odbiór przyłączy, pomiary ochronne, zapisy jakości mediów, dane środowiskowe, potwierdzenie stanu po przemieszczeniu i przypisanie właścicieli tworzą dowód zamykający ryzyko. Jeżeli nie można odtworzyć tych warunków, wyniku nie wolno rozszerzać poza konfigurację rzeczywiście badaną.

6. Architektura ATS od badanego wyrobu do zapisu wyniku

Automatyczny system testowy jest zamkniętym łańcuchem pobudzenia, obserwacji i interpretacji:

badany wyrób ↔ przewód ↔ adapter ↔ przełączanie i kondycjonowanie
             ↔ źródła oraz przyrządy ↔ sterownik ↔ TPS i limity
             ↔ operator oraz procedura ↔ surowe dane ↔ decyzja

Sterownik zarządza czasem, komunikacją i zapisem. Jego system operacyjny, sterowniki urządzeń, biblioteki, ustawienia zegara i polityka aktualizacji należą do konfiguracji odniesienia. Przyrządy generują pobudzenia lub mierzą odpowiedzi; macierz przełączająca zestawia tory, a kondycjonowanie skaluje, filtruje, separuje lub chroni. Każda z tych warstw może wnieść przesunięcie, przeciek, opóźnienie, obciążenie, szum albo niebezpieczną energię. Zgodność katalogowa pojedynczych elementów nie dowodzi jakości toru od punktu odniesienia na interfejsie wyrobu.

Adapter i przewody nie są przezroczyste. Ich długość, ekranowanie, impedancja, zakończenie, trasa, stan złączy i naprawy mogą decydować o wyniku. Muszą mieć identyfikację, kontrolowany rysunek, przeglądy, sprawdzenie ciągłości i separacji, limity cyklu życia oraz ochronę magazynową. Samotest kończący się wewnątrz obudowy ATE pozostawia część toru poza obserwacją; zapis wiarygodności powinien jawnie wskazywać, do którego punktu odniesienia sięga.

Obciążenia zastępcze, symulatory i artefakty odniesienia izolują badanie stanowiska od kosztownego lub niebezpiecznego wyrobu, ale nie są nim samym. Modelują tylko wybrane zachowania i mają własną niepewność, konfigurację oraz ograniczenia. Podobnie znany dobry egzemplarz pomaga wykrywać dryf, lecz starzeje się i nie musi reprezentować granic tolerancji. Nie może stać się ukrytym wzorcem bez charakterystyki, kontroli użycia i niezależnej weryfikacji.

Raport zgodności jest interpretacją. Trzeba zachować dane pierwotne wystarczające do ponownej analizy, jednostki, czas, stan przyrządów, konfigurację, powtórzenia, odstępstwa i identyfikator zdarzenia. Czytelny raport służy człowiekowi, a zapis maszynowy — odtwarzalności, analizie trendów i ocenie wpływu zmian. Oba muszą wskazywać to samo zdarzenie i nie mogą nadpisywać wcześniejszych prób końcowym wynikiem.

Łańcuch fizyczny zamykają ograniczenia energii, separacja, kluczowanie, bezpieczne przerwanie oraz potwierdzony stan po teście. Łańcuch dowodowy zamykają charakterystyka pełnego toru, kontrola konfiguracji i niezmienny zapis. Dowodem ryzyka architektury ATS jest wykaz funkcji oraz awarii własnych stanowiska zestawiony z zasięgiem samotestu, sprawdzeń wiarygodności i wzorcowania.

7. TPS jako kontrolowany produkt programowy i normatywny

TPS jest produktem łączącym wymaganie z wykonaniem testu. Zawiera sekwencję, dane inicjalizacyjne, konfigurację przełączeń, limity, obsługę wyjątków, diagnostykę i zapis. Potrzebuje własnych wymagań, przeglądu projektu, niezależnej weryfikacji i walidacji, wydania, zakresu stosowalności, ochrony integralności oraz utrzymania po zmianie wyrobu lub ATE.18 Nazwanie go „skryptem” nie zmniejsza skutku błędu.

Limity są danymi normatywnymi. Każdy musi mieć jednostkę, nierówność, warunek, źródło, tolerancję, regułę decyzji, wersję i zakres stosowalności. Nie wyprowadza się go wyłącznie ze średniej wyników kilku sprawnych egzemplarzy. Kolejność kroków również jest normatywna, ponieważ nagrzewanie, pamięć stanu, histereza, stabilizacja i reset mogą zmieniać wynik. Program kontroluje warunki wstępne, inicjalizację, oczekiwanie, przerwanie, ponowienie i powrót do bezpiecznego stanu. Powtarzanie aż do uzyskania korzystnego wyniku jest niedopuszczalne poza jawnie zatwierdzoną regułą.

Zmiana programu wykonawczego, biblioteki lub sterownika może dotknąć wiele TPS jednocześnie. Regresja obejmuje więc ścieżki nominalne, wartości graniczne, błędy komunikacji, niepoprawne dane, przerwania i generowanie zapisów. Oczekiwanego wyniku nie powinien obliczać ten sam kod lub model co badany TPS, bo wspólny błąd może stworzyć zgodność pozorną. Podpis i skrót kryptograficzny dowodzą pochodzenia i niezmienności artefaktu, nie jego poprawności merytorycznej.

Pełny przykład ATE — fikcyjny i nieoperacyjny. Rozważmy wymaganie laboratoryjne dla abstrakcyjnego modułu szkoleniowego: odpowiedź bezwymiarowa q w określonym stanie ma należeć do przedziału od 98,0 do 102,0 jednostek umownych. Liczby nie odpowiadają żadnemu uzbrojeniu.

  1. Wymaganie. Zatwierdzona pozycja macierzy wymagań definiuje wielkość q, stan badanego obiektu, przedział specyfikacji i władzę ustanawiającą limit.
  2. Pobudzenie. Źródło ATE podaje bezpieczny, abstrakcyjny bodziec testowy s; TPS kontroluje stan wstępny, czas stabilizacji i przerwanie. Zapisuje rzeczywiście zrealizowany bodziec, a nie tylko wartość zadaną.
  3. Adapter i punkt odniesienia. Wynik odnosi się do umownej płaszczyzny odniesienia na granicy adapter–wyrób. Wszystko między przyrządem a tą płaszczyzną — przełącznik, kondycjoner, przewód i adapter — należy do modelu pomiaru.
  4. Model pomiaru. Przyjmuje się q = r + c_a + c_t, gdzie r jest wskazaniem, c_a poprawką adaptera i toru, a c_t poprawką wpływu temperatury. Model, znaki poprawek i zakres ważności są wersjonowane.
  5. Niepewność. Budżet uwzględnia wzorzec, przyrząd, rozdzielczość, powtarzalność, adapter i temperaturę; rachunek przedstawia rozdział 9.
  6. Pas ochronny. Dla reguły konserwatywnej przedział akceptacji zwęża się względem specyfikacji o ustaloną wielkość g, wyznaczoną przed pomiarem.
  7. Decyzja. Wynik wewnątrz przedziału akceptacji daje stwierdzenie zgodności pomiarowej; wynik poza specyfikacją — niezgodność; obszar pomiędzy granicą akceptacji a granicą specyfikacji prowadzi do wyniku niejednoznacznego zgodnie z zatwierdzoną polityką. Żaden z tych komunikatów sam nie jest formalnym dopuszczeniem wyrobu.
  8. Zapis dowodowy. Rekord wiąże wymaganie, identyfikację i konfigurację wyrobu, stanowiska, adaptera, przewodów, TPS i limitów, stan wzorcowania, dane surowe, poprawki, budżet niepewności, regułę decyzji, operatora, czas, odstępstwa i zatwierdzenie.

Przykład prowadzi przez oba łańcuchy bez ujawniania realnego interfejsu: fizycznie bodziec i odpowiedź przechodzą przez pełny tor, dowodowo zaś każda transformacja ma źródło, wersję i regułę. Dowodem zamykającym ryzyko TPS jest możliwość odtworzenia tej ścieżki oraz niezależne wykazanie, że implementacja realizuje zatwierdzone wymaganie.

8. Model pomiaru oraz spójność metrologiczna całego toru

Wielkość mierzona musi opisywać, co, gdzie, kiedy i w jakim stanie jest mierzone. Sama nazwa parametru nie definiuje punktu odniesienia, pasma, czasu obserwacji, obciążenia ani warunków środowiskowych. Dopiero model pomiaru wiąże wskazanie z wartością przypisaną wyrobowi. Obejmuje pobudzenie, przyrząd, przełączanie, kondycjonowanie, adapter, przewody, próbkowanie, algorytm, poprawki i wpływy środowiska. Najpierw definiuje się potrzebę pomiarową, a potem dobiera wyposażenie; odwrotna kolejność sprzyja mierzeniu łatwo dostępnej wielkości zamiast tej, która zamyka wymaganie.6

Spójność metrologiczna (metrological traceability) jest własnością konkretnego wyniku, nie przyrządu ani naklejki. Wymaga udokumentowanego, nieprzerwanego łańcucha wzorcowań do właściwego odniesienia, przy czym każde ogniwo wnosi niepewność.5 Spójny wynik może nadal być nieprzydatny do decyzji, gdy niepewność jest zbyt duża, zakres wzorcowania nie pokrywa funkcji TPS albo punkt odniesienia leży przed adapterem, którego wpływu nie uwzględniono; wymagania wzorcowania muszą obejmować funkcje ATE rzeczywiście używane do badania UUT.4

Wzorcowanie ustala relację wskazania do wartości wzorca i związanej niepewności; regulacja zmienia urządzenie, więc nie jest synonimem. Wzorcowanie wyjętego przyrządu nie zawsze charakteryzuje macierz, kondycjoner, adapter i przewód. Dla wyniku przypisanego do interfejsu wyrobu potrzebna jest ocena całego toru albo uzasadnione połączenie wzorcowań składowych. Interwał wynika ze stabilności, historii, środowiska, intensywności użycia i skutku błędu. Krótszy termin nie naprawia niewłaściwego zakresu.

Dokładność opisuje bliskość do wartości odniesienia, precyzja — rozrzut powtórzeń, a rozdzielczość — najmniejszą zmianę reprezentacji. Dodatkowe cyfry nie usuwają obciążenia systematycznego. Analiza powtarzalności i odtwarzalności powinna rozdzielać wpływ stanowiska, operatora, zamocowania, miejsca i czasu. Dwa wzorcowane stanowiska mogą różnie klasyfikować ten sam wyrób z powodu odmiennego pasma, obciążenia, adaptera, algorytmu lub reguły decyzji; badanie korelacji ma znaleźć mechanizm różnicy, nie ręcznie „wyrównać” dane.

Łańcuch fizyczny określa rzeczywisty przebieg sygnału i miejsce oddziaływania toru na wyrób. Łańcuch dowodowy przechowuje definicję wielkości, równanie modelu, poprawki, świadectwa, zakresy i warunki. Dowodem zamykającym ryzyko jest zatwierdzony model end-to-end z jawnym punktem odniesienia oraz budżetem właściwym dla konfiguracji użytej w badaniu.

9. Niepewność, reguły decyzji i ryzyko fałszywej akceptacji lub odrzucenia

Niepewność opisuje rozrzut wartości, które można rozsądnie przypisać wielkości mierzonej. Nie jest maksymalnym błędem ani oceną staranności operatora. Budżet obejmuje źródła odniesienia, przyrząd, rozdzielczość, powtarzalność, adapter, temperaturę i niedoskonałość modelu; uwzględnia też korelacje, jeśli występują. NASA-HDBK-8739.19-3 opisuje zasady propagacji tych składników.7 Wskaźnik stosunku tolerancji do niepewności może być użytecznym przesiewem, ale nie zastępuje rozkładu, reguły decyzji ani analizy skutków.

Syntetyczny budżet dla przykładu z rozdziału 7. Wszystkie liczby są fikcyjne, bezwymiarowe i nieoperacyjne. Przyjmijmy niezależne standardowe niepewności:

Składnik Standardowa niepewność u_i [jedn. um.] Źródło
odniesienie wzorcujące 0,20 świadectwo i przeniesienie odniesienia
przyrząd i dryf od wzorcowania 0,25 charakterystyka oraz historia
rozdzielczość 0,10 kwantowanie wskazania
powtarzalność zestawienia 0,30 seria kontrolowanych powtórzeń
adapter i przewód 0,15 charakterystyka toru do punktu odniesienia
wpływ temperatury i modelu poprawki 0,10 dopuszczony zakres środowiska

Dla składników niezależnych łączna standardowa niepewność wynosi

u_c = √Σ(u_i²)
    = √(0,20² + 0,25² + 0,10² + 0,30² + 0,15² + 0,10²)
    ≈ 0,485

Przy umownie przyjętym współczynniku rozszerzenia k = 2 otrzymujemy rozszerzoną niepewność U ≈ 0,97, zaokrągloną dla polityki decyzyjnej do 1,0 jednostki. To rachunek dydaktyczny: w realnym budżecie trzeba uzasadnić rozkłady, współczynniki wrażliwości, niezależność, liczbę stopni swobody i sposób zaokrąglenia.

Porównajmy dwie zadeklarowane z góry reguły dla specyfikacji 98,0 ≤ q ≤ 102,0:

Reguła Przedział stwierdzenia zgodności Wynik q = 101,4 Główna konsekwencja
prosta akceptacja według wskazania od 98,0 do 102,0 zgodny pomiarowo większe ryzyko zaakceptowania wartości rzeczywistej leżącej poza specyfikacją blisko granicy
akceptacja z pasem ochronnym g = 1,0 od 99,0 do 101,0 obszar niejednoznaczny, wymagający zatwierdzonego rozstrzygnięcia mniejsze ryzyko fałszywej akceptacji kosztem większej liczby odrzuceń lub wyników niejednoznacznych

Pas ochronny (guard band) nie poprawia pomiaru i nie jest darmowym marginesem. Przesuwa granicę akceptacji według polityki opartej na niepewności, wiedzy uprzedniej i skutkach błędu. NASA-HDBK-8739.19-4 wiąże reguły decyzji z ryzykiem fałszywej akceptacji i fałszywego odrzucenia.8 Reguły nie wolno wybierać po obejrzeniu wyniku. Obszar niejednoznaczny również nie upoważnia do ponawiania pomiaru aż do uzyskania dogodnej wartości; postępowanie musi wynikać z zatwierdzonej procedury.

Fałszywa akceptacja może pozostawić ukrytą niesprawność, a fałszywe odrzucenie powoduje niepotrzebne wymiany, koszty, spadek dostępności i ryzyko uszkodzeń obsługowych. Optimum nie wynika wyłącznie z szerokości pasa: wymaga świadomego przypisania ryzyka właściwej stronie i uwzględnienia następstw. W łańcuchu fizycznym ogranicza się zmienność oraz oddziaływanie toru na wyrób. W dowodowym zachowuje się budżet, wersję reguły, surowe dane i uzasadnienie. Tym dowodem zamyka się ryzyko, że pojedyncza liczba została przedstawiona jako pewność.

10. Pokrycie diagnostyczne, testowalność i grupy niejednoznaczności

Pokrycie ma sens tylko z podanym mianownikiem. Może oznaczać odsetek trybów uszkodzeń wykrywanych, wymagań mających dowód, elementów lokalizowanych do wymiennego zespołu albo kodu wykonanego podczas prób TPS. Liczba kroków testowych nie dowodzi wykrywania krytycznych uszkodzeń. Punkt wyjścia stanowią architektura, analiza rodzajów i skutków uszkodzeń (FMEA/FMECA), koncepcja obsługi oraz wymagane działanie po wykryciu.19

Pełne powiązanie diagnostyczne ma postać:

wymaganie → rodzaj uszkodzenia → dostępna obserwacja → krok TPS → reguła detekcji → grupa niejednoznaczności → działanie obsługowe → dowód zamknięcia.

Przykład abstrakcyjny pokazuje rolę każdej kolumny bez ujawniania konstrukcji uzbrojenia:

Wymaganie funkcjonalne Rodzaj uszkodzenia Obserwowalność i krok TPS Grupa niejednoznaczności Działanie obsługowe i dowód
moduł ma udzielić stabilnej odpowiedzi na zatwierdzone pobudzenie brak odpowiedzi niezależne pobudzenie, obserwacja w zdefiniowanym czasie i kontrola wiarygodności toru moduł, adapter, przewód albo kanał ATE bezpieczne przerwanie, sprawdzenie toru artefaktem, następnie kwarantanna wskazanej grupy; zapis obu wyników
odpowiedź ma pozostać w przedziale dryf wartości seria próbek po stabilizacji i reguła uwzględniająca niepewność moduł albo wpływ toru i środowiska porównanie z modelem oraz danymi środowiska; decyzja według zatwierdzonego pasa ochronnego
stan ma być powtarzalny usterka okresowa zachowanie danych czasowych, statusów i wszystkich powtórzeń połączenie, wyrób, energia lub warunki nie wolno usuwać niejednoznaczności samym ponowieniem; przekazanie z pełnym kontekstem na właściwy szczebel

Wykrywanie odpowiada na pytanie, czy obserwacja jest zgodna z oczekiwaniem; lokalizacja — gdzie może leżeć przyczyna. Próg zbyt wąski tworzy uciążliwe alarmy, zbyt szeroki przepuszcza degradację. Grupa niejednoznaczności (ambiguity group) zawiera elementy, których dostępne pobudzenia i obserwacje nie potrafią rozróżnić. Raport nie powinien wskazywać pewnego winowajcy, gdy dane wspierają kilka hipotez. Zmniejszenie grupy może wymagać dodatkowego punktu testowego, ale zwiększa koszt, masę i powierzchnię ataku; jest to decyzja architektoniczna.

Testowalność projektuje się przez sterowalność, obserwowalność, bezpieczną inicjalizację, czujniki wbudowane i dostęp do zatwierdzonych punktów obserwacji. BITE oraz ATE należy rozpatrywać łącznie z kontrolą wzrokową, analizą i testami na innych poziomach. Wstawianie kontrolowanych uszkodzeń, symulacja i artefakty odniesienia służą walidacji detekcji stosownie do ryzyka. Test nie może przeciążać wyrobu ani jedynie potwierdzać komunikacji, gdy wymaganie dotyczy odpowiedzi fizycznej.

Niepotwierdzona usterka nie dowodzi błędu zgłaszającego. Jej źródłem może być okresowość, utrata kontekstu, inny stan środowiska, adapter lub różnica konfiguracji między szczeblami. Wymiana wielu elementów jednocześnie może przywrócić funkcję, ale niszczy informację o przyczynie. System ewidencji awarii, analiz i działań korygujących powinien zachowywać konfigurację przed i po każdej zmianie, kody usterek, przebieg czasowy, warunki i wyniki wszystkich prób.

Łańcuch fizyczny dostarcza sterowalność i obserwowalność bez wprowadzania nadmiernej energii lub nowych uszkodzeń. Dowodowy wiąże każdy tryb uszkodzenia z krokiem TPS, regułą, niejednoznacznością i dozwolonym działaniem. Dowodem zamykającym ryzyko jest macierz pokrycia oparta na trybach uszkodzeń i wynikach reprezentatywnej walidacji, a nie procent pozbawiony mianownika.

11. Wymagania, ICD, budżety techniczne i alokacja odpowiedzialności

Wymagania GSE rozpoczynają się od zadania i koncepcji obsługi: co trzeba zrobić, gdzie, kiedy, przez jaki personel, w jakim stanie wyrobu i z jakim poziomem autonomii. Obejmują funkcje, obciążenia, interfejsy, środowisko, bezpieczeństwo, niezawodność, naprawialność, wzorcowanie, mobilność, czynnik ludzki, ochronę cyfrową, szkolenie, dane techniczne i wycofanie. Każde wymaganie musi mieć właściciela, metodę weryfikacji i zamierzony sposób użycia dowodu.

Dokument kontroli interfejsu (interface control document, ICD) nie jest rysunkiem wtyczki. Określa geometrię, bazy, przekazywanie obciążeń, energię, sygnały, dane, czas, media, środowisko, dozwolone stany i odpowiedzialność obu stron. Zmiana wyrobu opisana jako „bez zmiany funkcji” może nadal zmienić zachowanie przejściowe energii, czas, masę albo prześwit i unieważnić zgodność wyposażenia. Każda strona interfejsu potrzebuje władzy projektowej, a integrator rozstrzyga założenia przecinające granice organizacyjne.

Funkcję można przydzielić do wyrobu, GSE, infrastruktury, oprogramowania lub procedury. Przeniesienie jej do procedury może obniżyć koszt sprzętu, lecz zwiększa obciążenie personelu i podatność na błąd. Żadna bariera bezpieczeństwa nie może zniknąć dlatego, że dwie organizacje założyły, iż zapewnia ją druga strona. Macierz odpowiedzialności powinna wskazywać wykonawcę, zatwierdzającego, konsultowanego i informowanego dla wymagań, interfejsów, konfiguracji, wzorcowania, odstępstw oraz dopuszczenia.

Budżety techniczne obejmują obciążenie, geometrię, energię, ciepło, czas rozwinięcia, niepewność, zanieczyszczenie, niezawodność i pracochłonność. Każdy składnik ma alokację, margines, punkt odniesienia oraz właściciela. Gdy dostawcy deklarują zgodność na różnych płaszczyznach odniesienia, suma lokalnie poprawnych części może nie spełniać wymagania systemowego. Integrator prowadzi budżet od końca do końca i wiąże jego rewizję z kontrolą zmian.

Macierz krzyżowa weryfikacji wiąże wymaganie z metodą, poziomem wyrobu, egzemplarzem, konfiguracją, obiektem, wyposażeniem, procedurą, kryterium, wynikiem i niezgodnością. ATE pełni tu podwójną rolę: tworzy dowód dla UUT i samo jest produktem wymagającym dowodu. Nie używa się go do formalnego zamknięcia wymagania, dopóki zaufanie do zdolności pomiarowej i diagnostycznej nie odpowiada wadze twierdzenia.

W łańcuchu fizycznym wymagania i ICD rozdzielają przepływy oraz zabezpieczenia. W dowodowym macierz weryfikacji pokazuje, skąd pochodzi każda teza i kto ma prawo ją zamknąć. Dowodem ryzyka rozmytej odpowiedzialności jest spójny zestaw: wymaganie, ICD, budżet, macierz odpowiedzialności i krzyżowa macierz weryfikacji, utrzymywany pod wspólną kontrolą zmian.

12. Kwalifikacja, FAT, SAT, walidacja operacyjna i dopuszczenie

NASA Systems Engineering Handbook rozróżnia kwalifikację projektu, odbiór egzemplarza i certyfikację.20 W przedstawionym tu modelu odbiór fabryczny, odbiór po instalacji i walidacja operacyjna także nie są zamiennymi nazwami jednego testu. Tworzą kolejne bramki procesu dowodowego. Każda odpowiada na inne pytanie, a jej wynik jest ważny tylko dla znanej konfiguracji.

  1. Kwalifikacja dowodzi, że projekt sprzętu, oprogramowania i interfejsów spełnia wymagania w reprezentatywnych, odpowiednio marginesowanych warunkach, także przy przewidzianych błędach. Egzemplarz kwalifikacyjny musi reprezentować projekt produkcyjny; różnice otrzymują analizę delty.
  2. Odbiór fabryczny (factory acceptance test, FAT) sprawdza konkretny egzemplarz u dostawcy względem zakwalifikowanego projektu: identyfikację, wykonanie, funkcje, wersje, wzorcowanie i zapisy. Nie dowodzi działania z docelową infrastrukturą.
  3. Odbiór po instalacji (site acceptance test, SAT) celuje w różnice wniesione przez transport, montaż i miejsce: uszkodzenia, przyłącza, energię, ochrony, sieć, środowisko i działanie od końca do końca. Nie powtarza ceremonialnie kilku ekranów FAT.
  4. Walidacja operacyjna sprawdza rzeczywisty przebieg obsługi z reprezentatywnym personelem, środkami ochrony, oświetleniem, hałasem, czasem i obciążeniem zadaniami. Obejmuje rozwinięcie i zwinięcie, czas testu, niejednoznaczność, fałszywe wskazania, przekazanie do naprawy, obieg danych i pracochłonność.
  5. Formalne dopuszczenie jest decyzją właściwej władzy o użyciu wskazanej konfiguracji, w określonym miejscu, trybie, szczeblu obsługi i zakresie wyrobów. Wynik testera jest jednym z wejść, nie samą decyzją.

Proces nie jest linią jednokierunkową. Niezgodność na SAT może ujawnić brak wymagania infrastrukturalnego i cofnąć analizę do ICD. Walidacja może wykazać, że technicznie poprawny interfejs jest podatny na błąd człowieka. Zmiana po dopuszczeniu uruchamia analizę wpływu i regresję; jej zakres wynika z zależności architektury i krytyczności, nie tylko z listy zmienionych plików. Kwalifikacja przez podobieństwo wymaga jawnego argumentu delty, a nie wspólnej nazwy urządzenia.

Dowody obu łańcuchów dojrzewają równolegle. Próby mechaniczne i środowiskowe potwierdzają przetrwanie łańcucha fizycznego; wzorcowanie, walidacja TPS, zapisy odbiorów i ocena operacyjna potwierdzają dowodowy. Bramka dopuszczenia przegląda wymagania, procedury, zagrożenia, kompetencje, konfigurację wyrobu i stanowiska, stan wzorcowania, gotowość obiektu, pozyskiwanie danych, niezgodności oraz uprawnienia. Dowodem zamykającym ryzyko jest podpisany argument zgodności wskazujący artefakty z każdej bramki i ich zakres ważności.

13. Konfiguracja zaprojektowana, zbudowana, utrzymywana i użyta w teście

DAFI 63-101/20-101 wspiera zarządzanie oprogramowaniem ATE oraz dokumentowanie wymagań dotyczących nowego, zastępczego lub modyfikowanego SE/ATS.11 Niezależnie od tego minimalnego zakresu źródłowego na potrzeby tej monografii autor przyjmuje model pełnej migawki konfiguracji ATS, obejmującej numery części i egzemplarzy, wersje oprogramowania przyrządów, obraz sterownika, system operacyjny, biblioteki, sterowniki, program wykonawczy, TPS, bazę limitów, adapter, przewody, dane poprawek, stan wzorcowania, rysunki, procedury, interfejsy infrastruktury i zatwierdzone odstępstwa. Ten pełny wykaz oraz opisane niżej cztery widoki konfiguracji są syntezą inżynierską autora, a nie definicją DAFI. Bez tych informacji historycznego wyniku nie da się odtworzyć.

Konfiguracja zaprojektowana (as-designed) opisuje zatwierdzone wymagania, rysunki, źródła i kompilacje oprogramowania, części oraz interfejsy. Konfiguracja zbudowana (as-built) rejestruje to, co faktycznie wykonano: elementy serializowane, zamienniki, odstępstwa, wersje i wyniki odbioru. Konfiguracja utrzymywana (as-maintained) dodaje naprawy, wymiany, wzorcowania, poprawki, przeglądy i lokalnie wykryte różnice. Konfiguracja użyta w teście (as-tested) jest migawką dokładnego UUT oraz stanowiska podczas pojedynczego zdarzenia, łącznie z miejscem, procedurą i uprawnieniami operatora.

Te cztery widoki są jednym procesem dowodowym. Kwalifikacja wiąże się z konfiguracją zaprojektowaną; FAT porównuje z nią konfigurację zbudowaną; SAT aktualizuje konfigurację po transporcie i instalacji; walidacja operacyjna ocenia konfigurację utrzymywaną w rzeczywistym przebiegu pracy; każda próba zapisuje stan użyty. Rozbieżność między widokami jest niezgodnością do wyjaśnienia, nie problemem dokumentacyjnym odkładanym po teście.

W autorskim modelu zakres stosowalności (effectivity) określa, do jakich egzemplarzy, partii, bloków, wersji sprzętu, miejsc i trybów odnosi się wyposażenie, TPS, zmiana lub dopuszczenie. Nowsze wydanie nie musi być właściwe dla starszego wyrobu. Przyjęta tu synteza inżynierska prowadzi każdą zmianę przez identyfikację, analizę wpływu w obu kierunkach, decyzję władzy, implementację, weryfikację, aktualizację zakresu i regresję. Obejmuje również retrospektywną ocenę ważności wcześniejszych wyników UUT po zmianie ATE oraz ocenę, czy zmiana wyrobu wymaga zmiany GSE, szkolenia lub obiektu; DAFI nie ustanawia tej pełnej sekwencji ani modelu effectivity.

Integralność cyfrowa wymaga kontrolowanych źródeł, odtwarzalnej albo ściśle kontrolowanej kompilacji, uwierzytelnionego pakietu wydania, weryfikacji skrótu, rozdziału obowiązków i ochrony limitów. Aktualizacja bezpieczeństwa może zmienić czas, sterownik lub zachowanie binarne, więc pilność ochrony łączy się z analizą wpływu oraz regresją. Segmentacja sieci ogranicza drogę ataku, lecz nośniki wymienne i komputer serwisowy pozostają częścią granicy. Role operatora, obsługi, wzorcowania, twórcy TPS i administratora powinny mieć najmniejsze niezbędne uprawnienia, a odstępstwa, ponowienia i zmiany limitów — trwały zapis audytowy.

W łańcuchu fizycznym konfiguracja określa rzeczywiste elementy i zestawienie interfejsów. W dowodowym wiąże wymaganie oraz wynik z ich wersjami i zakresem stosowalności. Dowodem zamykającym ryzyko jest uzgodniona migawka as-tested połączona wstecz z as-maintained, as-built i as-designed oraz naprzód z decyzją, effectivity i uzasadnioną regresją.

14. Niezawodność, DMSMS, wzorcowanie i utrzymanie floty GSE

GSE często żyje dłużej niż komercyjne przyrządy, komputery i systemy operacyjne. Zanik źródeł produkcji i niedobór materiałów (diminishing manufacturing sources and material shortages, DMSMS) może więc dotknąć tester wcześniej niż magazynowany wyrób. Plan starzenia identyfikuje krytyczne elementy, prawa do danych, strategię zamienników, ryzyko emulacji, zapasy końcowe oraz koszt ponownej kwalifikacji. Zakup ostatnich sztuk bez możliwości naprawy i wzorcowania jedynie odracza utratę zdolności.21

Niezawodność wyposażenia wpływa na gotowość mimo sprawności pocisków. Model dostępności uwzględnia liczbę stanowisk, czas naprawy, zapasy, wzorcowanie, izolację cybernetyczną, personel i awarie wspólnej przyczyny. Wspólny tester ogranicza logistykę, lecz pojedynczy błąd jego programu może dotknąć wiele rodzajów wyrobów. Sam tester potrzebuje diagnostyki, modułowości, bezpiecznego dostępu, danych naprawczych i zdolności rozróżnienia własnej awarii od problemu infrastruktury.

Zapasy obejmują adaptery, przewody, złącza, filtry, uszczelnienia, baterie, nośniki i wzorcowane moduły. Każdy egzemplarz ma stan: zdatny, oczekujący na wzorcowanie, w kwarantannie, w naprawie albo w ocenie. Pakowanie chroni przed udarem, wilgocią, wyładowaniem elektrostatycznym i zanieczyszczeniem oraz wymusza kontrolę kompletności. Po transporcie wykonuje się działania proporcjonalne do ryzyka; bliskość części ani uruchomienie stanowiska nie są dowodem dostępności.

Flota tworzy dane o dryfie, awariach, naprawach, wynikach poza tolerancją, fałszywych wskazaniach, niepotwierdzonych usterkach i czasie testu. Miara potrzebuje mianownika i kontekstu: niski odsetek wykrytych wad może oznaczać niezawodność albo niewrażliwy tester. Analiza na poziomie egzemplarza i wersji umożliwia zmianę interwału wzorcowania, wykrycie wspólnej wady i retrospektywną ocenę wyników.

Studium 2 — migracja starzejącego się ATE. Obserwacją jest utrata wsparcia dla przyrządu i systemu operacyjnego przy nadal potrzebnym TPS. DAFI wspiera zarządzanie oprogramowaniem ATE i dokumentowanie wymagań dotyczących nowego, zastępczego lub modyfikowanego SE/ATS, a SD-22 — proaktywne zarządzanie zanikiem źródeł oraz ocenę jego wpływu; żaden z tych dokumentów nie ustanawia przyjętej niżej sekwencji migracji ani kryteriów równoważności.11,21 Hipotezy są trzy: nowa platforma jest równoważna w używanych funkcjach; pozornie lepszy przyrząd zmienia obciążenie, pasmo, wyzwalanie lub zachowanie po przeciążeniu; warstwa wirtualizacji zachowuje ekran, lecz zmienia czas i obsługę wejść/wyjść.

Dane obejmują wykaz funkcji rzeczywiście wywoływanych przez TPS, charakterystykę starego i nowego toru do wspólnej płaszczyzny odniesienia, surowe wyniki reprezentatywnych artefaktów, zachowanie na granicach, przy błędach i przerwaniach, konfiguracje sterowników oraz historię stanowisk. Niepewność ocenia się ponownie od końca do końca: lepsza specyfikacja przyrządu nie kompensuje nieznanego adaptera, korelacji ani odmiennej stabilizacji. Badanie korelacji rozdziela obciążenie stanowiska od zmienności artefaktu; nie dopuszcza ręcznego przesuwania wyników bez modelu.

Konfigurację migracji tworzą nowy przyrząd, sterownik, system, warstwa wykonawcza, niezmieniony lub zmodyfikowany TPS, adapter, przewody, baza limitów i obiekt. Analiza wpływu ustala zakres stosowalności dla obu stanowisk i historycznych wyrobów. Jako bezpieczny model decyzyjny dla tego studium autor przyjmuje sekwencję: kwalifikacja zmiany, FAT nowej konfiguracji, SAT w miejscu, walidacja operacyjna oraz regresja ścieżek nominalnych i błędowych. Autorskimi kryteriami rozstrzygnięcia są pełna równoważność w określonym zakresie, ograniczone dopuszczenie albo konieczność zmiany TPS i ponownej kwalifikacji. Dowodem w tym modelu jest pakiet równoważności wiążący obserwację, hipotezy, dane, niepewność, konfigurację i formalną decyzję. W ten sposób zachowany TPS nie zostaje mylnie uznany za zachowaną zdolność testową.

15. Człowiek, bezpieczeństwo systemowe, cyberbezpieczeństwo i ochrona danych

Personel pracuje pod presją czasu, czasem w rękawicach, hałasie, ograniczonym świetle i przy wielu podobnych elementach. Projekt uwzględnia kolejność zadań, postawę, zasięg, widoczność, informację zwrotną, obciążenie poznawcze i powrót po błędzie. Kluczowanie mechaniczne, polaryzacja, rozróżnienie kształtem i kontrola zgodności programowej ograniczają pomyłki; sam kolor lub pamięć operatora są słabymi barierami. Szkolenie obejmuje normalną pracę, oględziny przed użyciem, rozpoznanie stanu nietypowego, bezpieczne przerwanie i ochronę danych. Zmiana TPS, interfejsu lub procedury uruchamia ocenę wpływu na kompetencje.

Dane techniczne muszą odpowiadać zakresowi stosowalności, wskazywać wymagane narzędzia, kontrole konfiguracji, oczekiwane wyniki, ostrzeżenia i sposób rozstrzygnięcia. Lokalne notatki mogą ujawniać błąd ergonomii, ale nie są zatwierdzoną procedurą. Oznakowanie identyfikuje egzemplarz, konfigurację, udźwig, stan wzorcowania, zagrożenie i termin przeglądu, lecz nie zastępuje ewidencji statusu.

Bezpieczeństwo systemowe obejmuje sprzęt, oprogramowanie, wyposażenie, obiekt, środowisko i personel w całym cyklu życia.15 Rozróżnia uziemienie ochronne, odniesienie sygnałowe i połączenia wyrównawcze. Ocenia wyładowania elektrostatyczne, zakłócenia elektromagnetyczne, przepięcia, wysokie napięcie, energię zgromadzoną, nieoczekiwany ruch, ciała obce, zanieczyszczenia i pożar. Stan bezpieczny musi mieć definicję i obiektywne potwierdzenie; nagłe odcięcie wszystkiego nie zawsze jest najbezpieczniejszą reakcją. Szczegóły wykonawcze dla konkretnego uzbrojenia pozostają poza zakresem zgodnie z deklaracją rozdziału 1.

Ochrona cyfrowa obejmuje minimalizację usług i uprawnień, uwierzytelnianie pakietów, integralność dziennika, kontrolę nośników, synchronizację czasu, bezpieczne wycofanie pamięci i zdolność pracy w zatwierdzonym trybie ograniczonym. NIST SP 800-160 traktuje wiarygodność systemu jako cechę projektowaną i podtrzymywaną przez cykl życia.16 Podpis pliku nie dowodzi poprawności jego algorytmu; niezależna weryfikacja pozostaje konieczna. Ochrona fizyczna urządzenia nie rozstrzyga też klasy danych zapisanych na jego dysku.

Niektóre domeny podlegają odrębnej certyfikacji. Publiczne dokumenty DAF wskazują na wysokim poziomie, że jej granica może obejmować GSE, ATE, oprogramowanie, wyposażenie manipulacyjne i obiekty bezpośrednio związane z funkcjami krytycznymi.12,13 Wniosek ogranicza się do zarządzania: zewnętrzne położenie elementu nie wyłącza go z programu zapewnienia. Tekst nie przedstawia kryteriów, interfejsów ani procedur takich systemów.

W łańcuchu fizycznym bariery konstrukcyjne, ochronne i organizacyjne zapobiegają błędnemu zestawieniu, energii i ruchowi. W dowodowym kompetencje, zatwierdzone dane, role, dzienniki oraz kontrola dostępu zapewniają pochodzenie informacji i rozdział wykonania od zatwierdzenia. Dowodem zamykającym ryzyko jest analiza zagrożeń powiązana z wymaganiami, barierami, ich okresową weryfikacją, szkoleniem i zapisami audytowymi.

16. Niezgodności, retrospektywna ocena wyników i argument gotowości

Odstępstwo nie sprawia, że wymaganie zostało spełnione. Dokumentuje świadomą decyzję właściwej władzy o przyjęciu ograniczonej niezgodności, jej uzasadnienie, ryzyko, środki kompensujące, zakres stosowalności i czas obowiązywania. Lokalna zgoda operatora nie zmienia konfiguracji odniesienia, a powtarzające się odstępstwo powinno uruchomić zmianę wymagania lub projektu.

Wyposażenie niezgodne, niepewne albo dotknięte zdarzeniem trafia do kwarantanny fizycznej i statusowej. Rozstrzygnięcie może nakazać naprawę, przeróbkę, użycie w ograniczonym zakresie albo wycofanie. Powrót do służby zamyka konkretny zakres prac i dowodów: konfigurację, wykonane czynności, pochodzenie części, wzorcowanie, regresję, kontrolę bezpieczeństwa, otwarte ograniczenia i zatwierdzenie. Osoba wykonująca test nie musi i zwykle nie powinna samodzielnie zatwierdzać nietypowego przywrócenia.

Studium 3 — fałszywy korzystny wynik ujawniony po wzorcowaniu poza tolerancją. Studium jest fikcyjne, nieoperacyjne i nie dotyczy konkretnego uzbrojenia. Obserwacją początkową jest stwierdzenie podczas okresowego wzorcowania, że jeden kanał ATE znajdował się poza tolerancją w kierunku sprzyjającym akceptacji. Dodatkowe dane pokazują okresową usterkę przewodu, której samotest wewnętrzny nie obejmował, oraz wcześniejszy wynik UUT blisko granicy decyzji. Zasada z KSC-E-165 nakazuje w takim przypadku potraktować integralność potencjalnie dotkniętego wyrobu lub procesu jako podejrzaną oraz udokumentować ocenę możliwego przeoczenia procesowego.22

Hipotezy obejmują: stabilny dryf kanału w całym okresie; nagłą zmianę od określonego zdarzenia; wpływ wyłącznie w części zakresu; usterkę przewodu niezależną od przyrządu; oraz wspólne oddziaływanie obu błędów. Nie zakłada się automatycznie najdłuższego ani najkrótszego okresu wpływu. Dane obejmują świadectwo wzorcowania z kierunkiem i wielkością odchylenia, historię sprawdzeń wiarygodności, napraw i transportu, serializację przewodu, surowe wyniki z czasem, użyte kanały oraz konfiguracje TPS, adapterów, limitów i UUT.

Niepewność retrospektywna jest większa, gdy moment powstania błędu pozostaje nieznany. Ocenia się scenariusze i przedziały wpływu zamiast wstawiać po fakcie jedną dogodną poprawkę. Konfiguracja pozwala przeszukać zdarzenia po numerze stanowiska, kanale, przewodzie, wersji TPS, zakresie funkcji i dacie. Wyniki bez wystarczającej identyfikacji nie są milcząco uznawane za bezpieczne; otrzymują jawny stan nieokreślony.

Decyzja przebiega etapami: kwarantanna stanowiska i wskazanych akcesoriów; potwierdzenie oraz charakterystyka błędu przed regulacją, jeżeli jest to bezpieczne i dozwolone; wyznaczenie najwcześniejszej wiarygodnej daty wpływu; identyfikacja wszystkich potencjalnie dotkniętych zdarzeń; ponowne obliczenie marginesów z rozszerzoną niepewnością; klasyfikacja wyników na niezmienione, wymagające ponownej analizy, ponownego badania albo kwarantanny; naprawa i wzorcowanie; regresja; wreszcie odrębna formalna decyzja o przywróceniu stanowiska oraz każdego dotkniętego wyrobu. Dawny korzystny wynik blisko granicy może okazać się fałszywą akceptacją, ale nie rozstrzyga się tego samą etykietą OOT.

Dowodem studium jest retrospektywny pakiet wpływu wiążący obserwację, hipotezy, dane, niepewność, konfigurację i każdą decyzję. Pokazuje on sprzężenie łańcuchów: fizyczna usterka przewodu i dryf przyrządu podważają dowód, a brak serializacji uniemożliwiłby wskazanie zagrożonych wyników.

Argument gotowości jest kontrolowaną strukturą twierdzeń, nie kolekcją zielonych ekranów. Odpowiada: jaki wyrób, do jakiego zadania, w jakiej konfiguracji, gdzie i do kiedy uznano za gotowy; jakie wymagania zamknięto; jakimi metodami; przy jakiej niepewności i pokryciu; jakie odstępstwa pozostają; kto wykonał, sprawdził i formalnie zatwierdził. Pochodzenie dowodu obejmuje surowe dane, kod przetwarzania, wyjątki, powtórzenia i decyzje. Zrzut ekranu może dokumentować interfejs, lecz nie cały wynik.

Przegląd gotowości potwierdza stan obu łańcuchów w chwili zdarzenia: interfejsy, energię, środowisko, konfigurację i bezpieczeństwo fizyczne oraz wymagania, procedury, wzorcowanie, reguły, personel, dane i władzę dopuszczającą. Otwarte działania otrzymują rozstrzygnięcie przed użyciem. Ostatecznym dowodem zamykającym ryzyko jest odtwarzalny związek między dokładnym wyrobem, dokładnym stanowiskiem, spójnym metrologicznie pomiarem, obowiązującą regułą i formalną decyzją. Tylko równoczesna integralność łańcucha fizycznego i dowodowego uzasadnia twierdzenie o gotowości.

Załącznik A. Jedna lista audytowa

Załącznik służy do przeglądu; nie zastępuje analiz opisanych w rozdziałach. Odpowiedź „tak” powinna wskazywać konkretny artefakt i jego wersję.

Granica i odpowiedzialność

  • Czy model obejmuje każde urządzenie i obiekt mogące zmienić stan, konfigurację, bezpieczeństwo lub ocenę UUT?
  • Czy wskazano bezpośrednie interfejsy GSE oraz wspierające je funkcje GSS i infrastruktury?
  • Czy dla obu stron każdego interfejsu wyznaczono władzę projektową i konfiguracyjną?
  • Czy granica odpowiada aktualnej fazie: magazynowaniu, transportowi, rozwinięciu, testowi albo naprawie?
  • Czy rozdzielono wykonanie badania od formalnego dopuszczenia?

Konfiguracja i zdolność ATS

  • Czy zapis identyfikuje UUT, stanowisko, przyrządy, TPS, limity, adapter, przewody, oprogramowanie i obiekt?
  • Czy zakres stosowalności obejmuje badaną wersję, partię, miejsce, tryb i szczebel obsługi?
  • Czy konfiguracje zaprojektowana, zbudowana, utrzymywana i użyta w teście są uzgodnione?
  • Czy samotest i sprawdzenie wiarygodności mają jawny punkt końcowy oraz znane pokrycie?
  • Czy surowe dane, ponowienia, odstępstwa i stan wzorcowania są zachowane pod wspólnym identyfikatorem zdarzenia?
  • Czy zmiana przyrządu, systemu, sterownika lub TPS otrzymała analizę wpływu i uzasadnioną regresję?

Pomiar i decyzja

  • Czy wielkość mierzona, punkt odniesienia i model całego toru są jednoznaczne?
  • Czy spójność metrologiczna dotyczy konkretnego wyniku, funkcji i zakresu?
  • Czy budżet obejmuje adapter, przewody, przełączanie, środowisko, powtarzalność i model?
  • Czy regułę decyzji oraz pas ochronny zatwierdzono przed zobaczeniem wyniku?
  • Czy ryzyka fałszywej akceptacji i odrzucenia odpowiadają skutkom?
  • Czy wynik poza tolerancją uruchamia retrospektywną identyfikację wszystkich potencjalnie dotkniętych zdarzeń?

Pokrycie i obsługa

  • Czy każde istotne wymaganie prowadzi przez rodzaj uszkodzenia, obserwowalność i krok TPS do grupy niejednoznaczności?
  • Czy raport rozróżnia usterkę UUT, adaptera, przewodu, ATE i infrastruktury?
  • Czy działanie obsługowe jest dozwolone na danym szczeblu i zachowuje informację o przyczynie?
  • Czy wyniki niepotwierdzone oraz okresowe zachowują kontekst, konfigurację i przebieg czasowy?
  • Czy test nie przeciąża wyrobu i nie sprowadza wymagania fizycznego do samej komunikacji?

Bramki, człowiek i bezpieczeństwo

  • Czy kwalifikacja, FAT, SAT i walidacja operacyjna zamknęły właściwe, różne cele?
  • Czy miejsce, energia, media, ochrona, personel, szkolenie i dane techniczne są gotowe?
  • Czy interfejs jest odporny na przewidywalne pomyłki, a bezpieczne przerwanie ma dowiedziony skutek?
  • Czy ochrona cyfrowa obejmuje pakiety, nośniki, role, dzienniki, czas i wycofanie danych?
  • Czy niezgodności, odstępstwa i ograniczenia mają właściciela, zakres oraz termin?
  • Czy podpisana decyzja o użyciu lub powrocie do służby wskazuje kompletny argument gotowości?

Źródła