A component model for embedded real-time software product-lines

被引：0

作者：

Wall, A ^{[1
]}

Norström, C ^{[1
]}

机构：

[1] Malardalen Univ, Malardalen Real Time Res Ctr, Dept Comp Engn, Vasteras, Sweden

来源：

FIELDBUS SYSTEMS AND THEIR APPLICATIONOS 2001 (FET'2001) | 2002年

关键词：

architectures; components; embedded systems; systems design; real-time;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper proposes a component model suitable for use in the development of embedded real-time systems where resources, such as memory and CPUs, usually are very limited. A precise sematics for this model is defined. A precise semantics is necessary to enable architectural analysis of systems specified with such a model. A typical example of such analyses is scheduling where the temporal correctness is verified. The model is constructed with software product-lines in mind. Thus an essential part is how to specify and verify flexibility in the components. The model proposed in this paper is also independent from its infrastructure, i.e. operating system. This since the model makes no assumptions about its environment with regards to task models and component infrastructures such as name servers or object request brokers. Copyright(C) 2001 IFAC.

引用

页码：265 / 271

页数：7