98 search results - page 11 / 20 » Testing real-time embedded software using UPPAAL-TRON: an in... |
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
IISWC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Java has become one of the predominant languages for embedded and mobile platforms due to its architecturally neutral design, portability, and security. But Java execution in t...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
A major challenge in realizing core-based system chips is the adoption and design-in of adequate test and diagnosis strategies. This tutorial paper discusses the specific challeng...
EMSOFT
2007
Springer
14 years 14 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...