DRTSS: a simulation framework for complex real-time systems

Authors:
M. F. Storch;J. W.-S. Liu
Affiliations:
-;-
Venue:
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Year:
1996

Citing 0
Cited 3

Designing Multiprocessor/Distributed Real-Time Systems Using the ASSERTS Toolkit

Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Decreasing maintenance costs by introducing formal analysis of real-time behavior in industrial settings

ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Resource and performance trade-offs in real-time embedded control systems

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a simulation framework called DRTSS, which allows its users to easily construct discrete-event simulators of complex, multi-paradigm, distributed real-time systems. Preliminary, high-level system designs can be entered into DRTSS to gain initial insight into the timing feasibility of the system. Later, detailed hierarchical designs can be evaluated and more detailed analysis can be undertaken. DRTSS is a member of the PERTS family of timing-oriented prototyping and verification tools [17]. It complements the PERTS schedulability analyzer tool by dealing with complex real-lime systems for which a priori schedulability analysis is difficult or impossible.