Building an embedded system from an idea to a product is a slow and expensive process requiring a lot of expertise. Depending on the developer’s expertise, the required quantity and price level of the final product, and the time and money available for development, the developer can build a device from different granularity of components, ranging from ready-made platforms, kits, and modules to ...

..................................................................................................................................................

The verification of real-life C/C++ code is inherently hard. Not only are there numerous challenging language constructs, but the precise semantics is often elusive or at best vague. This is even more true for systems software where non-ANSI compliant constructs are used, hardware is addressed directly and assembly code is embedded. In this work we present a lightweight solution to detect softw...

Polychrony is an integrated development environment and technology demonstrator consisting of a compiler, of a visual editor and of a model checker. It provides a unified model-driven environment to perform embedded system design exploration by using top-down and bottom-up design methodologies formally supported by design model transformations from specification to implementation and from synch...

In this introductory paper to the field, it is our goal to provide a new unified look at synthesis problems that is independent from the level of abstraction like system, RTL, and logic (for refinements targeted to hardware), or processand basic block level (for refinements targeted to software). For each level of our model called ”double roof”, synthesis requires the solution of three basic pr...

One can argue that hardware design is fast disappearing into the ether of software, especially for embedded systems. Complex algorithms can be synthesized directly into hardware by designers who are ignorant of many of the tradeoffs being made right under their nose. Application-specific engines are synthesized in custom programmable logic and interfaced to embedded soft and hard IP cores in da...

Consumers have high expectations about the video and audio quality delivered by media processing devices like TVsets, DVD-players and digital radios. Predictable heterogenous application domain specific multiprocessor systems, which are designed around networks-on-chip, can meet demanding performance, flexibility and power-efficiency requirements as well as stringent timing requirements. The ti...

Recently, a fully-integrated embedded system becomes popular for portable devices due to the cost reduction and the low-power operation. To reduce the size of the imbedded program, some hardware techniques such as nop-beforeexecution and programmable-delay-slot are introduced in CoreA embedded processor [1]. However, the previous designs using Core-A processor are not user-friendly due to the a...

As the underlying technologies evolve, embedded systems are finding their way into an increasing range of ABB products and applications. Advances in this technology lead to higher performance and more functionality on the one hand, and reduced cost and size on the other. While this benefits the end user, the ever increasing complexity of embedded systems imposes new challenges for developers. T...