287 search results - page 7 / 58 » Grand challenges in embedded software |
UML
2005
Springer
15 years 3 months ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
ISCC
2006
IEEE
15 years 3 months ago
2006
IEEE
Integration of the currently available computing systems and platforms is one of the most envisaged goals achieved by computer scientists, which starts to become a reality nowaday...
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded technology is in rapid progress in recent years. The teaching contents and the experimental platforms should be updated according to the embedded technology. It is a huge...
FM
2006
Springer
15 years 1 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
FAC
2008
14 years 9 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...