Podczas pracy z argumentacjami assurance case użyteczny może być prosty tekstowy format ich opisu. Chodzi o to, aby taka tekstowa argumentacja była możliwa do zrozumienia dla człowieka oraz do stosowania z narzędziami AI, a jednocześnie formalnie zdefiniowana, aby można było takie argumentacje importować do edytorów assurance case. W takim właśnie celu wprowadzamy LTAC – Lightweight Text Assurance Case. Spójrzmy na przykład argumentacji. Czy jest zrozumiały?
- Claim G1: System is acceptably safe to operate
- Context C1: System Definition
- Strategy S1: Argue by mitigating all hazards
- Claim G2: All hazards have been identified
- Evidence E1: Hazard analysis report
- Claim G3: All identified hazards have been mitigated
- Strategy S3: Decompose mitigation argument by identified hazards
- Claim S5: All identified hazards have been accurately assessed
- Claim S6: Mitigation strategies have been implemented for all hazards
- Claim S7: The effectiveness of the mitigation measures has been validated
- Claim S4: Continuous monitoring of risks is in place Powyższy fragment argumentacji jest zrozumiały dla człowieka i to jest bardzo ważne. Można łatwo taką argumentację przeglądać i modyfikować w razie potrzeby.
Gdy argumentacja ta zostanie wklejona do PREMIS, otrzymujemy diagram GSN jak poniżej.
Argumentacja LTAC może być tworzona ręcznie, ale też z użyciem narzędzi AI lub skryptów. Jeżeli chcesz stosować narzędzie AI, to najpierw podaj instrukcję, aby stosować notację LTAC zgodnie ze specyfikacją LTAC. Gdy narzędzie AI pozna notację LTAC, może bez problemu tworzyć i analizować takie argumentacje.
Gdy argumentacja jest większa, to taka forma tekstowa staje się już trudniejsza do przeglądu przez człowieka. Tym niemniej fragmenty argumentacji w LTAC są ciągle łatwe do stosowania.
Jest też jeszcze jedno poważne ograniczenie LTAC. Taka tekstowa argumentacja jest skutecznym rozwiązaniem, gdy nie ma opisów elementów argumentacji lub metadanych takich jak oznaczenie ‘undeveloped’ lub tagi. W takim wypadku można stosować bardziej zaawansowane notacje tekstowe, w tym stosujące YAML. Jednak, gdy dane pojedynczego elementu argumentacji są bardziej złożone i nie są prezentowane w jednym wierszu, stają się trudniejsze do ręcznej analizy.
LTAC jest skutecznym rozwiązaniem gdy stosujesz narzędzia AI, a jednocześnie chcesz przeglądać i korygować argumentację przed wstawieniem do narzędzia assurance case.