Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Software

Software Engineering

University of Pennsylvania

Articles 1 - 1 of 1

Full-Text Articles in Computer Engineering

Platform-Specific Timing Verification Framework In Model-Based Implementation, Baekgyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee Mar 2015

Platform-Specific Timing Verification Framework In Model-Based Implementation, Baekgyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee

Departmental Papers (CIS)

In the model-based implementation methodology, the timed behavior of the software is typically modeled independently of the platform-specific timing semantics such as the delay due to scheduling or I/O handling. Although this approach helps to reduce the complexity of the model, it leads to timing gaps between the model and its implementation. This paper proposes a platform-specific timing verification framework that can be used to formally verify the timed behavior of an implementation that has been developed from a platform-independent model. We first describe a way to categorize the interactions among the software, a platform, and the environment in ...