← Wracając do badań przypadków Przypadek oprogramowania do instrumentów naukowych

Oprogramowanie do sterowania instrumentami badawczymi w zakresie półprzewodników i pozyskiwania danych: inżynieria niezawodności systemu komputerowego Windows

Anonimowa sprawa Sinovanta obejmująca aplikację Qt/C++ Windows, wielourządową kontrolę temperatury Modbus, pozyskiwanie i przechowywanie kamer przemysłowych, zapisy SQLite, weryfikowane urządzenie pisze, i powtarzalna dostawa instalacji.

Zaangażowanie
Audyt istniejącego systemu i ukierunkowana modernizacja oprogramowania
Zakres działalności
Oprogramowanie Windows, komunikacja urządzeń, kamera przemysłowa, magazynowanie danych i opakowanie
Platforma
Windows 10/11 x64, Qt 5.12, C++/MSVC, Modbus RTU i SQLite
Wersja dowodowa
1.0.3.20260728 Instalator testowany przez klienta
01

Kontext projektu

Istniejąca aplikacja górnego komputera koordynowała dziesięć kontrolerów temperatury, urządzeń otwierających, kamerę przemysłową, skrypty procesu i zapisy eksperymentalne. Diagnostyka pola zidentyfikowała dyskontynuujące zapisy temperatury, ciche luki w przechowywaniu aparatu i opóźnienia w przeglądzie, które wydawały się skuteczne bez zmiany urządzenia docelowego, Wartość Ramp Rate wyświetlana przed odczytem sprzętowym i niespójna skalacja temperatury.

02

Cel inżynieryjny

Utrzymać sprawdzone integracje urządzeń, jednocześnie izolując ścieżki z najwyższym ryzykiem: sprawiać, że zapisy sterowania są śledzalne, synchronizować parametry urządzenia w obu kierunkach, odzyskać pozyskiwanie i przechowywanie w momencie zatrzymania ram, utrzymywać spójność jednostek, tworzyć powtarzalny instalator Release, i określić pozostałe prace akceptacyjne sprzętu klienta.

Praca w zakresie niezawodności w zakresie ścieżki kontroli i danych

Uprawnienie traktowane komunikacja seryjna, nabycie aparatu fotograficznego, wytrwałość, stan interfejsu użytkownika i opakowanie jako jeden obserwowany łańcuch. Każda zmiana była związana z trybem awarii i sprawdzalnym wynikiem.

  1. 01

    Zbieranie linii bazowych i dowodów

    Zamrożenie źródła i linii bazowej instalacji, przegląd dzienników i zapisów SQLite, identyfikacja granic urządzenia i oddzielenie obserwowanych błędów pola od założeń.

  2. 02

    Serialne pozyskiwanie i odtwarzanie parametrów

    Utrzymuj stabilność głosowania PV/SP o wysokiej częstotliwości podczas odczytywania rejestru Ramp Rate 0x0023 w harmonogramie niskich częstotliwości, jeden kontroler co trzy sekundy.

  3. 03

    Zweryfikowana kontrola urządzenia

    Przyjmij zapis tylko po tym, jak dokładna odpowiedź Modbus 0x06 pasuje do niewolnika, rejestru i wartości, a docelowy SP jest odczytywany; spróbuj ponownie lub zgłaszaj niepowodzenie w innym przypadku.

  4. 04

    Odbudowa rurociągu kamery

    Samodzielnie monitorować przybycie i wytrwałość obrazu surowego, ponownie otwierać zakup po trzysekundowym zatrzymaniu i przekształcać przechowywanie, gdy pojawiają się obrazy, ale nie przechowuje się żadnego obrazu.

  5. 05

    Spójność danych i jednostek

    Użyj pojedynczej ścieżki jednostki temperatury, usuwaj negatywny współczynnik dziesięciu, zachowaj prawdziwe znaki czasu wychwytywania i utrzymuj diagnostykę dostępną do późniejszego przeglądu.

  6. 06

    Kontrola uwalniania i przyjmowania

    Zbudować pakiet x64 Release, audytować zależności od czasu uruchomienia, rejestrować wersje plików i wartości SHA-256, zachować materiał zwrotny i wydać listę kontrolną akceptacji sprzętu.

03

Kontrolowane dostawy

Zastosowany płaszcz źródłowy
12 plików, obejmujących odczytywanie Ramp Rate, weryfikowane zapisy, odzyskiwanie aparatu, planowanie wytrwałości i spójność pomiędzy jednostką temperatury.
Instalator testowany przez klienta
Wersja 1.0.3.20260728 dla systemu Windows x64 z biegiem Qt, sterownikiem SQLite, SDK kamery, konfiguracją urządzenia i biegiem VC.
Architektura i przegląd kodu
Przegląd istniejącej struktury aplikacji, ścieżek komunikacji, obsługi danych oraz priorytetowych ryzyka P0/P1.
Zapisy budowy i pakowania
Wydaj wydajność budowy, zapasy zależności, metadany wersji, liczbę pakietów i sumy kontrolne SHA-256.
Lista kontrolna akceptacji pola
Odczytywanie po stronie urządzenia, wielokrotna weryfikacja zapisu, wytrzymałość aparatu, ponowne połączenie, ciągłość magazynowania i kontrole spójności jednostki.
04

Dowody techniczne

Dowody poniżej wskazują artefakt, zakres badań i ograniczenie. Nie zastępuje ona akceptacji sprzętu klienta.

Przegląd architektury

83 źródłowe i nagłówkowe pliki C++; około 36.200 fizycznych linii przeglądanych.

W przeglądzie określono konkretne ryzyko P0/P1 oraz granice własności. To przegląd techniczny statyczny, nie certyfikacja oprogramowania.

Diagnoza pola wcześniejszego uwalniania

Średnia przedział kamera-ramy wynosi około 125 ms; 99% przy lub poniżej 130 ms; jedna przedział 562,921 sekundy i jedna przedział 17,306 sekund; 1 486 zapisanych obrazów bez kolejnych duplikatów.

Te pomiary ustanawiają wstępną linię wyjściową awarii. Nie udowadniają wytrzymałości wersji 1.0.3.

Wybór wypuszczenia

Zbudowa przeszła; rozmiar wykonywalny 1,727,488 bajtów; SHA-256 CB4A11624F97BABC892399DF0975059408AA62CA4502622BBEE84D058D2FD5FD.

Potwierdza to reprodukowalny artefakt budowy i tylko sprawdzone twierdzenia statyczne.

Audyt instalatora

78 fałszywych plików o łącznej liczbie 66,292,772 bajtów; zero plików Qt Debug DLL; wymagane pliky Qt, SQLite, kamera-SDK, VC Runtime i urządzenia.

Instalator SHA-256 to 6908988BF48670AC25A9F004BC77070960AE55D19D35AB51212EBDD64B4321A9. Pakiet nie jest podpisany.

05

Status walidacji

  • Statyczne twierdzenia przekazane w odniesieniu do ścieżki odczytu Ramp Rate, weryfikowanego przepływu write/readback, kontrolerów przejęcia, kontrolerów magazynowania oraz usunięcia starego skaliania temperatury.
  • Badanie CTest odbyło się pomyślnie, ale doniesiono, że nie znaleziono żadnych badań; nie jest to dowód badań funkcjonalnych.
  • Sprawdzono wartości ProductVersion, FileVersion, zawartość pakietu, wymagane zależności od czasu uruchomienia oraz wartości SHA-256.
  • Wersja 1.0.3 nie została zainstalowana ani uruchomiona na instrumencie klienta w dniu dowodu; akceptacja urządzenia i wytrzymałości pozostaje nieokreślona.
06

Zakres i ograniczenia

Opublikowany wynik to testowany przez klienta instalator systemu Windows oraz źródło, budowa, pakiet i dowody statycznej przeglądu. Nie twierdzi on o zakończeniu akceptacji na miejscu, podpisaniu produkcji, certyfikowanej dokładności pomiaru, nieprzerwanym długotrwałym przechowywaniu aparatu fotograficznym ani o zweryfikowanej obsłudze każdej kombinacji sterownika i aparatu fotograficznego. Akceptacja końcowa wymaga odczytu rzeczywistej stawki Ramp Rate, porozumienia pomiędzy urządzeniem a panelem w przypadku powtarzających się zapisów, co najmniej dwie godziny pracy aparatu bez niewyjaśnionych luki, odłączenia i ponownego połączenia odzyskiwania, i kontroli jednostkowej temperatury instrumentu docelowego.

Omówić oprogramowanie do narzędzi naukowych

Przedstawienie topologii instrumentu, protokołów urządzenia, modelu aparatu fotograficznego, zasad przechowywania danych, sekwencji operacyjnej, istniejącego źródła lub wykonywalnego, środowiska wdrożenia oraz kryteriów akceptacji.

Przedstaw swoje wymagania →