A real-time system description language

Niehaus, D. ; Stankovic, J. A. ; Ramamritham, K. (1995) A real-time system description language Proceedings of IEEE Symposium on Real-Time Technology and Applications . pp. 104-115.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnum...

Related URL: http://dx.doi.org/10.1109/RTTAS.1995.516207


Building complex real-time systems requires languages and tools that permit careful specification of the system design as well as providing automatic calculation and analysis. If this design and analysis environment is well done, it should be able to accommodate modification of the system design through simple specification changes and then rerunning the analysis tools. A critical aspect of such an environment is simultaneous support for conflicting goals: design by layered abstractions which conceal implementation details, and accounting for those implementation details which are necessary to ascertain timing correctness. In this paper, we discuss the implementation of a system description language (SDL) that is part of an environment developed to address these problems. We have experimented with the SDL in several applications including a robotic pick-and-place circuit board assembly, flexible manufacturing, and a distributed real-time scheduling simulation. In each case, the SDL provided significant benefits with regard to ease of modification, timing analysis and automatic linking and loading of the target system.

Item Type:Article
Source:Copyright of this article belongs to IEEE Press.
ID Code:94313
Deposited On:22 Aug 2012 11:36
Last Modified:22 Aug 2012 11:37

Repository Staff Only: item control page