Real-time systems are now of critical importance to many real-world applications. Consequently, there is now increased interest in tools which specifically support the development of software for real-time systems. Wh...
详细信息
Real-time systems are now of critical importance to many real-world applications. Consequently, there is now increased interest in tools which specifically support the development of software for real-time systems. While much progress has been made in recent years in providing general purpose programming support by means of sophisticated software development environments, much of the construction of real-time systems is still performed with comparatively primitive programming languages and support tools. Furthermore, most existing high-level programming languages to date have provided, at, best, limited support for programming real-time applications. File programming language GARTL has been designed, dedicated to supporting the development of hard real-time systems using the paradigm of imprecise computation and the notion of multi-version tasks. This paper focuses on the development enviornment assoicated with GARTL, known as GARTEN. In particular, we describe GARTAAN, a component of GARTEN, which attempts to automate the most costly stage of real-time software development, that of testing and debugging. The principal function of GARTAAN is to perform timing analysis of GARTL code, necessary to ensure that the hard real-time systems produced operate within their timing constraints.
暂无评论