65 search results - page 2 / 13 » A Prototype Tool for Software Component Services in Embedded... |
ISORC
2005
IEEE
13 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CSREAESA
2006
13 years 6 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
RTAS
2005
IEEE
13 years 10 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
RSP
2005
IEEE
13 years 10 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...