Application of Formal Methods for safety and Security of Critical Systems | |||||||
| |||||||
2nd Symposium on Application of Formal Methods for Safety & Security of Critical SystemsObtaining high assurance on safety and security of computing systems is critical in today's world that is increasingly becoming dependent on such systems for critical functions. The aim of this workshop is to bring together scientists and engineers working in the theory and application of formal methods for safety-critical systems. The workshop also provides a forum to generate awareness regarding practical application of formal methods MESSAGE BY DR. TESSY THOMAS ObjectivesPapers will be published in Springer LNCS series. Original and High-Quality contributions are solicited from Industry, R&D and Academia on a broad range of topics listed including: Topics
For paper submissions / participation: ABOUT CSIR-NAL & FMSoftware Engineering Group, Aerospace Electronics & Systems Division, at CSIR National Aerospace Labo- ratories has rich pioneering Research and Development experience in Formal Methods. We are proud of the fact that CSIR National Aerospace Laboratories was the first to start using the Formal Methods for SARAS project. There are dedicated Scientists and Research personnel working on live projects using For- mal Methods. CSIR National Aerospace Laboratories have a tie-up with Honeywell Technology Solutions (HTS) and Robert Bosch India Pvt Ltd (RBEI). REGISTRATION FEESSymposium & Hands-On Registration
Symposium Registration
Payment Details AdvisorsDr. Yogananda Jeppu, HTS Dr. Meenakshi D’souza, IIIT-B Dr. Bharat Jayraman, Buffalo University Dr. Kalyani Krishnamani, nvidia, USA Mr. Omprakash Kumar, RBEI Mr. Jitendra J Jadhav, Director, CSIR - NAL Dr. Girish S Deodhare, OS, PGD(CA), Director ADA Ms. Anu Khosla, Director, DRDO-SAG Ms. J Jayanthi, Chief Scientist, CSIR-NAL Dr. M. Sethumadhavan, Professor, Amrita Dr. Devesh Bhat, Honeywell Dr. Anita Murugesan, Honeywell Dr. Pavithra, Kansas State University Mr. Gautam Mahapatra, Sc. G, DRDO-RCI & VP, CSI Ms. Sheena Rani, Sc. G, DRDO-ASL Dr. Kala, Project Director, DRDO-ADE Mr. G Venkata Reddy, Sc. G, DRDO-RCI Prof. Kristin Yvonne Rozier, Iowa State Dr. Jayaraj Poroor, Professor, Amrita Vishwa Vidyapeetham Organising Committee:PROGRAM CHAIRSManju Nanda, Sr. Principal Scientist, ALD, CSIR - NAL. Dr. Bhadrachalam Chitturi, Associate Professor, Amrita Vishwa Vidyapeetham EVENT CHAIRS Bhanumathi K. S., Convener, SIG-FM, CSI-India. Sateesh S Kannegala, Chairman, CSI-BC. Dr. Jyothisha Nair, Associate Professor, Amrita Vishwa Vidyapeetham Dr. Swaminathan J, Assistant Professor, Amrita Vishwa Vidyapeetham Ani R., Assistant Professor, Amrita Vishwa Vidyapeetham ORGANISING CHAIR Dr. Jayaraj Poroor, Professor, Amrita Vishwa Vidyapeetham M. Sethumadhavan, Professor, Amrita Vishwa Vidyapeetham FINANCE CHAIR Binu P. K., Assistant Professor, Amrita Vishwa Vidyapeetham Please find the Document below Speakers:Refinement-based verification of FreeRTOS in VCC - Prof Sumesh Divakaran Application of Formal Methods - Mr. Jean Louis Boulanger, Independent Safety Assessor France Formal Verification in the modern era - Kalyan Krishnamani Model Extraction and Runtime Verification of a Java-based UAV - Bharat Jayaraman Propositional and predicate logic, Higher order Logic, Proofs - Prof. M. Sethumadhavan Cyber security- RAIL Transport Signaling Solution - Rakesh Setia, ALSTOM Workshop Hands on Simulink Design Verifier - Chethan CU Workshop Hands on Simulink Design Verifier and NUSMV - Yogananda Jeppu Ensuring safety and security in high integrity embedded systems using Static Analysis Methods - Vaishnavi H.R. Workshop Hands on Formal Methods using UPPAL - Jevitha K. P. Workshop Hands on Formal Methods using Frama-C - Amrita P. P. Workshop Hands on Formal Methods using Frama-C - Dr. Vasudevan A. R Springer has confirmed to give the award coupons as follows for 2nd AFMSS paper presenter. Best Paper Award: 1st Prize (200 Euro) Best Paper Award: 2nd Prize (150 Euro) Best Presenter Awards: 1st prize (200 Euro) Best Presenter Awards: 2nd Prize (150 Euro) Press release: | |||||||
Location Amrita School of Engineering,Amrita Vishwa Vidyapeetham,Amritapuri | |||||||