Sciweavers

1022 search results - page 1 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
13 years 10 months ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green
APSEC
2006
IEEE
13 years 7 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
EUROMICRO
2011
IEEE
12 years 5 months ago
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
James H. Hill
CSSE
2008
IEEE
13 years 11 months ago
Model Curriculum Construction of Embedded System in Zhejiang University
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
Tianzhou Chen, Qingsong Shi, Hu Wei, Jolly Wang, N...
SDL
2007
192views Hardware» more  SDL 2007»
13 years 6 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong