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.