This article presents a complete scheme for the integration and the development of multi-
periodic critical embedded systems. A system is formally specified as a modular and …

Engineering software for robotics applications requires multi-domain solutions. Model-driven
development (MDD) promises efficient means for developing domain-specific and reusable …

Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …

This PhD. Thesis defines a high-level language for programming real-time embedded
control systems. It is built upon Synchronous Languages (such as Lustre) and inherits their …

This paper presents a language dedicated to the description of the software architecture of
complex embedded control systems. The language relies on the synchronous approach but …

The Clock Constraint Specification Language (\ccsl) has been informally introduced in the
specifications of the\uml Profile for Modeling and Analysis of Real-Time and Embedded …

The study of real-time systems has been recognized over the past 30 years as a discipline of
its own whose research community is firmly established in academia as well as in industry …

This title is devoted to presenting some of the most important concepts and techniques for
describing real-time systems and analyzing their behavior in order to enable the designer to …

Software architecture is considered as the high-level decompositions of software systems
into components and connectors. Connectors herein represent the component interactions …

Abstract Model-Driven Engineering intensively uses models and model transformations.
Transformation tools ensure that the target model conforms to the target metamodel, so that …