Formal Specification and Simulation of Reference Architectures for Distributed and Safety Critical Avionics Systems
Abstract
The original scope of this effort had two main objectives: (1) investigate fundamental implementation algorithms to extend the Rapide event-based architecture definition and simulation system by adding a capability for formal constraint-based specification of systems, and for checking conformance of systems to formal constraints, (2) demonstrate scalability of Rapide to simulate functional behavior and predict performance of different kinds of distributed systems, including avionics, simulation networks, training systems, secure information systems and command and control systems. In addition, new directions were added to include: (1) a technology transition effort, to enable rapide to be used for system architecture prototyping, and (2) development of event-based technology, called Complex event Processing, to enable instrumentation of systems to test their conformance to design constraints.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 31, 1998
- Accession Number
- ADA379499
Entities
People
- David C. Luckham
Organizations
- Stanford University