Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs

Joloboff, Vania; Gerstlauer, Andreas

doi:10.1007/978-981-10-4436-6_1

Cited by 2 publications

(1 citation statement)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although our work is based on SimSoC, it is independent and can be retargeted to other systems. A more extensive discussion on virtual prototyping issues is available in [34].…”

Section: The Simsoc Frameworkmentioning

confidence: 99%

TRAP: trace runtime analysis of properties

Yue

Joloboff

Mallet

2019

Front. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

We present a method and a tool for the verification of causal and temporal properties for embedded systems. We analyze trace streams resulting from the execution of virtual prototypes that combine simulated hardware and embedded software. The main originality lies in the use of logical clocks to abstract away irrelevant information from the trace. We propose a model-based approach that relies on Domain Specific Languages (DSL). A first DSL, called TISL (Trace Item Specification Language), captures the relevant data structures. A second DSL, called STML (Simulation Trace Mapping Language), abstracts the simulation raw data into logical clocks, abstracting simulation data into relevant observation probes and thus reducing the trace streams size. The third DSL, called TPSL, defines a set of behavioral patterns that include widely used temporal properties. This is meant for users who are not familiar with temporal logics. Each pattern is transformed into an automata. All the automata are executed concurrently and each one raises an error if and when the related TPSL property is violated. The contribution is the integration of this pattern-based property specification language into the SimSoC virtual prototyping framework without requiring to recompile all the simulation models when the properties evolve. We illustrate our approach with experiments that show the possibility to use multi-core platforms to parallelize the simulation and verification processes, thus reducing the verification time.

show abstract

“…Although our work is based on SimSoC, it is independent and can be retargeted to other systems. A more extensive discussion on virtual prototyping issues is available in [34].…”

Section: The Simsoc Frameworkmentioning

confidence: 99%