In this paper we use the Activity diagram of the System Modeling Language (SysML) in
combination with the new UML profile for Modeling and Analysis of Real-Time and …

Minimizing power consumption to prolong battery life has become an important design issue
for portable battery-operated devices such as smartphones and personal digital assistants …

The main objective of this paper is to propose a solution for modeling, analysis and
verification of embedded real-time systems with energy constraints. For that, we combine …

Requirements validation is a critical task in any embedded real-time system project.
Normally, these systems have stringent timing constraints that must be satisfied for the …

In recent years, by increasing CPU and I/O devices demands, running multiple tasks
simultaneously becomes a crucial issue. This paper presents a new task scheduling …

Modern cyber-physical systems assume a complex and dynamic interaction between the
real world and the computing system in real-time. In this context, changes in the physical …

Abstract Model-driven methods have been quite effective for reducing the intricacies of
embedded software development, since they provide effective means for property …

With the heterogeneity and complexity growth of embedded real-time systems (ERTS) is
required an interdisciplinary approaches in the development processes embracing software …

Nowadays, component-based embedded real-time systems have been used to improve the
system development as well as to keep cost down through the reuse of embedded software …

CPS is a kind of networked embedded system. Its trustworthiness and cost are impacted by
energy consumption. So design a low-power, high trustworthiness CPS has been a major …