Dynamic aspects of cases

The example below is based on the open TransportAPI data. It demonstrates how the information can be monitored and assurance case dynamically updated to reflect the current state of the system.

Using XMLHttpRequest to get the best_departure_estimate_mins value of a json content.

Claim: Train will depart from Euston soon

Concretion block: Please define the term soon: in less than minutes.

Checking evidence value every 30 sec … Border color code: Green = True, Red = False

Evidence: estimated departure time provided by TransportAPI is currently mins

Link to my JSON content: json_demo.txt