Light-weight API-call safety checking for automotive control software using constraint patterns

Dongwoo Kim, Yunja Choi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

We present a background constraint checker that helps to detect constraint violations regarding API call sequences in automotive software development. Our tool traces API call sequences in a program and warns programmers if they violate pre-defined constraint patterns identified from international standard for automotive operating systems. The background constraint checker implements constraint patterns as C library functions and uses the model checker CBMC as its underlying checking engine. The tool is developed in Java and is validated through a series of experiments.

Original languageEnglish
Title of host publication2016 6th International Conference on IT Convergence and Security, ICITCS 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509037643
DOIs
StatePublished - 9 Nov 2016
Event6th International Conference on IT Convergence and Security, ICITCS 2016 - Prague, Czech Republic
Duration: 26 Sep 201629 Sep 2016

Publication series

Name2016 6th International Conference on IT Convergence and Security, ICITCS 2016

Conference

Conference6th International Conference on IT Convergence and Security, ICITCS 2016
Country/TerritoryCzech Republic
CityPrague
Period26/09/1629/09/16

Fingerprint

Dive into the research topics of 'Light-weight API-call safety checking for automotive control software using constraint patterns'. Together they form a unique fingerprint.

Cite this