Sciweavers

2523 search results - page 102 / 505
» Correct Development of Embedded Systems
Sort
View
WSTFEUS
2003
IEEE
14 years 3 months ago
uBlocks: Enabling Hand-made Distributed Application Among Ubiquitous Embedded Devices
Increase of future appliances at home environment causes confusion with less computer-skilled users. Consequently, embedded-hardware could prevent us from recognizing all of them ...
Masayuki Iwai, Jin Nakazawa, Hideyuki Tokuda
VSTTE
2005
Springer
14 years 3 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
JIPS
2007
88views more  JIPS 2007»
13 years 10 months ago
Interface Development for the Point-of-care device based on SOPC
: This paper describes the development of the sensor interface and driver program for a point of care (POC) device. The proposed POC device comprises an ARM9 embedded processor and...
Hong Bum Son, Sung Gun Song, Jae Wook Jung, Chang ...
ADAEUROPE
2009
Springer
14 years 4 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
ECRTS
2003
IEEE
14 years 3 months ago
A Real-Time RMI Framework for the RTSJ
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
Andrew Borg, Andy J. Wellings