UNSPECIFIED (1994) AN ADA MODEL FOR THE SPECIFICATION OF CONTROL-SYSTEMS. COMPUTING & CONTROL ENGINEERING JOURNAL, 5 (1). pp. 25-32. ISSN 0956-3385

Full text not available from this repository.

Abstract

At present, design teams which need to produce animate specifications of control systems have to write their models from scratch. Usually this is done in an ad hoc manner, rather than exploiting generic results from computer science. This article proposes a formal model, for use in practical projects, based on extensions to the 'Parnas (A7) dataflow model' of computation. The model is described using Ada generic packages, which need instantiation for the project in hand. An example of automotive throttle control is used to illustrate the method.

Item Type:	Journal Article
Subjects:	T Technology > TL Motor vehicles. Aeronautics. Astronautics
Journal or Publication Title:	COMPUTING & CONTROL ENGINEERING JOURNAL
Publisher:	IEE-INST ELEC ENG
ISSN:	0956-3385
Date:	February 1994
Volume:	5
Number:	1
Number of Pages:	8
Page Range:	pp. 25-32
Publication Status:	Published
URI:	http://wrap.warwick.ac.uk/id/eprint/20521

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item