scispace - formally typeset

Conference

NATO ASI RTC 

About: NATO ASI RTC is an academic conference. The conference publishes majorly in the area(s): Formal methods & Fault tolerance. Over the lifetime, 66 publication(s) have been published by the conference receiving 251 citation(s).

Papers published on a yearly basis

Papers
More filters
Proceedings Article
01 Jan 1992
Abstract: The design, implementation, and evaluation of a distributed real-time architecture called HARTS (hexagonal architecture for real-time systems) are discussed, emphasizing its support of time-constrained, fault-tolerant communications and I/O (input/output) requirements HARTS consists of shared-memory multiprocessor nodes, interconnected by a wrapped hexagonal mesh This architecture is intended to meet three main requirements of real-time computing: high performance, high reliability, and extensive I/O The high-level and low-level architecture is described The evaluation of HARTS, using modeling and simulation with actual parameters derived from its implementation, is reported Fault-tolerant routing, clock synchronization and the I/O architecture are examined >

56 citations

Book ChapterDOI
01 Jan 1994
TL;DR: Several aspects of time in the heterogeneous world of Informatics are introduced and ontologies for time in different domains of computers and their applications are defined.
Abstract: Aim of this paper is to introduce several aspects of time in the heterogeneous world of Informatics and define ontologies for time in different domains of computers and their applications Some philosophical and physical backgrounds are given, to show how, from the richness of often contrasting ideas developed in the framework of these disciplines, many useful concepts have been derived also for computer science Architectural aspects of computer systems, Information Systems applications, and Real-time systems, are considered as temporally problematic domains

39 citations

Book ChapterDOI
01 Jan 1994
TL;DR: Realtime computer systems which perform physically and logically decentralized mission management such as collaborative direction within a team of autonomous entities conducting manufacturing, maintenance, or combat must accommodate significant run-time uncertainties in the application environment and system resource state, by being dynamically adaptive.
Abstract: Realtime computer systems which perform physically and logically decentralized mission management such as collaborative direction within a team of autonomous entities conducting manufacturing, maintenance, or combat must accommodate significant run-time uncertainties in the application environment and system resource state, by being dynamically adaptive. In particular, such systems have mission-critical time constraints which must be satisfied acceptably as specified by the application given the current circumstances.

26 citations

Book ChapterDOI
01 Jan 1994
TL;DR: The argument is put forward that understandability is the most important common denominator for achieving a variety of other important real-time computing abilities; for example, reliability, testability, verifiability, maintainability, and so on.
Abstract: The demands placed upon real-time systems (or portions thereof) in respect to predictability continue to increase as these systems become integrated into a wide variety of safety critical applications. It is essential to be able to guarantee that all critical processing is accomplished accurately and on time. In this contribution, a point of view is established in respect to achieving predictability in combination with another vital ability, namely understandability. The argument is put forward that these two goals can be jointly attained; further, that understandability is the most important common denominator for achieving a variety of other important real-time computing abilities; for example, reliability, testability, verifiability, maintainability, and so on.

13 citations

Book ChapterDOI
01 Jan 1994
TL;DR: It is considered here when and to what extent it is appropriate to use formal methods in the development of safety critical systems.
Abstract: We believe that formal methods are both under-used and over-sold and consider here when and to what extent it is appropriate to use formal methods in the development of safety critical systems.

11 citations

Network Information
Related Conferences (5)
Real-Time Systems Symposium

1.5K papers, 69.4K citations

80% related
Real Time Technology and Applications Symposium

944 papers, 28.4K citations

78% related
Euromicro Conference on Real-Time Systems

736 papers, 23.2K citations

77% related
Dependable Systems and Networks

2K papers, 58.4K citations

76% related
Symposium on Reliable Distributed Systems

1.2K papers, 25.5K citations

76% related
Performance
Metrics
No. of papers from the Conference in previous years
YearPapers
199461
19925