128 search results - page 2 / 26 » Transforming Structural Model to Runtime Model of Embedded S... |
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
ENTCS
2006
13 years 4 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
MOMPES
2006
IEEE
13 years 10 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded software design for real time reactive system
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...