Am 19.09.2011 22:33, schrieb Desoft:
>> Moduł asercji ma za zadanie *natychmiast* zgłosić tryb awaryjny w
>> sytuacji gdy zostaną naruszone jakiekolwiek reguły w nim zaszyte.
>> Odpinając, przejmując sterowanie, wyłaczając zasilanie, robiąc shutdown.
>
> Czyli jest to w praktyce jakiś przkaźnik bezpieczeństwa
>
>> To rodzaj kontrolowanej katastrofy - jakiekolwiek stany maszyny po
>> wystapieniu asercji nie są prawidłowe więc należy ja natychmiast
>> zatrzymać i poinformować kogo trzeba (operatora/software). może być
>> przelotowy (co pozwala odciąć sterownik właściwy) albo tylko sniffować
>> i analizować proces sterowania.
>
> Całości nie przeanalizuje, bo będzie bardziej złożony od układu sterowania.
> A przy takiej złożoności, potrzebny będzie układ kontrolujący ten układ.

Tak dla informacji: opisywany przeze mnie w tym wątku program sterowania
kolejki elektrycznej zawierał mniej więcej 4000 linijek kodu w
RT-Pascalu. Z czego około 200 linijek to układ sterowania, reszta to
asercje i symulacja. Jedna z asercji była oparta na symulacji
rzeczywistego systemu i porównywania pozycji symulowanych i
rzeczywistych. Dzięki temu można było wykryć poważne zmiany prędkości
lokomotyw oraz "kradzież" lokomotywy.

Waldek


--
My jsme Borgové. Sklopte štíty a vzdejte se. Odpor je marný.