2523 search results - page 176 / 505 » Correct Development of Embedded Systems |
137
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
118
click to vote
CIRA
2007
IEEE
15 years 9 months ago
2007
IEEE
—The vast majority of Autonomous Ground Vehicles in development today operate with GPS based navigation systems. While the accuracy of GPS systems has improved greatly over the p...
109
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
124
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
120
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a web-based system to monitor the quality of the meta-data used to describe content in web portals. The system implements meta-data analysis using statistical, visualiz...