Components and contracts for embedded software

被引：0
|
作者：
Li, SY [1 ]
Li, XJ [1 ]
Wu, J [1 ]
机构：
[1] Northwestern Polytech Univ, Xian 710072, Peoples R China
来源：
12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS | 2005年
关键词：
component; embedded; contract; ESIM;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Component-based development is a key technology in the development of software for modern embedded systems. However, components can be difficult to deploy in embedded systems because of unclear description. This paper presents an approach to building software for embedded systems, based on the use of component in combination with contracts. The contracts specify both the functional properties and QoS properties of the different components in the system. By capturing all relevant information explicitly in the contracts, we can raise the level of abstraction for the designer and facilitate system development.
引用
收藏
页码：19 / 24
页数：6
相关论文
共 50 条
  • [1] COCONES: An approach for components and contracts in embedded systems
    Berbers, Y
    Rigole, P
    Vandewoude, Y
    Van Baelen, S
    COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 209 - 231
  • [2] Defining and checking deployment contracts for software components
    Lau, Kung-Kiu
    Ukis, Vladyslav
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4063 : 1 - 16
  • [3] Logical-time contracts for reactive embedded components
    Maraninchi, F
    Morel, L
    PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 48 - 55
  • [4] Parametric Performance Contracts for Software Components with Concurrent Behaviour
    Happe, Jens
    Koziolek, Heiko
    Reussner, Ralf
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 182 : 91 - 106
  • [5] A new specification of software components for embedded systems
    Azumi, Takuya
    Yamamoto, Masanari
    Kominami, Yasuo
    Takagi, Nobuhisa
    Oyama, Hiroshi
    Takada, Hiroaki
    10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 46 - +
  • [6] A model for reuse and optimization of embedded software components
    Akerholm, Mikael
    Froberg, Joakim
    Sandstrom, Kristian
    Crnkovic, Ivica
    PROCEEDINGS OF THE ITI 2007 29TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2007, : 567 - +
  • [7] Interface checks of the automotive embedded software components
    Popic, Srdan
    Vulic, Marko
    Velikic, Ivan
    2017 IEEE 7TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2017, : 163 - 167
  • [8] Parametric Performance Contracts for QML-specified Software Components
    Firus, Viktoria
    Becker, Steffen
    Happe, Jens
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (03) : 73 - 90
  • [9] Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
    Holthusen, Sonke
    Quinton, Sophie
    Schaefer, Ina
    Schlatow, Johannes
    Wegner, Martin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (208): : 31 - 45
  • [10] Unifying hardware and software components for embedded system development
    Bunse, Christian
    Gross, Hans-Gerhard
    ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 120 - 136
12345