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 publications have been published by the conference receiving 251 citations.

HARTS: A Distributed Real-Time Architecture.

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 >

Is Time a Real Time? An Overview of Time Ontology in Informatics

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

Asynchronous Decentralized Realtime Computer Systems

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.

Engineering Predictable Real-Time Systems

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.

Formal Methods for Real-Time 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.