A Platform for Refinement of OS Services for Embedded Systems

Authors:
Bruno Girodias;El Mostapha Aboulhamid;Gabriela Nicolescu
Affiliations:
Universite de Montreal, Canada;Universite de Montreal, Canada;Polytechnique de Montreal, Canada
Venue:
DELTA '06 Proceedings of the Third IEEE International Workshop on Electronic Design, Test and Applications
Year:
2006

Citing 0
Cited 1

Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design

CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.