In this paper, we present a method for querying desired songs from music database by
humming a tune. Since errors are inevitable in humming, tolerance should be considered. In …

The usage of components brings significant help in development of real-time embedded
systems. There have been a number of component frameworks developed for this purpose …

Abstract The Architecture and Analysis Definition Language (AADL) is an industry standard
modeling language distinguished by its emphasis on strong semantics for modeling real …

We present a novel multimodal fusion model for affective content analysis, combining visual,
audio and deep visual-sentiment descriptors from the media content with automated facial …

Modeling of distributed real-time embedded (DRE) systems allows one to evaluate models
behavior or schedulability. However, assessing that a DRE system's behavior is correct in …

The verification of High-Integrity Real-Time systems combines heterogeneous concerns:
preserving timing constraints, ensuring behavioral invariants, or specific execution patterns …

This paper presents a method that permits to quickly estimate the power consumption at the
first steps of a systempsilas design. We present multi-level power models and show how to …

This paper presents a methodology that permits to estimate the power and energy
consumption of embedded applications. Estimation is performed from high-level …

Prototyping distributed applications can be extremely useful in evaluating a design, and also
in understanding the effect of different parameters on the performance of an application …

The reliability requirements for space-critical system call for specific tools and models.
Space systems have been a long time user of models (synchronous or asynchronous …