Sciweavers

2141 search results - page 52 / 429
» Embedded Software
Sort
View
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
14 years 4 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
DATE
2008
IEEE
123views Hardware» more  DATE 2008»
14 years 4 months ago
Verification of Temporal Properties in Automotive Embedded Software
Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
14 years 4 months ago
Disjunctive image computation for embedded software verification
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...
ISPEC
2005
Springer
14 years 3 months ago
Secure Software Delivery and Installation in Embedded Systems
ded abstract of this technical report appeared in the Proceedings of the First Information Security Practice and Experience Conference (ISPEC 2005) [AHS05].
André Adelsbach, Ulrich Huber, Ahmad-Reza S...