PACT-95 Article: A. V. Borshchev, Y. G. Karpov, V. V. Roudakov. COVERS A Tool for the Design of Real-time Concurrent Systems

Hosted with the Supercomputer Software Department RAS	Home

	Prev	Contents
Parallel Computing Technologies Third International Conference (PaCT-95) September 12-15, 1995. St.-Petersburg, Russia Proceedings	Home	PaCTs
	Next	Authors

Vol. 964

COVERS A Tool for the Design of Real-time Concurrent Systems

by A. V. Borshchev, Y. G. Karpov, V. V. Roudakov

Abstract:

We give an overview of the existing commercial tools for the design of real-time concurrent systems and propose a list of features the ideal design environment should have. Then the COVERS tool is described. Its underlying abstract model is a derivative of the Timed Transition System. The concrete modelling language is based upon the structural, behavioral and data processing views on the real-time concurrent system. COVERS supports a sequential subset of Statecharts and ANSI C. The formal semantics of the concrete model is presented. We describe a method of testing the real time temporal properties using spy processes, and, briefly, debugging and performance analysis means.

Keywords:

Classification:
	C.1	processor architectures
	C.2	computer-communication networks
	C.3	special-purpose and application-based systems; microprocessor/microcomputer applications; process control systems; real-time systems; signal processing systems
	C.4	performance of systems; design studies; measurement techniques; modeling techniques; performance attributes; reliability, availability, and serviceability
	D.1	programming techniques
	D.2	software engineering
	D.3	programming languages
	D.4	operating systems
	F.1	computation by abstract devices
	F.2	analysis of algorithms and problem complexity

Source:

COVERS A Tool for the Design of Real-time Concurrent Systems

Parallel Computing Technologies: Proceedings of the 3th International Conference

Search LNCS articles for:

Borshchev, A. V.

Karpov, Y. G.

Roudakov, V. V.

Scanned first page: