Modelisation of a distributed hardware system for accurate simulation of real-time applications
暂无分享,去创建一个
Abstract This paper presents a validation approach for real-time applications using simulation techniques. Simulation concerns the operational architecture and takes into account the executable code of real-time tasks and the execution support model: set of processors, network and basic software (real-time executive and communication system). We show in this paper the performances that can be reached for the analysis of the temporal behaviour of real-time programs in a distributed system.
[1] Anoop Gupta,et al. Complete computer system simulation: the SimOS approach , 1995, IEEE Parallel Distributed Technol. Syst. Appl..
[2] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[3] Lars Albertsson,et al. Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workload , 2000, MASCOTS.
[4] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..