Autonomous driving faces the difficulty of securing the lowest possible software execution
times to allow a safe and reliable application. One critical variable for autonomous vehicles …

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

Safety-critical systems are widely used in different domains and lead to an increasing
complexity. Such systems rely on specific services such space and time isolation as in the …

This paper gives and proves correct a simulation interval for any schedule generated by a
deterministic and memoryless scheduler (ie, one where the scheduling decision is the same …

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

This article deals with real-time critical systems modelling and verification. Real-time
scheduling theory provides algebraic methods and algorithms in order to make timing …

Real-time embedded systems may be composed of a large number of time constrained
functions. During software architecture design, these functions must be assigned to tasks …

AADL is an aerospace standard for model-driven design of complex real-time embedded
systems. Currently, behavioral properties of AADL models can be specified inside the …

Many embedded systems, especially real-time systems, are used in safety-critical
applications such as cars and aircraft. The consequences of different scheduling algorithms …

La construction de systèmes embarqués critiques temps réel suppose de définir
conjointement les aspects fonctionnels (algorithmes de calcul, logique de décision) et les …