1. Demo - Data Fault Generator Politecnico di Milano

2. The foodshop architecture Shop Supplier DB Warehouse DB CheckAvailability Reserve Unreserve DB CheckAvailability Reserve Unreserve ReceiveOrder

3. Data Fault Generation Shop Supplier DB Warehouse DB (p)001 (u)002 (p)001 (u)002 (p)010 (u)002 (p)010

4. In this demo… Items

5. In this demo… ItemAvailability

6. What we will see... item error: the customer orders an item and receives a different item. Simulation with operation on data: package error availability fault: an item becomes out- of-availability between check availability and reservation Two data faults examples: