Sciweavers

4930 search results - page 3 / 986
» Testing a Safety-Critical Application
Sort
View
109
Voted
ICDCS
1999
IEEE
15 years 1 months ago
Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
Beth Plale, Karsten Schwan
SCS
2004
14 years 11 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly
EUROMICRO
2009
IEEE
15 years 4 months ago
Foundations for a Model-Driven Integration of Business Services in a Safety-Critical Application Domain
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
Richard Mordinyi, Thomas Moser, eva Kühn, Ste...
SIGDOC
1998
ACM
15 years 1 months ago
Documentation Integrity for Safety-Critical Applications: The COHERE Project
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
David G. Novick, Joel Juillet
EMSOFT
2001
Springer
15 years 2 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby