Multi-core devices are envisioned to support the development of next-generation safety-critical systems, enabling on-chip integration functions different criticality. This provides multiple system-level potential benefits such as cost, size, power, and weight reduction. However, safety certification becomes a challenge several fundamental technical requirements must be addressed, temporal spati...

Victoria Stavridou Department of Computer Science Queen Mary and West eld College Mile End Road London E1 4NS email: [email protected]

Until recently, the preferred language for developing safety critical applications has been Ada, but this is beginning to change. The number of developers willing to program in Ada is diminishing, while the complexity of applications is increasing. Where as C and C++ are poor alternatives to Ada, realtime Java specifications have benefited from strong cross fertilisation from the Ada community,...

— We are interested in communication support for time-critical reliable computing. Over a two-decade period, the distributed computing community has explored a number of reliable communication models. Yet time-critical applications in which rapid response matters more than absolute reliability have received comparatively little attention. We believe that this category of application is becoming...

BACKGROUND Injured children represent 25% of all injured patients in the United States and have unique needs that may require treatment at a pediatric trauma center or a trauma center with pediatric commitment. This work attempts to determine if there is existing evidence that pediatric trauma centers, trauma centers with pediatric commitment, or trauma systems have improved the care of injured...

40 Computer Designing Safety-Critical Computer Systems T he ubiquitous computer is firmly established as the electronic component of choice for designing systems that control safety-critical applications. Such applications can be found everywhere: aircraft fly-by-wire controls, oil and chemical processing, hospital life-support systems, manufacturing robotics, and countless other commercial and...

For many applications. a multidataha.<;e approach constitutes an attractive a1t.emative to a single, integrated data.ba.o;e. In lhis paper we describe our experiences gained in Ute COUlf:.e of the development of experimental muHidataba.sesystems: OMNIBASE, at the University of Houston and InlerBase at Purdue University. We concentrate on the problems of query processing and multidalabase transa...