Electronic System Level (ESL) design of embedded systems proposes raising the
abstraction level of the design entry to cope with the increasing complexity of such systems …

The growing complexity of embedded and cyber-physical systems makes the design of all
system components from scratch increasingly impractical. Consequently, already from early …

Abstract models are important tools to manage the increasing complexity of system design.
The choice of a modeling language for constructing models governs what types of systems …

Functional programming languages are recognised for their high abstraction level, high
expressiveness, formal semantics, and correspondence to formal logic. However, the …

With the ever increasing complexity in safety-critical and performance-demanding
application domains such as automotive and avionics, the costs of designing, producing and …

We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined
design of complex cyber-physical systems. This framework provides a set of rules for …

In order to handle the increasing complexity of embedded systems, design methodologies
must take into account important aspects, such as abstraction, IP-reuse and heterogeneity …

The design of today's electronic embedded systems is an increasingly complicated task.
This is especially problematic for Small and Medium Enterprises (SMEs) which have limited …

With new functional applications emerging in the digital printing industry, the need for
quantitative knowledge of the reliability of drop-on-demand inkjet printheads increases …

The design of embedded systems is inherently complex for two main reasons. Firstly, it
entails the combined knowledge and results from a vast set of mature, well-established, yet …