首先归纳了AADL (architecture analysis and design language) 的发展历程及其主要建模元素.
其次, 从模型驱动设计与实现的角度综述了AADL 在不同阶段的研究与应用, 总结了研究热点 …

首先归纳了 AADL (architecture analysis and design language) 的发展历程及其主要建模元素.
其次, 从模型驱动设计与实现的角度综述了 AADL 在不同阶段的研究与应用, 总结了研究热点 …

Abstract Architecture Analysis and Design Language (AADL) is often used to model safety-
critical real-time systems. Model transformation is widely used to extract a formal …

The arrival and popularity of multi-core processors has sparked a renewed interest in the
development of parallel programs. Similarly, the availability of low-cost microprocessors and …

Domain-Specific Modeling Languages (DSMLs) rely on model-based techniques to deliver
tailored languages to meet specific needs, such as system modeling, formal verification, and …

Middleware is an integral part of critical software, providing core services for data exchange
and manipulation, job execution, and scheduling. Their correctness is central to the correct …

This paper presents an open source task scheduling simulator, called MCRTsim, for real-
time systems with uniprocessors, multiprocessors, and multi-core processors. It contains a …

The interest for multiprocessor systems has recently been increased in industrial
applications, and parallel programming API's have been introduced to benefit from new …

Time-and space-partitioned systems (TSP) are a current trend in aerospace. They are
employed to integrate a heterogeneous set of functions (different criticalities, real-time …

This article deals with performance verification of architecture models of real-time embedded
systems. Although real-time scheduling theory provides numerous analytical methods called …