A platform for refinement of OS services for embedded systems

被引：0
|
作者：
Girodias, B [1 ]
Aboulhamid, EM
Nicolescu, G
机构：
[1] Univ Montreal, Montreal, PQ H3C 3J7, Canada
[2] Ecole Polytech, Montreal, PQ, Canada
来源：
DELTA 2006: THIRD IEEE INTERNATIONAL WORKSHOP ON ELECTRONIC DESIGN, TEST AND APPLICATIONS | 2006年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The field of embedded systems is in full expansion. However, the design of these systems stemming from a high abstraction level remains challenging, causing the industry to continuously search for more powerful tools and environments for the design of such systems. This work presents a platform for the refinement of OS,services. This platform enables early exploration without requiring the synthesis of an OS' port for a particular architecture and does not require knowing the different APIs from this operating system. By gradual refinements through different abstractions, this platform enables the designers to choose the operating system ideally suited for the targeted embedded application. These various refinement layers can interact with HDLs (VHDL, Verilog) and SLDLs (SystemC, eSYS.net), thus enabling an environment for hardware/software system design. For the platform development we exploited the strength of.NET.
引用
收藏
页码：227 / +
页数：2
相关论文
共 50 条
  • [1] Accurate energy characterization of OS services in embedded systems
    Ouni, Bassem
    Belleudy, Cecile
    Senn, Eric
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2012, (01)
  • [2] Refinement Verification of OS Services based on a Verified Preemptive Microkernel
    Li, Ximeng
    Chen, Shanyan
    Guan, Yong
    Zhang, Qianying
    Wang, Guohui
    Shi, Zhiping
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 : 188 - 209
  • [3] Programming embedded systems: Interacting with the embedded platform
    Dibble, Peter
    Hunt, James J.
    Wellings, Andy J.
    Distributed, Embedded and Real-time Java Systems, 2012, 9781441981585 : 129 - 158
  • [4] Platform Analysis in Embedded Systems
    Gore, Rahul
    Satheesh, Hariram
    Kande, Mallikarjun
    PROCEEDINGS ON 2014 2ND INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGY TRENDS IN ELECTRONICS, COMMUNICATION AND NETWORKING (ET2ECN), 2014,
  • [5] OS for embedded systems: state of the art and prospects
    Olive, V
    Martin, S
    Vareille, A
    MICROELECTRONIC ENGINEERING, 2000, 54 (1-2) : 113 - 121
  • [6] Acceleration of Dual OS Virtualization in Embedded Systems
    Oh, Soo-Cheol
    Koh, KwangWon
    Kim, Chei-Yol
    Kim, KangHo
    Kim, SeongWoon
    2012 7TH INTERNATIONAL CONFERENCE ON COMPUTING AND CONVERGENCE TECHNOLOGY (ICCCT2012), 2012, : 1098 - 1101
  • [7] COS: A configurable OS for embedded SoC systems
    Lin, Hsin-hung
    Hsueh, Chih-Wen
    12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2006, : 242 - +
  • [8] Development of an Embedded Platform for Secure CPS Services
    Raes, Vincent
    Vossaert, Jan
    Naessens, Vincent
    COMPUTER SECURITY, 2017, 2018, 10683 : 19 - 34
  • [9] Refinement of model specifications in embedded systems design
    Schulz, S
    Rozenblit, JW
    NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 159 - 166
  • [10] Lightweight services for embedded systems
    Milanovic, N
    Richling, J
    Malek, M
    SECOND IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2004, : 40 - 44
12345