Abstract-I många framväxande tidskritiska applikationer, den exakta tiden för händelser händelser kanske inte är känd. I sådana fall kan händelser representeras som en probabilistisk händelse inom ett tidsintervall. Övervakningen av tidsbegränsningar, som i allmänhet används i tidskritiska system, måste därför inbegripa osäkerheten i händelsehändelser. I detta dokument föreslår vi mekanismer för att övervaka tillfredsställelsen/övergreppet av tidsbegränsningar som kan bedömas probabilt. Vi antar en enhetlig fördelning av händelseförekomsten inom ett tidsintervall. Vår föreslagna algoritm avgör om sannolikheten för att en tidsbegränsning har uppfyllts överstiger ett angivet tröskelvärde. En konfidenströskel är en minsta tillfredsställelse sannolikhet för tidsbegränsningen. En tidsbegränsning överträds om förtroendetröskeln inte nås. Vi utformar en effektiv övervakningsalgoritm för att upptäcka tidsbrott av en uppsättning tidsbegränsningar genom att hitta den tidigaste tidsgränsen (EET) för varje tidsbegränsning. Eftersom det är viktigt att härleda implicita begränsningar för tidig upptäckt av brott mot tidsbegränsningar, presenterar vi härledning av implicita begränsningar under osäkerhet med hjälp av en alla-par kortaste vägen algoritm. Vidare föreslår vi beskärningsmetoder för att göra sig av med onödiga implicita begränsningar. Vi presenterar egenskaperna och bevisen för vårt tillvägagångssätt.
Ref antar en probabilistisk strategi för att övervaka tidsbegränsningar.
Monitoring of Timing Constraints with Confidence Threshold Requirements
{'venue': 'IEEE Transactions on Computers', 'journal': 'IEEE Transactions on Computers', 'mag_field_of_study': ['Computer Science']}