This paper presents a methodology, with supporting tool, for formal modeling and analysis of
software components in cyber-physical systems. Using our approach, developers can …

This paper presents a proof-of-concept application of an approach to system development
based on the integration of formal verification and co-simulation. A simple autonomous …

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 …

Semi-autonomous systems are capable of sensing their environment and perform their tasks
autonomously, but they may also be supervised by humans. The shared manual/automatic …

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

Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems
that integrate a high-level control algorithm with pre-existing closed implementations of …

Recently myokinetic interfaces have been proposed to exploit magnet tracking for controlling
bionic prostheses. This interface derives information about muscle contractions from …

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 …

Simulation of complex embedded and cyber-physical systems requires exploitation of the
computation power of available parallel architectures. Current simulation environments …

There is a need for integration of external models in high-level system design flows. We
introduce a set of partial refinement operations to implement models of heterogeneous …