Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

AN ADA MODEL FOR THE SPECIFICATION OF CONTROL-SYSTEMS

Tools
- Tools
+ Tools

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

Research output not available from this repository, contact author.

Request Changes to record.

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
Official Date: February 1994
Dates:
DateEvent
February 1994UNSPECIFIED
Volume: 5
Number: 1
Number of Pages: 8
Page Range: pp. 25-32
Publication Status: Published

Data sourced from Thomson Reuters' Web of Knowledge

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us