Sciweavers

632 search results - page 1 / 127
» Performance Engineering for Industrial Embedded Data-Process...
Sort
View
EMSOFT
2005
Springer
14 years 4 months ago
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
GLOBECOM
2008
IEEE
14 years 5 months ago
Networked Embedded Systems: A Quantitative Performance Comparison
— Networked embedded systems are gaining more and more attention and their use in current network scenarios is of indisputable importance. Research community and industry are pro...
Alessio Botta, Walter de Donato, Antonio Pescap&eg...
QSIC
2008
IEEE
14 years 5 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...
CODES
2006
IEEE
14 years 5 months ago
Creation and utilization of a virtual platform for embedded software optimization: : an industrial case study
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo L...
DAC
1998
ACM
14 years 12 months ago
A Case Study in Embedded System Design: An Engine Control Unit
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
Alberto L. Sangiovanni-Vincentelli, Antonino Damia...