Modeling Asynchronous Message Passing for C Programs

Autor:	Everett Allen Morse, Jay McCarthy, Nick Vrvilo, Eric Mercer
Rok vydání:	2012
Předmět:	Model checking Multi-core processor Interface (Java) Computer science Programming language Concurrency media_common.quotation_subject MCAPI Message passing computer.software_genre Debugging Asynchronous communication computer media_common
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642279393 VMCAI
DOI:	10.1007/978-3-642-27940-9_22
Popis:	This paper presents a formal modeling paradigm that is callable from C, the dominant language for embedded systems programming, for message passing APIs that provides reasonable assurance that the model correctly captures intended behavior. The model is a suitable reference solution for the API, and it supports putative what-if queries over API scenarios for behavior exploration, reproducibility for test and debug, full exhaustive search, and other advanced model checking analysis methods for C programs that use the API. This paper illustrates the modeling paradigm on the MCAPI interface, a growing industry standard message passing library, showing how the model exposes errors hidden by the C reference solution provided by the Multicore Association.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::950d786155c8d66070f55ea036789342 https://doi.org/10.1007/978-3-642-27940-9_22 Zobrazit plný text záznamu