Location: Seminar Hall, RBCCPS
Title of the Lecture : Semi-formal modelling and simulation of system-of-systems
Description: Formal modelling is hard and is often difficult to scale for large and complex systems. As part of the AMADEOS project, a tool was designed to facilitate rapid modelling and simulation of system-of-systems (SoS) using a customization of Google Blockly tool. Blockly has been adopted to ease the design of SoS by means of simpler and intuitive user interface; thus requiring minimal technology expertise and support for the SoS designer. This talk will showcase some of the ideas and results of the tool developed for the AMADEOS project.
About the speaker
Dr P. Arun Babu worked as a postdoctoral researcher at ResilTech, Pisa for the European Union projects CECRIS (Certification of critical systems) and AMADEOS (Architecture for multi-criticality agile dependable evolutionary open system-of-systems). He received his PhD from Homi Bhabha National Institute at Indira Gandhi Centre for Atomic Research in 2013 and his M.Tech. degree from the University of Hyderabad in 2008. He has also worked in industry at Cavium Networks and Progress Software.