Advertisement

Hardware compilation, configurable platforms and ASICs for self-validating sensors

  • Ian Page
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1304)

Abstract

We describe the use of hardware compilation techniques to provide a flexible interfacing and computing platform for building self-validating (SEVA) sensors. SEVA technology has been developed at Oxford as a generic method of supplying a real-time guarantee on the quality of a physical measurement as well as the measurement itself. We describe the reconfigurable hardware platforms that have been constructed to support this work and the development tools and techniques used to generate new sensor implementations quickly and reliably. We further describe the compilation of SEVA systems into RISC-based ASIC technology for mass market applications.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Atia, J. Bowles, D.W. Clarke, M.P. Henry, I. Page, J. Randall and J.C. Yang. A self-validating temperature sensor implemented in FPGAs. In W. Luk and W. Moore, editors, Field Programmable Logic and Applications, Lecture Notes in Computer Science. Springer Verlag, 1995.Google Scholar
  2. 2.
    Atmel ES2, Zone Industrielle, 13106 Rousset Cedex, France. AT91 Series Microcontrollers — Product Overview.Google Scholar
  3. 3.
    D.W. Clarke and P.M. Fraher. Model-based validation of a DOx sensor. Control Engineering Practice, 4(9):1313–1320, 1995.CrossRefGoogle Scholar
  4. 4.
    M. Henry. Fieldbus and sensor validation. IEE Computing and Control Journal, 6(6):263–272, 1995.Google Scholar
  5. 5.
    M. Henry. Smart field devices and sensor validation. IEE Computing and Control Journal, 6(6):263–272, 1995.Google Scholar
  6. 6.
    M. Henry and D.W. Clarke. The self-validating sensor: rationale, definitions and examples. Control Eng. Practice, 1(4):585–610, 1993.CrossRefGoogle Scholar
  7. 7.
    M.P. Henry, N. Archer, M. Atia, J. Bowles, D.W. Clarke, P. Fraher, I. Page, J. Randall and J.C. Yang. Programmable hardware architectures for sensor validation. Control Eng. Practice, 4(10):1339–1354, 1996.CrossRefGoogle Scholar
  8. 8.
    C.A.R. Hoare and Ian Page. Hardware and software: the closing gap. Transputer Communications, 2(2):69–90, June 1994.Google Scholar
  9. 9.
    I. Page. Constructing hardware-software systems from a single description. Journal of VLSI Signal Processing, 12(1):87–107, 1996.CrossRefGoogle Scholar
  10. 10.
    Ian Page. Video motion tracking using Harp and Handel: A case study. In Proc. 7th Annual Advanced PLD and FPGA Conference. Miller Freeman PLC, London, SE18 6QH, May 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Ian Page
    • 1
  1. 1.Oxford University Computing LaboratoryOxfordUK

Personalised recommendations