Workshop on High Assurance Embedded Control Software by IIT, Kharagpur

Indian Institute of Technology, Kharagpur in collaboration with Intel will organize a workshop on High Assurance Embedded Control Software.

The workshop has been scheduled to be held from March 10-12, 2014. The workshop will focus on elaborating the task of developing high assurance software for embedded applications, thereby projecting the challenges that need to be addressed for developing safe embedded systems.

Sessions will include:

• Reliable Embedded Control System design: an overview

• High Assurance Specification Development

• Controller Implementation Issues for Vehicular Applications

• High Assurance Testing of Embedded Software

• Functionality Validation of Embedded Software

• Timing Validation of Embedded Software

• Robo Soccer

• Lab session on "Intel Atom SoC based Embedded System design"

• Lab session on "Intel Atom Boards"

You can see the workshop schedule which is available on

http://conf05.iitkgp.ac.in/atdc/workshop14/images/wkshp.pdf

For any queries contact Jay Thakur at +91-8389985608
intelworkshop.iitkgp@gmail.com

Source: Akshay Thakur, click4college Specialist

Related articles:

Mining Engineering Department, IIT Kharagpur introduces short term course

IEEE TechSym 2014: Students’ Technology Symposium at IIT, Kharagpur