Name
Title | ||
|---|---|---|
A methodology for early functional verification of embedded software combining virtual platforms and bounded model checking |
Abstract | ||
|---|---|---|
The amount of embedded software present in our daily routines has been increasing with more electronic devices being introduced in many different areas. As a consequence, concerns with safety and reliability has led to the development of a series of mechanisms for verification and design of such systems. Although Bounded model checking (BMC), for example, has received much attention lately, practical use might be restricted, considering systems complexity. In this paper, we show a methodology for combining BMC with Electronic System Level Design and Virtual Platforms. Our approach has the potential to improve system level verification, through simulation, and to accelerate the development process with Virtual Platforms. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1109/LATW.2016.7483354 | 2016 17th Latin-American Test Symposium (LATS) |
Keywords | Field | DocType |
Bounded-model checking,temporal properties,virtual platforms | Computer architecture,Functional verification,Model checking,Embedded software,Computer science,Electronics,High-level verification,Software verification,System level,Embedded system,Bounded function | Conference |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rogerio Paludo | 1 | 0 | 0.34 |
| Djones Lettnin | 2 | 39 | 7.68 |