4799 search results - page 148 / 960 » Model Based Requirements Engineering for Embedded Software |
114
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
110
click to vote
RE
2009
Springer
15 years 7 months ago
2009
Springer
In the research of software reuse, feature models have been widely adopted to organize the requirements of a set of applications in a software domain. However, there still lacks a...
158
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
141
click to vote
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
138
Voted
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...