Abstract In the Model-Based Engineering (MBE) paradigm, models are the core elements in
the design process of a system from its requirements to the actual implementation of the …

Design of distributed embedded systems is a challenging task and it requires raising the
level of abstraction to overcome the complexity of the design. In particular, modeling …

Designers are more and more forced to define innovative models and methodologies for
managing integration of heterogeneous components and heterogeneous Chip …

In the last years hybrid automata have been applied in the design and verification of
embedded systems. Once a hybrid model of the system has been proved to be correct with …

Despite the population aging trend asks for an urgent reorganization of the assistance
models, the adoption of ICT solutions for independent living has a limited diffusion. This can …

The purpose of the Compositional Interchange Format for hybrid systems (CIF) is to
establish inter-operability of a wide range of tools by means of model transformations to and …

Several embedded system applications are used to control physical processes thus leading
to the concept of Cyber-Physical System. Sensing, computation and actuation are combined …

The pace of innovation in Cyber-Physical Systems (CPSs) drives the need for multi-
disciplinary methods and tools to support rapid and accurate assessment of design …

目前针对物联网的研究主要是对系统进行整体分析, 设计与验证过程较复杂. 为此,
利用混成系统对物联网系统进行建模, 将一个复杂的物联网系统拆分成若干个小的成员系统 …

Sequential Function Chart (SFC) is a powerful graphical formalism for the specification of
logic controllers that is well recognized and very successful in industry. In this paper, a …