Prosty tekstowy format assurance case – LTAC

Prosty tekstowy format assurance case LTAC (Lightweight Text Assurance Case) może być stosowany do:

  • tworzenia argumentacji assurance case na podstawie danych z innych systemów przez skrypty, narzędzia AI lub inne;
  • wymiany danych argumentacji pomiędzy aplikacjami, gdy ograniczony zakres informacji jest wystarczający;
  • prezentacji argumentacji w formie tekstowej w sposób łatwy do zrozumienia dla ludzi.

Można tworzyć argumentacje w formacie LTAC, a następnie wklejać je do PREMIS. Dla każdej argumentacji w PREMIS można też ją skopiować do formatu LTAC.

Przykład argumentacji LTAC

Poniżej przedstawiona jest prosta argumentacja w formacie LTAC. Ten tekst został wklejony do PREMIS, a następnie utworzono diagram GSN pokazany po prawej stronie.

 
- Claim G1: The system is acceptably safe for operation
  - Context X1: System specification
  - Strategy S1: Argue safety by mitigation of all hazards
    - Claim G2: All hazards have been identified
      - Evidence Ev1: Hazard analysis (HARA report.pdf)
    - Claim G3: All hazards have been mitigated
      - Link Ev1
Assurance argument created from LTAC

Składnia LTAC

  1. Argumentacja test przedstawiona w formacie tekstu, każdy element argumentacji w osobnym wierszu.
  2. Każdy wiersz zaczyna się myślnikiem, po którym jest słowo kluczowe określające typ elementu, następnie identyfikator, dwukropek i nazwa elementu.
  3. Dozwolone nazwy typów elementów to: Claim, Strategy, Justification, Evidence, Context oraz Assumption. Nazwy te mogą być mapowane do argumentacji GSN, CAE oraz TRUST-IT.
  4. Każda argumentacja LTAC rozpoczyna się od elementu typu Claim. Może być więce niż jeden Claim najwyższego poziomu.
  5. Relacje pomiędzy elementami są reprezentowane przez wcięcia, każde po dwie spacje.
  6. Każdy element powinien być zdefiniowany tylko raz. Jeżeli dany element jest stosowany do wsparcia więcej niż jednego innego elementu, to każde kolejne użycie danego elementu powinno być określone z użyciem słowa kluczowego Link, co oznacza zacytowanie danego elementu. Przykładem jest Link Ev1 w przykładzie przedstawionym powyżej.

Jeżeli stosujesz naszędzia AI do generowania argumentacji LTAC, może użyć Specyfikacji LTAC (wersja 1.1, 6.11.2025). Pomaga to narzędziom AI generować poprawne argumentacje LTAC, które mogą być następnie wklejane do PREMIS.

Komentarze końcowe

Jednym z celów jest zapewnienie zrozumiałości LTAC dla ludzi, wobec czego staramy się, aby format ten był tak prosty, jak to możliwe. Są możliwe jednak pewne rozszerzenia formatu LTAC w przyszłości. Będziemy na tej stronie utrzymywać aktualną wersję specyfikacji LTAC.

Jeżeli masz komentarze lub sugestie zmian LTAC, prosimy o użycie naszego formularza kontaktowego.