Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Field-Programmable Logic and Applications (FPL 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1304))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Atmel ES2, Zone Industrielle, 13106 Rousset Cedex, France. AT91 Series Microcontrollers — Product Overview.

    Google Scholar 

  3. D.W. Clarke and P.M. Fraher. Model-based validation of a DOx sensor. Control Engineering Practice, 4(9):1313–1320, 1995.

    Article  Google Scholar 

  4. M. Henry. Fieldbus and sensor validation. IEE Computing and Control Journal, 6(6):263–272, 1995.

    Google Scholar 

  5. M. Henry. Smart field devices and sensor validation. IEE Computing and Control Journal, 6(6):263–272, 1995.

    Google Scholar 

  6. M. Henry and D.W. Clarke. The self-validating sensor: rationale, definitions and examples. Control Eng. Practice, 1(4):585–610, 1993.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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. I. Page. Constructing hardware-software systems from a single description. Journal of VLSI Signal Processing, 12(1):87–107, 1996.

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Oxford University Computing Laboratory, Parks Road, 0X1 3QD, Oxford, UK

    Ian Page

Authors
  1. Ian Page
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wayne Luk Peter Y. K. Cheung Manfred Glesner

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Page, I. (1997). Hardware compilation, configurable platforms and ASICs for self-validating sensors. In: Luk, W., Cheung, P.Y.K., Glesner, M. (eds) Field-Programmable Logic and Applications. FPL 1997. Lecture Notes in Computer Science, vol 1304. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63465-7_247

Download citation

  • DOI: https://doi.org/10.1007/3-540-63465-7_247

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63465-2

  • Online ISBN: 978-3-540-69557-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation