2141 search results - page 16 / 429 » Embedded Software |
RTAS
2005
IEEE
15 years 7 months ago
2005
IEEE
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
106
click to vote
ICCSA
2009
Springer
14 years 12 months ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
156
click to vote
MODELS
2010
Springer
15 years 16 days ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
134
click to vote
ISORC
2005
IEEE
15 years 7 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...