___         _                   ___       _         
| _ \       /_\  _ _ _  _ _ _   | _ ) __ _| |__ _  _ 
|  _/  _   / _ \| '_| || | ' \  | _ \/ _` | '_ \ || |
|_|   (_) /_/ \_\_|  \_,_|_||_| |___/\__,_|_.__/\_,_|
                                                      

Member of technical staff, Robert Bosch Centre for Cyber-Physical Systems

Indian Institute of Science (IISc), Bangalore

Email: Arun D0T HBNI at gmail D0T com / Linkedin



Previously, I was a Marie-Curie fellow at ResilTech s.r.l and was a DGFS Ph.D Fellow at HBNI, IGCAR. I have also worked in industry at Cavium Networks and Progress Software.

At ResilTech, I was involved in two of the European Union projects : CECRIS and AMADEOS. And my work involved System-of-Systems (SoS) modelling tool, Model transformations, Python and JavaScript code-generation, and simulation using the Blockly tool.

Courses I teach

  1. Introduction to cybersecurity (short course), IISc Bangalore (Robert Bosch center for cyber-physical systems) - May 2017

Software

  1. Blockly4SoS [@ ResilTech]
  2. mutate.py [GitHub, View , Download]
  3. captcha.py [GitHub, View , Download, Sample captcha - 1 Sample captcha - 2]

Some of my publications

  1. Certifications of Critical Systems - The CECRIS Experience (2 book chapters)
  2. Cyber-Physical Systems of Systems (3 book chapters)

  3. An intuitive approach to determine test adequacy in safety-critical software

  4. A hybrid approach to quantify software reliability in nuclear safety systems

  5. Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors

  6. Software reliability in safety critical supervision and control of nuclear reactors