Events Calendar

Previous month Previous day Next day Next month
See by year See by month See by week See Today Search Jump to month

Application of Formal Methods for safety and Security of Critical Systems

Monday 26 February 2018    

2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems

Obtaining 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


Papers 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:

  • Case Studies & Industrial Reports
  • Methods, Tools & Techniques for Automated Analysis
  • Certification aspects for Safety Critical Applications
  • Formal Specification and Design of sotware and hardware
  • Software Design using Formal Methods
  • Synthesizing code and generating tests from formal specifications
  • Formal Verification and debugging of distributed real time embedded systems

For paper submissions / participation:
Senior Principal Scientist,
CSIR– National Aerospace Laboratories,
Aerospace Electronics & Systems Division (ALD)
BANGALORE - 560017. INDIA. Ph. No. +91-80-25086523
Email : This email address is being protected from spambots. You need JavaScript enabled to view it.


Software 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).


Symposium & Hands-On Registration

  • Industry / Corporate Indian Delegates - Rs 15,000/- (INR), Overseas Delegates - $ 250/- (USD)
  • R&D Labs/Academia Labs Indian Delegates - Rs 8,000/- (INR), Overseas Delegates - $ 150/- (USD)
  • Students - Rs 2,500/- (INR), Overseas Delegates - $ 50/- (USD)

Symposium Registration

  • Industry / Corporate Indian Delegates - Rs 9,500/- (INR), Overseas Delegates - $ 150/- (USD)
  • R&D Labs/Academia Labs Indian Delegates - Rs 5,000/- (INR), Overseas Delegates - $ 50/- (USD)
  • Students - Rs 2,000/- (INR), Overseas Delegates - $ 35/- (USD)

Payment Details
Cheque / Demand Draft in favour of
“CSI-Bangalore Chapter
Inca”se of Online Transaction:
Bank : State Bank Of India
Branch : Andheri (East), Mumbai
MIDC Ind. Area
IFSC : SBIN0007074
Account # 33762189110
A/c Name : CSI-Bangalore Chapter
Branch Code : 07074
Digital MICR No : 400002057


Dr. 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

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

Organising Committee:

Program Chair : Manju Nanda, Sr. Principal Scientist, ALD, CSIR - NAL.

Events Chairs : Bhanumathi K S, Convener, SIG-FM, CSI-India. & Sateesh S Kannegala, Chairman, CSI-BC.

Organising Chair : J Jayanthi, Chief Scientist, ALD, CSIR - NAL.

Finance Chair : Shamsundar Dhage, Sr. Technical Officer, ALD, CSIR - NAL.


Please find the Document below

AFMSS 2017 




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

View All Speaker Details

Location Amrita School of Engineering,Amrita Vishwa Vidyapeetham,Amritapuri