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 条

[41] On memory protection in real-time OS for small embedded systems [J].

Suzuki, S ;

Shin, KG .

FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, :51-58

[42] A LIBRARY OF EMBEDDED PLATFORM COMPONENTS FOR THE SIMULATION OF REAL-TIME EMBEDDED SYSTEMS [J].

Mertens, Joost ;

Vanherpen, Ken ;

Denil, Joachim ;

De Meulenaere, Paul .

2019 SPRING SIMULATION CONFERENCE (SPRINGSIM), 2019,

[43] Smart Municipal Systems and Services Platform Development [J].

Zabasta, Anatolijs ;

Kondratijevs, Kaspars ;

Kunicina, Nadezhda ;

Peksa, Janis ;

Ribickis, Leonids ;

Caiko, Jelena .

PROCEEDINGS OF THE 2016 17TH INTERNATIONAL CONFERENCE ON MECHATRONICS - MECHATRONIKA (ME) 2016, 2016, :323-329

[44] Reusable embedded software platform for versatile camera systems [J].

Kao, WC ;

Kao, CC ;

Lin, CK ;

Sun, TH ;

Lin, SY .

IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2005, 51 (04) :1379-1386

[45] Towards scalable and secure execution platform for embedded systems [J].

Sakai, Junji ;

Inoue, Hiroaki ;

Edahiro, Masato .

PROCEEDINGS OF THE ASP-DAC 2007, 2007, :350-+

[46] Platform modeling in safety-critical embedded systems [J].

Huber, Bernhard ;

Obermaisser, Roman .

Lecture Notes in Electrical Engineering, 2009, 38 :145-158

[47] A robust embedded software platform for versatile camera systems [J].

Kao, WC ;

Sun, TH ;

Lin, SY .

2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, :5015-5018

[48] Cross-platform verification framework for embedded systems [J].

Wenzel, Ingomar ;

Kirner, Raimund ;

Rieder, Bernhard ;

Puschner, Peter .

SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2007, 4761 :137-148

[49] Static analysis test platform construction for embedded systems [J].

Wang, Hongcheng ;

Ding, Zhigang ;

Zhong, Yuwei .

2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS, 2008, :808-812

[50] A robust embedded software platform for versatile camera systems [J].

Kao, W. -C. (jungkao@cc.ntnu.edu.tw), Circuits and Systems Society, IEEE CASS; Science Council of Japan; The Inst. of Electronics, Inf. and Communication Engineers, IEICE; The Institute of Electrical and Electronics Engineers, Inc., IEEE (Institute of Electrical and Electronics Engineers Inc.)

← 1 2 3 4 5 →