diff --git a/Application_examples/Small_Package_Delivery.mp b/Application_examples/Small_Package_Delivery.mp index 8b83c128e3b058719fedda721ca35a171c2c853a..6c5c1fceae0cbcf17cac222c4176e14f3bbe9796 100644 --- a/Application_examples/Small_Package_Delivery.mp +++ b/Application_examples/Small_Package_Delivery.mp @@ -28,18 +28,17 @@ raining? Hailing?" Non-combatant Scenario 1 authored by N. Roberts (Engility) MP model authored by K. Giammarco (NPS) and D. Shifflett (NPS) -Removing everything except the SCHEMA definition and the Air_Vehicle -root (line 36 and lines 114-128) and running that model subset, one can -see 6 event traces, one of which is unexpected: the Air_Vehicle drops -the payload with no vessel in sight (trace 6). - References: Search terms: small package delivery; autonomous; ENSURE condition; Type 1 probability Instructions: Run for Scope 1. This model shows only two scenarios due to overloading constraints (constraints that suppress entire branches of execution that a user -intended to permit). +intended to permit). Removing everything except the SCHEMA definition and the Air_Vehicle +root and running that model subset, one can +see 6 event traces, one of which is unexpected: the Air_Vehicle drops +the payload with no vessel in sight (trace 6). + Scope 1: 2 traces in less than 1 sec. ==========================================================*/