4799 search results - page 148 / 960 » Model Based Requirements Engineering for Embedded Software |
ISSS
2000
IEEE
15 years 2 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...
79
Voted
RE
2009
Springer
15 years 2 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...
117
click to vote
DATE
2004
IEEE
15 years 1 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...
100
Voted
RTCSA
2003
IEEE
15 years 3 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...
CODES
2004
IEEE
15 years 1 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...