An Electrician's Wingman

Augmenting electrical safety through Ada

BeginnerFull instructions providedOver 2 days617

Finalist Prizes

Make with Ada

Things used in this project

Hardware components

BBC micro:bit board

Brown Dog Gadgets Solar Cockroach Vibrating Disc Motor

LED (generic)

Non Invasive Line Test Circuit

Software apps and online services

AdaCore GNAT Community

Hand tools and fabrication machines

Soldering Station, Hobbyist

Story

Coverstory

ELECTROCUTION Worker dies after being electrocuted (a worker, 20, died after reportedly being electrocuted by a cable from a park lamp, where the victim was welding a gate - he was taken to a Hospital, but died on the way - the park lamp pole did not have a lamp, but the cable was cut open and touched the victim)

ELECTROCUTION Worker electrocuted at Pretium plant (worker died of an electrocution at a bottle molder - he was an outside contractor working on an air compressor - he touched a live connection inside a control panel - he was treated at the scene, but pronounced dead at a Hospital)

ELECTROCUTION Worker Fixing Leak Dies After Hit Power Line (a worker, in his early 30s, fixing an underground leak was killed when he hit an underground power line - doctors were not able to revive the worker - he suffered cardiac arrest after making contact with the underground power line - fire officials say they pulled the victim out of the hole where he was doing repair work to some sort of leak - he was not conscious)

(Source: Some of the few mentioned Electrical Accidents archived)

In the realm of personal protective equipment, protective gloves offer the first line of defense against an array of hazards. Most often, they are used to protect the hands against scrapes, cuts, chemical, biological, and electrical hazards--with the goal of avoiding or limiting damage to the fingers, hands, wrists, and lower arms.

While industry giants like Honeywell are on the verge of designing Advanced Electrical Safety Gloves based on RFID technology, still there exists much scope for developing on low-cost, open-tech in terms of affordability and simplicity that can be re-tailored as per end user's need.

Ada Environment

One fact that an "average joe" discovers while searching for Ada Language, is it's root bindings with DoD (as a great initiative for improving on software engineering practices in the early 1970s.

Ada & beyond..

When Ada was first defined, it was ahead of its time. It had ambitious requirements and introduced many features — e.g., packages, exceptions, generics, tasking — that were not used in mainstream languages. Subsequent developments, both in the computing field in general and in programming language technology in particular, have confirmed that Ada’s design decisions feature highly-reliable Safety-critical support among others.

Hardware:

The project is designed around universally accepted BBC:Microbit hardware that is natively supported in Adacore Programming Environment. The e-Wingman Glove features non-invasive A.C. line detection based on (not almost) Fluxgate magnetometer and commercially available inductive line-tester that has been re-engineered for interfacing with microbit board. While, the current version features A.C. live wire detection which can be further improved to detect scaled voltage gradient, through dedicated ICs from TI that feature precise flux-core based AFE.

Early tests :(probably)

Bare circuit (Operational)

e-Wingman in it's current state provides haptic feedback through micro disc motor & LED(test) driven from microbit's D(out) and a scroll 'ALERT' message though LED matrix, in case it detects the live A.C. circuit(or conductor). The device also features iBeacon packets that can be received over NRF Connect App for maintaining Glove Stats.

Modding the hardware:

Downscaled-Demolition

Adding a ferrite inductor seems to provide good results for our test.(limited edition)

Code

eWingman code is tightly based on Digital and Analog IO acquisition, and maximum code part is borrowed from Adacore's (Microbit-Support) blogspace.

with MicroBit.Display;
with MicroBit.IOs;
with BLEADV;

procedure Main is
begin
   BLEADV.Initialize_Radio;
   --  Loop forever
   loop
      MicroBit.Display.Clear;
      --  Check for Analog pin 2 on Microbit
      if MicroBit.IOs.Set (2) then      -- Connection to ET circuit(p.d. after 2.7MOhms)
      --  Turns off the peripherals connected to following pins
         MicroBit.IOs.Set (8, False);   -- Connection to Green LED
         MicroBit.IOs.Set (16, False);  -- Connection to Vibration Motor
         MicroBit.Display.Display (".....");
      else
         --  Turns on the peripherals connected to following pins
         MicroBit.IOs.Set (8, True);   -- Connection to Green LED
         MicroBit.IOs.Set (16, True);  -- Connection to Vibration Motor
         MicroBit.Display.Display ("ALERT");
         BLEADV.Send_Beacon_Packet;
      end if;
   end loop;
end Main;

Final Results (Almost Raw)

Sensing 220V A.C. passing through Solder Station Input

Haptic feed (though invisible) provides a great UX for end-user.

Code

------------------------------------------------------------------------------
--                                                                          --
--                        Copyright (C) 2016, AdaCore                       --
--                                                                          --
--  Redistribution and use in source and binary forms, with or without      --
--  modification, are permitted provided that the following conditions are  --
--  met:                                                                    --
--     1. Redistributions of source code must retain the above copyright    --
--        notice, this list of conditions and the following disclaimer.     --
--     2. Redistributions in binary form must reproduce the above copyright --
--        notice, this list of conditions and the following disclaimer in   --
--        the documentation and/or other materials provided with the        --
--        distribution.                                                     --
--     3. Neither the name of the copyright holder nor the names of its     --
--        contributors may be used to endorse or promote products derived   --
--        from this software without specific prior written permission.     --
--                                                                          --
--   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS    --
--   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT      --
--   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR  --
--   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT   --
--   HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, --
--   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT       --
--   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,  --
--   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY  --
--   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT    --
--   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE  --
--   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.   --
--                                                                          --
------------------------------------------------------------------------------

package BLEADV is
   procedure Initialize_Radio;
   procedure Send_Beacon_Packet;
end BLEADV;

------------------------------------------------------------------------------
--                                                                          --
--                       Copyright (C) 2016, AdaCore                        --
--                                                                          --
--  Redistribution and use in source and binary forms, with or without      --
--  modification, are permitted provided that the following conditions are  --
--  met:                                                                    --
--     1. Redistributions of source code must retain the above copyright    --
--        notice, this list of conditions and the following disclaimer.     --
--     2. Redistributions in binary form must reproduce the above copyright --
--        notice, this list of conditions and the following disclaimer in   --
--        the documentation and/or other materials provided with the        --
--        distribution.                                                     --
--     3. Neither the name of the copyright holder nor the names of its     --
--        contributors may be used to endorse or promote products derived   --
--        from this software without specific prior written permission.     --
--                                                                          --
--   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS    --
--   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT      --
--   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR  --
--   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT   --
--   HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, --
--   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT       --
--   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,  --
--   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY  --
--   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT    --
--   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE  --
--   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.   --
--                                                                          --
------------------------------------------------------------------------------

with MicroBit.Display;
with MicroBit.IOs;
with BLEADV;

procedure Main is
begin

   BLEADV.Initialize_Radio;

   --  Loop forever
   loop

      MicroBit.Display.Clear;

      --  Check for Analog pin 2 on Microbit
      if MicroBit.IOs.Set (2) then      -- Connection to ET circuit(p.d. after 2.7MOhms)

      --  Turns off the peripherals connected to following pins
         MicroBit.IOs.Set (8, False);   -- Connection to Green LED
         MicroBit.IOs.Set (16, False);  -- Connection to Vibration Motor
         MicroBit.Display.Display (".....");

      else
         --  Turns on the peripherals connected to following pins
         MicroBit.IOs.Set (8, True);   -- Connection to Green LED
         MicroBit.IOs.Set (16, True);  -- Connection to Vibration Motor
         MicroBit.Display.Display ("ALERT");
         BLEADV.Send_Beacon_Packet;

      end if;

   end loop;
end Main;

------------------------------------------------------------------------------
--                                                                          --
--                        Copyright (C) 2016, AdaCore                       --
--                                                                          --
--  Redistribution and use in source and binary forms, with or without      --
--  modification, are permitted provided that the following conditions are  --
--  met:                                                                    --
--     1. Redistributions of source code must retain the above copyright    --
--        notice, this list of conditions and the following disclaimer.     --
--     2. Redistributions in binary form must reproduce the above copyright --
--        notice, this list of conditions and the following disclaimer in   --
--        the documentation and/or other materials provided with the        --
--        distribution.                                                     --
--     3. Neither the name of the copyright holder nor the names of its     --
--        contributors may be used to endorse or promote products derived   --
--        from this software without specific prior written permission.     --
--                                                                          --
--   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS    --
--   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT      --
--   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR  --
--   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT   --
--   HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, --
--   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT       --
--   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,  --
--   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY  --
--   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT    --
--   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE  --
--   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.   --
--                                                                          --
------------------------------------------------------------------------------

with nRF51.Tasks;
with nRF51.Events;
with nRF51.Radio;     use nRF51.Radio;
with nRF51.Clock;     use nRF51.Clock;

with Bluetooth_Low_Energy.Packets; use Bluetooth_Low_Energy.Packets;
with Bluetooth_Low_Energy;         use Bluetooth_Low_Energy;
with Bluetooth_Low_Energy.Beacon;  use Bluetooth_Low_Energy.Beacon;

with HAL; use HAL;

package body BLEADV is

   Current_Adv_Channel : BLE_Advertising_Channel_Number := 37;
   Beacon_Packet       : BLE_Packet;

   ----------------------
   -- Initialize_Radio --
   ----------------------

   procedure Initialize_Radio is
      Beacon_UUID : constant BLE_UUID :=
        Make_UUID ((1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16));
   begin

      Beacon_Packet := Make_Beacon_Packet
        (MAC   => (16#AD#, 16#AC#, 16#04#, 16#E0#, 16#00#, 16#00#),
         UUID  => Beacon_UUID,
         Major => 5,
         Minor => 25,
         Power => 60);

      --  Setup high frequency clock for BLE transmission
      Set_High_Freq_Source (HFCLK_RC);
      Start_High_Freq;
      while not High_Freq_Running loop
         null;
      end loop;

      --  Setup radio module for BLE
      Setup_For_Bluetooth_Low_Energy;

      --  Set BLE advertising address
      Set_Logic_Addresses (Base0 => 16#89_BE_D6_00#,
                           Base1 => 16#00_00_00_00#,
                           Base_Length_In_Byte => 3,
                           AP0   => 16#8E#,
                           AP1   => 16#00#,
                           AP2   => 16#00#,
                           AP3   => 16#00#,
                           AP4   => 16#00#,
                           AP5   => 16#00#,
                           AP6   => 16#00#,
                           AP7   => 16#00#);

      --  Select logic address
      Set_TX_Address (0);

      --  Transmission power
      Set_Power (Zero_Dbm);

      --  Enable shortcuts for easier radio operation
      Enable_Shortcut (Ready_To_Start);
      Enable_Shortcut (End_To_Disable);
   end Initialize_Radio;

   ------------------------
   -- Send_Beacon_Packet --
   ------------------------

   procedure Send_Beacon_Packet is
   begin
      Configure_Whitening (True, UInt6 (Current_Adv_Channel));

      Set_Frequency
        (Radio_Frequency_MHz (Channel_Frequency (Current_Adv_Channel)));

      if Current_Adv_Channel /= BLE_Advertising_Channel_Number'Last then
         Current_Adv_Channel := Current_Adv_Channel + 1;
      else
         Current_Adv_Channel := BLE_Advertising_Channel_Number'First;
      end if;

      --  Set TX packet address
      Set_Packet (Memory_Address (Beacon_Packet));

      --  Clear all events
      nRF51.Events.Clear (nRF51.Events.Radio_DISABLED);
      nRF51.Events.Clear (nRF51.Events.Radio_ADDRESS);
      nRF51.Events.Clear (nRF51.Events.Radio_PAYLOAD);
      nRF51.Events.Clear (nRF51.Events.Radio_END);

      --  Start transmission
      nRF51.Tasks.Trigger (nRF51.Tasks.Radio_TXEN);

      --  Wait for end of transmission
      while not nRF51.Events.Triggered (nRF51.Events.Radio_DISABLED) loop
         null;
      end loop;
   end Send_Beacon_Packet;

end BLEADV;