MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Preface

Download:
Download as a PDF
by Program Analysis, Veri Cation Group
http://www.cs.uu.nl/docs/vakken/sa/articles/rapide/overview.pdf
Add To MetaCart

Abstract:

Rapide-1.0 is a computer language for de ning and executing models of system architectures. The result of executing a Rapide model is a set of events that occurred during the execution together with causal and timing relationships between events. The production of causal history as a simulation result is, at present, unique to Rapide among event-based languages. Sets of events with causal histories are called posets (partially ordered event sets). Simulators that produce posets provide many new opportunities for analysis of models of distributed and concurrent systems. Rapide-1.0 is structured as a set of languages consisting of the Types, Patterns, Architecture, Constraint, and Executable Module languages. This set of languages is called the Rapide language framework. The purpose of the framework is twofold: (i) to encourage multi-language systems, (ii) to de ne language components that may be applied to, or migrated into, other event generating systems. Towards (i), weanticipate that the Executable Module, Constraint orArchitecture sublanguages may bechanged in fairly substantial ways, and that the Executable Module and Constraint sublanguages may beinterchanged with other languages provided certain compatibility

Citations

758 A machine-oriented logic based on the resolution principle – ROBINSON - 1965
521 Virtual time and global states of distributedsystems. Parallel and Distributed Algorithms – Mattern - 1989
163 The Verilog Hardware Description Language – Thomas, Moorby - 1991
60 An extension of Standard ML modules with subtyping and inheritance – Mitchell, Meldal, et al. - 1991
18 Task sequencing language for specifying distributed ada systems – Luckham, Helmbold, et al. - 1987
15 East 47th – IEEE - 1993
5 Programming with Speci cations | An Introduction to Anna, a Language for Specifying Ada Programs – Luckham - 1990
2 Exploiting locality inmaintaining potential causality – Meldal, Sankar, et al. - 1991
1 IMACCS: An Operational COTS-Based Ground Support System Proofof-Concept Project,” First International Symposium on Reducing the Cost of Spacecraft Ground Systems and Operations – Bracken - 1995
1 BIBLIOGRAPHY 73 [Tea95] Rapide Design Team. The Rapide-1 Full Syntax Reference Manual. Program Analysis and Veri cation – July - 1997