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