This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Wednesday, July 13 • 11:50 - 12:30
Code Minimization Technology for SIL2LinuxMP - Qualifying Linux for Functional Safety - Taku Shimosawa & Krishnaji Desai, Hitachi

Sign up or log in to save this to your schedule and see who's attending!

Conformance to the functional safety standards is often required for safety critical industrial applications, which is typically accomplished by following a V&V process. Since OSS hardly conforms to the standards, system integrators are held responsible for making up missing safety evidences. One possible strategy is to limit the target scope as minimal as possible so that confident coverage will become achievable. Hitachi has developed a new technique called Minimization, which helps us improve results of existing V&V workflow.
The Minimization technique is able to strip out unused piece of code that is to be ignored at compile time. It narrows down "search space", saves verification cost, achieves better test coverage, and reduces false-positives. With these advantages, this talk presents that we obtained better verification evidences that assure quality and safety of our application.


Krishnaji Desai

Senior Researcher, Hitachi India Pvt Ltd
Krishnaji Desai has Master of Science (Research) in Computer Engineering from The University of Utah, USA. He has 10 years of experience with design and verification of systems ranging from embedded to enterprise in domains such as semiconductors, automotive, railways, cloud, big data and enterprise systems. His main area of interest in the recent years has been on the model and data driven development with emphasis on software verification. At... Read More →

Taku Shimosawa

Researcher, Hitachi, Ltd.
Taku Shimosawa, Ph.D in Information Science and Technology, is a researcher at R&D Group, Hitachi Ltd. His interests include systems software and software functional safety, especially the reliability and safety of Linux in embedded systems and civil infrastructure systems. He is now working for the SIL2LinuxMP project, which was started by OSADL, and in which Hitachi has been participating since 2014.

Wednesday July 13, 2016 11:50 - 12:30

Attendees (14)