详情

原文传递 Formal Specification and Simulation of Reference Architectures for Distributed and Safety Critical Avionics Systems

题名：	Formal Specification and Simulation of Reference Architectures for Distributed and Safety Critical Avionics Systems
作者：	Luckham, David C.;
关键词：	COMPUTERIZED SIMULATION, AVIATION SAFETY, ALGORITHMS, AVIONICS, INFORMATION SYSTEMS, TRAINING, NETWORKS, DISTRIBUTION, SECURITY, COMPUTER ARCHITECTURE, COMMAND AND CONTROL SYSTEMS, TRANSITIONS, BEHAVIOR.
摘要：	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.
总页数：	7
报告类型：	科技报告