Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Henderson, Thomas C. |
Other Author |
Schilcrat, Esther; Panangaden, Prakash |
Title |
Implementing multi-sensor systems in a functional language |
Date |
1984 |
Description |
We discuss a methodology for configuring systems of sensors using a functional language. To date no such general methodology exists, and existing multi-sensor systems have been hand-crafted around a particular application. Our main point is that the use of abstraction and of functional language features leads to a natural and simple approach to this problem. Our work exploits features of a particular functional programming environment, Function Equation Language (FEL) running on the REDIFLOW simulator, to develop a simple fault-tolerance scheme that avoids complicated issues of state restoration and switching protocols, and to develop implementations of multi-sensor systems that are very close to the abstract system specification and are hence manifestly correct. |
Type |
Text |
Publisher |
University of Utah |
First Page |
1 |
Last Page |
14 |
Subject |
Multi-sensor systems; Multisensor systems |
Subject LCSH |
Functional programming languages |
Language |
eng |
Bibliographic Citation |
Schilcrat, E., Panangaden, P., & Henderson, T. C. (1984). Implementing multi-sensor systems in a functional language. 1-14. UUCS-84-001. |
Series |
University of Utah Computer Science Technical Report |
Relation is Part of |
ARPANET |
Rights Management |
©University of Utah |
Format Medium |
application/pdf |
Format Extent |
2,466,272 bytes |
Identifier |
ir-main,16017 |
ARK |
ark:/87278/s67p9gn9 |
Setname |
ir_uspace |
ID |
703548 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s67p9gn9 |