Cloud environments can provide virtualized, elastic, controllable and high quality on-
demand services for supporting complex distributed applications. However, the engineering …

The Clock Constraint Specification Language (CCSL) has become popular for modeling and
analyzing timing behaviors of real-time embedded systems. However, it is difficult for …

In this paper we propose a design methodology to explore partial and dynamic
reconfiguration of modern FPGAs. We improve an UML based co-design methodology to …

The paper presents the EU funded MADES FP7 project, that aims to develop an effective
model driven methodology to evolve current practices for the development of real time …

Embedded systems have become an essential aspect of our professional and personal
lives. From avionics, transport and telecommunication systems to general commercial …

As SoC design complexity is escalating to new heights, there is a critical need to find
adequate approaches and tools for handling SoC co-design aspects. Additionally, modern …

The features of the emerging modeling languages for system design allow designers to
build models of almost any kind of heterogeneous hardware-software systems, including …

The complexity of electric/electronic systems in today's vehicles is steadily growing. New
challenges arise through highly distributed systems which interact with and have an impact …

This paper presents a new methodology to develop SoC/SoPC applications. This
methodology is based on UML and MDD and capitalizes the achievements of''Electronic …

In this paper we propose a design methodology to explore dynamic and partial
reconfiguration (DPR) of modern FPGAs. We define a set of rules in order to model DPR by …