UML has been widely accepted by the software community for several years. As electronic
systems design can no longer be seen as an isolated hardware design activity, UML …

Critical embedded systems-eg, automotive systems-are now commonly distributed, thus
exposing their communication links to attackers. The design of those systems shall therefore …

This paper presents an efficient VLSI architecture for the deblocking filter in H. 264/JVT/AVC.
We use an array of 8/spl times/4 8-bit shift registers with reconfigurable data path to support …

This paper presents an approach for cycle-accurate simulation of embedded software by
integration in an abstract SystemC model. Compared to existing simulation-based …

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-
checking of high-level models, eg SysML models, usually first requires a model …

In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we
propose a dedicated algebraic-like language, namely activity calculus, and an operational …

The paper introduces a fast approach to prototype embedded systems. Software
components are first modeled and formally verified using a SysML environment named …

Modern real-time streaming applications are increasingly implemented on multiprocessor
systems-on-chip (MPSoC). The implementation, as well as the verification of real-time …

AUTOSAR is a recent specification initiative which focuses on a model-driven architecture
like methodology for automotive applications. However, needed engineering steps, or how …

Abstract Large System-on-Chips (SOC) are now built by assembly of existing components,
modeled at different representation levels (TLM, RTL...). The IP-XACT standard was recently …