ML for the working programmer
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Dynamic communication models in embedded system co-simulation
DAC '97 Proceedings of the 34th annual Design Automation Conference
A programming environment for the design of complex high speed ASICs
DAC '98 Proceedings of the 35th annual Design Automation Conference
Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management
Journal of VLSI Signal Processing Systems - Special issue on system level design
On the use of C++ for System-on-Chip Design
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
Proceedings of the conference on Design, automation and test in Europe
A framework for fast hardware-software co-simulation
Proceedings of the conference on Design, automation and test in Europe
Modeling and simulation of steady state and transient behaviors for emergent SoCs
Proceedings of the 14th international symposium on Systems synthesis
Multi-Level Modeling of Software on Hardware in Concurrent Computation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
The design context of concurrent computation systems
Proceedings of the tenth international symposium on Hardware/software codesign
SystemC
Multi-level software validation for NOC
Networks on chip
RTOS scheduling in transaction level models
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Synthesizing operating system based device drivers in embedded systems
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A Generic RTOS Model for Real-time Systems Simulation with SystemC
Proceedings of the conference on Design, automation and test in Europe - Volume 3
Towards a Higher Level of Abstraction in Hardware/Software Co-Simulation
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Embedded software generation from system level design languages
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
RTOS-centric hardware/software cosimulator for embedded system design
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
RTOS Modeling for System Level Design
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Strategies for the integration of hardware and software IP components in embedded systems-on-chip
Integration, the VLSI Journal - Special issue: IP and design reuse
RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Using abstract CPU subsystem simulation model for high level HW/SW architecture exploration
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Embedded software generation from system level specification for multi-tasking embedded systems
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
ISS-centric modular HW/SW co-simulation
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Scheduling refinement in abstract RTOS models
ACM Transactions on Embedded Computing Systems (TECS)
A smooth refinement flow for co-designing HW and SW threads
Proceedings of the conference on Design, automation and test in Europe
Generation of embedded hardware/software from systemC
EURASIP Journal on Embedded Systems
Introducing preemptive scheduling in abstract RTOS models using result oriented modeling
Proceedings of the conference on Design, automation and test in Europe
A Hardware/Software Cosimulator with RTOS Supports for Multiprocessor Embedded Systems
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Assertion-based verification of RTOS properties
Proceedings of the Conference on Design, Automation and Test in Europe
RTOS-aware refinement for TLM2.0-based HW/SW designs
Proceedings of the Conference on Design, Automation and Test in Europe
Increased accuracy through noise injection in abstract RTOS simulation
Proceedings of the Conference on Design, Automation and Test in Europe
OveRSoC: a framework for the exploration of RTOS for RSoC platforms
International Journal of Reconfigurable Computing - Special issue on selected papers from ReConFig 2008
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
| Hi-index | 0.00 |
In this paper we propose a system-level design environment, aimed at System-on-Chip (SOC) designs, including real-time embedded software. While many SOC modeling languages originate from hardware description languages, and thus tend to describe statical architectures, we observe that embedded software makes SOC designs essentially dynamic, and so a SOC modeling environment must include dynamic behavior. Such behavior is analogous to the services an Operating System offers in the software world, hence the term System-on-Chip Operating System (SoCOS).