A new specification of software components for embedded systems

被引：17
|
作者：
Azumi, Takuya [1 ]
Yamamoto, Masanari [1 ]
Kominami, Yasuo [2 ]
Takagi, Nobuhisa [3 ]
Oyama, Hiroshi [4 ]
Takada, Hiroaki [1 ]
机构：
[1] Nagoya Univ, Grad Sch Informat Sci, Nagano, Aichi, Japan
[2] TOPPERS Project Inc, Toyohashi, Aichi, Japan
[3] Kijineko Inc, Tokyo, Japan
[4] OKUMA Corp, Oguchi, Aichi, Japan
来源：
10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/ISORC.2007.7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In the last decade, the size and complexity of the software in embedded systems have increased. The present study attempts to decrease the complexity and difficulty of software development in embedded systems. We herein introduce a new component system that is suitable for embedded systems. It is possible to estimate the memory consumption of an entire application since the proposed system adopts a static configuration. In addition, this system takes into account to be used in several domains of embedded systems because several particle sizes of component are supported. Moreover the concept of the component for a distributed application is presented.
引用
收藏
页码：46 / +
页数：2
相关论文
共 50 条
  • [1] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [2] SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS
    GAJSKI, DD
    VAHID, F
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1995, 12 (01): : 53 - 67
  • [3] ONTOLOGICAL APPROACH TO THE SPECIFICATION OF PROPERTIES OF SOFTWARE SYSTEMS AND THEIR COMPONENTS
    Babenko, L. P.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (01) : 160 - 166
  • [4] Towards Requirements Specification Collaboration Forum for Embedded Software Systems
    Fariha, Asma
    Alwidian, Sanaa
    Azim, Akramul
    [J]. 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 312 - 317
  • [5] ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS
    SITARAMAN, M
    WELCH, LR
    HARMS, DE
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 207 - 229
  • [6] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
    Broy, Manfred
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 1 - 13
  • [7] A Model Checking based Software Requirements Specification Approach for Embedded Systems
    Yang, Xiao
    Chen, Xiaohong
    Wang, Jiangtao
    [J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
  • [8] Specification-driven design of embedded systems - Design support for networked embedded software applications
    Sveda, Miroslav
    Vrba, Radimir
    [J]. ICE-B 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON E-BUSINESS, 2007, : 23 - +
  • [9] Embedded software generation from system level specification for multi-tasking embedded systems
    Kwon, KiSeun
    Yi, YoungMin
    Kim, DoHyung
    Ha, SoonHoi
    [J]. ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 145 - 150
  • [10] On-line Testing of Software Components for Diagnosis of Embedded Systems
    Bui, Thi-Quynh
    Aktouf, Oum-El-Kheir
    [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 22, 2007, 22 : 330 - 336
12345