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

MESSAGE BY DR. TESSY THOMAS
Download

Objectives

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:

Topics
  • 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:
Dr. MANJU NANDA,
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.

ABOUT CSIR-NAL & FM

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

REGISTRATION FEES

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
SWIFT Code : SBININBB363
Digital MICR No : 400002057

Advisors

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

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 CHAIRS
Manju 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

AFMSS 2017 

Agenda:

Download

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

View All Speaker Details

 

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:

Download

 
Location Amrita School of Engineering,Amrita Vishwa Vidyapeetham,Amritapuri

Back