Use of Contracts for Runtime Verification of Real-time Software
A real-time system is one for which respecting the deadlines is a part of the system specification. These systems are widely used in developing safety critical applications such as control systems for nuclear power plants, safety systems of automobiles, robotics and avionics. Verifying software for such systems ensures that their behaviours satisfy the specifications and this is absolutely necessary because failure of such systems can have severe outcomes: imagine the failure of an airbag system in a car during an accident!
This talk is about a concept called "Design by Contracts" and its use in specifying and verifying real-time software. While programming languages such as Eiffel and JML support this concept, its use for specifying complex real-time properties of safety-critical systems has not been explored to the fullest. Based on industrial experiments, it will be shown that contracts can be easily integrated to existing software and at the same time, do not add much overhead in terms of an application's execution time.
Date and Time
Location
Hosts
Registration
-
Add Event to Calendar
- IIIT-Allahabad
- Jhalwa Campus
- Allahabad, Uttar Pradesh
- India 211012
- Building: Administrative Building, Auditorium
- Contact Event Host
- Co-sponsored by IIIT-ALLAHABAD
- Starts 07 August 2015 07:30 AM UTC
- Ends 14 August 2015 07:30 AM UTC
- No Admission Charge
Speakers
Ms Chandrakana
Use of Contracts for Runtime Verification of Real-time Software
A real-time system is one for which respecting the deadlines is a part of the system specification. These systems are widely used in developing safety critical applications such as control systems for nuclear power plants, safety systems of automobiles, robotics and avionics. Verifying software for such systems ensures that their behaviours satisfy the specifications and this is absolutely necessary because failure of such systems can have severe outcomes: imagine the failure of an airbag system in a car during an accident!
This talk is about a concept called "Design by Contracts" and its use in specifying and verifying real-time software. While programming languages such as Eiffel and JML support this concept, its use for specifying complex real-time properties of safety-critical systems has not been explored to the fullest. Based on industrial experiments, it will be shown that contracts can be easily integrated to existing software and at the same time, do not add much overhead in terms of an application's execution time.
Biography:
Ms Chandrakana Nandi obtained her bachelor degree in Statistics with minors in mathematics and computer science from Banaras Hindu University,India graduating the first in her class and receiving three gold medals. She obtained her masters in Computer Science from EPFL Switzerland as Swiss Govt. scholar and has been working for the past year as a research assistant at the Chair of Software Engineering at ETH Zurich.
Address:IIIT Allahabad, , Allahabad, Uttar Pradesh, India, 211012