Welcome to the InfoSci Platform
A Formal Verification and Approach for Real-Time Databases

A Formal Verification and Approach for Real-Time Databases

Pedro Fernandes Ribeiro Neto, Maria Lígia Barbosa Perkusich, Hyggo Oliveira De Almeida, Angelo Perkusich
Copyright: © 2009 |Pages: 28
ISBN13: 9781605660981|ISBN10: 1605660981|ISBN13 Softcover: 9781616926045|EISBN13: 9781605660998
DOI: 10.4018/978-1-60566-098-1.ch013
Cite Chapter Cite Chapter

MLA

Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Approach for Real-Time Databases." Selected Readings on Database Technologies and Applications, edited by Terry Halpin, IGI Global, 2009, pp. 268-295. https://doi.org/10.4018/978-1-60566-098-1.ch013

APA

Ribeiro Neto, P. F., Barbosa Perkusich, M. L., De Almeida, H. O., & Perkusich, A. (2009). A Formal Verification and Approach for Real-Time Databases. In T. Halpin (Ed.), Selected Readings on Database Technologies and Applications (pp. 268-295). IGI Global. https://doi.org/10.4018/978-1-60566-098-1.ch013

Chicago

Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Approach for Real-Time Databases." In Selected Readings on Database Technologies and Applications, edited by Terry Halpin, 268-295. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-098-1.ch013

Export Reference

Mendeley
Favorite

Abstract

Real-time database-management systems provide efficient support for applications with data and transactions that have temporal constraints, such as industrial automation, aviation, and sensor networks, among others. Many issues in real-time databases have brought interest to research in this area, such as: concurrence control mechanisms, scheduling policy, and quality of services management. However, considering the complexity of these applications, it is of fundamental importance to conceive formal verification and validation techniques for real-time database systems. This chapter presents a formal verification and validation method for real-time databases. Such a method can be applied to database systems developed for computer integrated manufacturing, stock exchange, network-management, and command- and-control applications and multimedia systems. In this chapter, we describe a case study that considers sensor networks.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.