Code Manipulation for Virtual Platform Integration

Vinco, Sara; Guarnieri, Valerio; Fummi, Franco

doi:10.1109/tc.2015.2500573

Cited by 22 publications

(4 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Things change whenever the functional implementation is already available in any HDL. Adapting a HDL functional description to TDF would indeed require a massive modification of the starting model and in the scheduling strategy, as it would be necessary to build a static scheduling version of the component functionality [42]. To avoid this effort, the functional model is implemented as a standard SystemC module, obtained through automatic code generation and implemented at the desired abstraction level (i.e., RTL or TLM) [5], [12], [15].…”

Section: ) Interface Constructionmentioning

confidence: 99%

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems

Vinco

Fummi

Macii

et al. 2017

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Self Cite

View full text Add to dashboard Cite

Smart Systems represent a broad class of intelligent, miniaturized devices incorporating functionality like sensing, actuation, and control. In order to support these functions, they must include sophisticated and heterogeneous components, such as sensors and actuators, multiple power sources and storage devices, digital signal processing, and wireless connectivity. The high degree of heterogeneity typical of smart systems has a heavy impact on their design: the challenges are not in fact restricted to their functionality, but are also related to a number of extra-functional properties, including power consumption, temperature and aging. Current simulation-or model-based design approaches do not target a smart system as a whole, but rather single domains (digital, analog, power devices, etc.) or properties. This paper tries to overcome this limitation by proposing a framework for the concurrent simulation of both functionality and such extra-functional properties. The latter are modeled as different information flows, managed by dedicated "virtual buses" and formalized through the adoption of IP-XACT. SystemC, through the support of physical and continuous time modeling provided by its Analog and Mixed Signal (AMS) extension, is used to implement both functional and extrafunctional models. Experimental results show the efficiency, accuracy and modularity of the proposed approach on an example case study, in which substantial speedups with respect to standard model-based design tools go along with a very high degree of accuracy (< 10 −5 %). Furthermore, the case study highlights that the proposed framework allows to easily capture at run time the mutual impact of properties, e.g., in case of power and temperature.

show abstract

Section: ) Interface Constructionmentioning

confidence: 99%

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems

Vinco

Fummi

Macii

et al. 2017

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

“…HIFSuite already provided abstraction and optimization functionalities for digital HW models [19], [22]. However some additions have been implemented to support heterogeneous smart devices.…”

Section: Homogeneous Model Manipulationmentioning

confidence: 99%

“…Once components are integrated into the homogeneous model, the processes involved in the system are synchronized. The synchronization is delegated to a scheduling generation procedure [22], extended to support events generated by continuoustime components.…”

Section: Homogeneous Model Manipulationmentioning

confidence: 99%

A unifying flow to ease smart systems integration

Lora

Vinco

Fummi

2016

2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)

Self Cite

View full text Add to dashboard Cite

This paper proposes a meet-in-the-middle approach for the modeling and simulation of heterogeneous systems. The starting point is a set of heterogeneous models, developed by adopting the designer's favorite design language and formalism. The methodology exploits automatic translation, abstraction and integration flows to generate a single homogeneous system-level description, that allows fast system simulation. The approach is supported by two novel design domain/abstraction level taxonomies, that generalize a state-of the art taxonomy [1] to identify what characteristics would allow efficient system-level simulation, together with the transformations that must be applied to the starting model to achieve them. The advantage of the approach on system design and prototyping is particularly evident on any kind of highly heterogeneous systems, such as smart systems. The overall automatic flow has been implemented and applied to an open-source case study to measure the performance of each identified abstraction level, and the impact of the proposed methodology.

show abstract

“…Despite code virtualization techniques have been successfully applied to native program binary [10] and program languages like C [11], C++ [12] and Java [13], it remains unclear how this promising technology can be used for JavaScript, a popular programming language for web-based applications. The challenge mostly comes from two aspects.…”

Section: Introductionmentioning

confidence: 99%

Leveraging WebAssembly for Numerical JavaScript Code Virtualization

et al. 2019

View full text Add to dashboard Cite

Code obfuscation built upon code virtualization technology is one of the viable means for protecting sensitive algorithms and data against code reverse engineering attacks. Code virtualization has been successfully applied to programming languages like C, C++, and Java. However, it remains an outstanding challenge to apply this promising technique to JavaScript, a popular web programming language. This is primarily due to the open visibility of JavaScript code and the expensive runtime overhead associated with code virtualization. This paper presents JSPro, a novel code virtualization system for JavaScript. JSPro is the first JavaScript code obfuscation tool that builds upon the emerging WebAssembly language standard. It is designed to provide more secure code protection but without incurring a significant runtime penalty, explicitly targeting numerical JavaScript kernels. We achieve this by first automatically translating the target JavaScript code into WebAssembly and then performing code obfuscation on the compiled WebAssembly binary. Our design has two advantages over existing solutions: (1) it increases the code reverse entering complexity by implementing code obfuscation at a lower binary level and (2) it significantly reduces the performance impact of code virtualization over the native JavaScript code by using the performance-tuned WebAssembly language. We evaluate JSPro on a set of numerical JavaScript algorithms widely used in many applications. To test the performance, we apply JSPro to four mainstream web browsers running on three distinct mobile devices. Compared to state-of-the-art JavaScript obfuscation tools, JSPro not only provides stronger protection but also reduces the runtime overhead by at least 15% (up to 38.2%) and the code size by 28.2% on average.

show abstract

Code Manipulation for Virtual Platform Integration

Cited by 22 publications

References 15 publications

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems

A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems

A unifying flow to ease smart systems integration

Leveraging WebAssembly for Numerical JavaScript Code Virtualization

Contact Info

Product

Resources

About