Abstract:Simulation has been widely adopted as a support tool for the validation and experimentation of distributed systems. It allows different devices and applications to be evaluated and analyzed without requiring the actual presence of those machines. Although the simulation plays an important role in investigating and evaluating the behaviors of devices, it results in a serious simulator building problem as the distributed systems become more and more complicated and dynamically data driven. Most of the existing simulators are designed and developed to target a specific type of application, lacking the capabilities to be a configurable and standardized tool for researchers. To solve the adaptability and reusability problems of simulators, this paper proposes a new approach to design and implement a configurable real-time digital simulator for hardware devices that are connected via data buses in distributed systems. First, the proposed simulator uses a logic automaton to simulate the activities of a real device, and generates the incentive data for tested equipment according to the predefined XML-based files. Then with a virtual bus, the simulator can receive, handle, and send data in various network environments, improving the flexibility and adaptability of a simulator design. Experimental results show that the proposed simulator has a high real-time performance, and can meet the increasing requirements of modern simulations of distributed systems.

SystemC-based Simulation Code Generation for AADL Software Component

AADL+: a simulation-based methodology for cyber-physical systems

Automatic Generation of Systematic Test Cases Using AADL for Embedded Software

Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow

Real-time Digital Simulator for Distributed Systems

A novel component-based hardware-software co-simulation system based on OR1200

Embedded real-time system modeling and analysis using AADL

Real-time Simulation of Semi-hardware in the Loop with Flight Control System Based on Xpc Target

Design and Implementation of AADL Model Safety Assessment Tool

Survey of Software Development Technology Based on AADL

Uniform SystemC Co-Simulation Methodology for System-on-Chip Designs

Research of Embedded Software Testing Method Based on AADL Modes

A Novel Low-Cost Interface Design for SystemC and SystemVerilog Co-simulation.

Modeling SystemC Design in UML and Automatic Code Generation

Study of Safety Analysis and Assessment Methodology for AADL Model

Exploring AADL verification tool through model transformation

Rsimu: Design of the Component Simulation Framework for RACS2

Automatic Flight Control System Design and Simulation Based on SCADE

A Controller/Architecture Co-design Framework for Wireless Cyber-Physical Systems.

An Effective Method for Obtaining Architecture of Test Model of AADL(Architecture Analysis and Design Language)

A study of the AADL mode based on timed automata