--Cyclic scheduler with a watchdog: 
 
with Ada.Calendar;
with Ada.Text_IO, Ada.Float_Text_IO;
with Ada.Numerics.Float_Random;
 
use Ada.Calendar;
use Ada.Text_IO, Ada.Float_Text_IO;
use Ada.Numerics.Float_Random;
 
-- add packages to use random number generator
 
 
procedure cyclic_wd is
    Message: constant String := "Cyclic scheduler with watchdog";
   -- change/add your declarations here
   d: Duration := 1.0;
   Start_Time: Time := Clock;
   Start_Test: Time;
   i: Integer := 0;
   d2: Duration := 0.5;
   Rounded_Time: Float := 0.0;
   d3: Duration := 0.0;
   -- Random Number Generator
   G: Generator;
   Rand_Num: Float;
 
 
   procedure f1 is 
      Message: constant String := "f1 executing, time is now";
   begin
      Put(Message);
      Put_Line(Duration'Image(Clock - Start_Time));
   end f1;
 
   procedure f2 is 
      Message: constant String := "f2 executing, time is now";
   begin
      Put(Message);
      Put_Line(Duration'Image(Clock - Start_Time));
   end f2;
 
   procedure f3 is 
      Message: constant String := "f3 executing, time is now";
   begin
      Reset(G);
      Rand_Num := Random(G);
      delay Duration(Rand_Num);
      Put(Message);
      Put_Line(Duration'Image(Clock - Start_Time));
      -- add a random delay here
      -- Put("Random Time Float Delay is");
      --Put_Line(Float'Image(Rand_Num));
      delay Duration(Rand_Num);
   end f3;
 
   task Watchdog is
      -- add your task entries for communication
      entry deadline;
   end Watchdog;
 
   task body Watchdog is
   begin
      loop
         -- add your task code inside this loop
 
        Rounded_Time := Float'Ceiling(Float(Clock - Start_Time));
        d3 := Duration(Rounded_Time - Float(Clock - Start_Time));
         select
            accept deadline;
         or
            delay Duration(Clock - Start_Time) + 0.5;
           -- Put_Line(Duration'Image(Clock - Start_Time));
            Put_Line("The deadline has passed.");
         end select;
         delay d3;
      end loop;
   end Watchdog;
 
begin
   loop
      -- change/add your code inside this loop
      if i mod 2 = 0 then
         f1;
         f2;
         Watchdog.deadline;
         f3;
         i := i + 1;
         delay d2;
      else
         f1;
         f2;
         i := i + 1;
         delay d;
      end if;
   end loop;
end cyclic_wd;

LS1DeWNsaWMgc2NoZWR1bGVyIHdpdGggYSB3YXRjaGRvZzogCgp3aXRoIEFkYS5DYWxlbmRhcjsKd2l0aCBBZGEuVGV4dF9JTywgQWRhLkZsb2F0X1RleHRfSU87CndpdGggQWRhLk51bWVyaWNzLkZsb2F0X1JhbmRvbTsKCnVzZSBBZGEuQ2FsZW5kYXI7CnVzZSBBZGEuVGV4dF9JTywgQWRhLkZsb2F0X1RleHRfSU87CnVzZSBBZGEuTnVtZXJpY3MuRmxvYXRfUmFuZG9tOwoKLS0gYWRkIHBhY2thZ2VzIHRvIHVzZSByYW5kb20gbnVtYmVyIGdlbmVyYXRvcgoKCnByb2NlZHVyZSBjeWNsaWNfd2QgaXMKICAgIE1lc3NhZ2U6IGNvbnN0YW50IFN0cmluZyA6PSAiQ3ljbGljIHNjaGVkdWxlciB3aXRoIHdhdGNoZG9nIjsKICAgLS0gY2hhbmdlL2FkZCB5b3VyIGRlY2xhcmF0aW9ucyBoZXJlCiAgIGQ6IER1cmF0aW9uIDo9IDEuMDsKICAgU3RhcnRfVGltZTogVGltZSA6PSBDbG9jazsKICAgU3RhcnRfVGVzdDogVGltZTsKICAgaTogSW50ZWdlciA6PSAwOwogICBkMjogRHVyYXRpb24gOj0gMC41OwogICBSb3VuZGVkX1RpbWU6IEZsb2F0IDo9IDAuMDsKICAgZDM6IER1cmF0aW9uIDo9IDAuMDsKICAgLS0gUmFuZG9tIE51bWJlciBHZW5lcmF0b3IKICAgRzogR2VuZXJhdG9yOwogICBSYW5kX051bTogRmxvYXQ7CiAgICAgICAgCgogICBwcm9jZWR1cmUgZjEgaXMgCiAgICAgIE1lc3NhZ2U6IGNvbnN0YW50IFN0cmluZyA6PSAiZjEgZXhlY3V0aW5nLCB0aW1lIGlzIG5vdyI7CiAgIGJlZ2luCiAgICAgIFB1dChNZXNzYWdlKTsKICAgICAgUHV0X0xpbmUoRHVyYXRpb24nSW1hZ2UoQ2xvY2sgLSBTdGFydF9UaW1lKSk7CiAgIGVuZCBmMTsKCiAgIHByb2NlZHVyZSBmMiBpcyAKICAgICAgTWVzc2FnZTogY29uc3RhbnQgU3RyaW5nIDo9ICJmMiBleGVjdXRpbmcsIHRpbWUgaXMgbm93IjsKICAgYmVnaW4KICAgICAgUHV0KE1lc3NhZ2UpOwogICAgICBQdXRfTGluZShEdXJhdGlvbidJbWFnZShDbG9jayAtIFN0YXJ0X1RpbWUpKTsKICAgZW5kIGYyOwoKICAgcHJvY2VkdXJlIGYzIGlzIAogICAgICBNZXNzYWdlOiBjb25zdGFudCBTdHJpbmcgOj0gImYzIGV4ZWN1dGluZywgdGltZSBpcyBub3ciOwogICBiZWdpbgogICAgICBSZXNldChHKTsKICAgICAgUmFuZF9OdW0gOj0gUmFuZG9tKEcpOwogICAgICBkZWxheSBEdXJhdGlvbihSYW5kX051bSk7CiAgICAgIFB1dChNZXNzYWdlKTsKICAgICAgUHV0X0xpbmUoRHVyYXRpb24nSW1hZ2UoQ2xvY2sgLSBTdGFydF9UaW1lKSk7CiAgICAgIC0tIGFkZCBhIHJhbmRvbSBkZWxheSBoZXJlCiAgICAgIC0tIFB1dCgiUmFuZG9tIFRpbWUgRmxvYXQgRGVsYXkgaXMiKTsKICAgICAgLS1QdXRfTGluZShGbG9hdCdJbWFnZShSYW5kX051bSkpOwogICAgICBkZWxheSBEdXJhdGlvbihSYW5kX051bSk7CiAgIGVuZCBmMzsKCQogICB0YXNrIFdhdGNoZG9nIGlzCiAgICAgIC0tIGFkZCB5b3VyIHRhc2sgZW50cmllcyBmb3IgY29tbXVuaWNhdGlvbgogICAgICBlbnRyeSBkZWFkbGluZTsKICAgZW5kIFdhdGNoZG9nOwoKICAgdGFzayBib2R5IFdhdGNoZG9nIGlzCiAgIGJlZ2luCiAgICAgIGxvb3AKICAgICAgICAgLS0gYWRkIHlvdXIgdGFzayBjb2RlIGluc2lkZSB0aGlzIGxvb3AKICAgICAgICAgCiAgICAgICAgUm91bmRlZF9UaW1lIDo9IEZsb2F0J0NlaWxpbmcoRmxvYXQoQ2xvY2sgLSBTdGFydF9UaW1lKSk7CiAgICAgICAgZDMgOj0gRHVyYXRpb24oUm91bmRlZF9UaW1lIC0gRmxvYXQoQ2xvY2sgLSBTdGFydF9UaW1lKSk7CiAgICAgICAgIHNlbGVjdAogICAgICAgICAgICBhY2NlcHQgZGVhZGxpbmU7CiAgICAgICAgIG9yCiAgICAgICAgICAgIGRlbGF5IER1cmF0aW9uKENsb2NrIC0gU3RhcnRfVGltZSkgKyAwLjU7CiAgICAgICAgICAgLS0gUHV0X0xpbmUoRHVyYXRpb24nSW1hZ2UoQ2xvY2sgLSBTdGFydF9UaW1lKSk7CiAgICAgICAgICAgIFB1dF9MaW5lKCJUaGUgZGVhZGxpbmUgaGFzIHBhc3NlZC4iKTsKICAgICAgICAgZW5kIHNlbGVjdDsKICAgICAgICAgZGVsYXkgZDM7CiAgICAgIGVuZCBsb29wOwogICBlbmQgV2F0Y2hkb2c7CgpiZWdpbgogICBsb29wCiAgICAgIC0tIGNoYW5nZS9hZGQgeW91ciBjb2RlIGluc2lkZSB0aGlzIGxvb3AKICAgICAgaWYgaSBtb2QgMiA9IDAgdGhlbgogICAgICAgICBmMTsKICAgICAgICAgZjI7CiAgICAgICAgIFdhdGNoZG9nLmRlYWRsaW5lOwogICAgICAgICBmMzsKICAgICAgICAgaSA6PSBpICsgMTsKICAgICAgICAgZGVsYXkgZDI7CiAgICAgIGVsc2UKICAgICAgICAgZjE7CiAgICAgICAgIGYyOwogICAgICAgICBpIDo9IGkgKyAxOwogICAgICAgICBkZWxheSBkOwogICAgICBlbmQgaWY7CiAgIGVuZCBsb29wOwplbmQgY3ljbGljX3dkOw==