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

A Formal Verification and Validation Approach for Real-Time Databases

Pedro Fernandes Ribeiro Neto, Maria Li´gia Barbosa Perkusich, Hyggo Oliveira de Almeida, Angelo Perkusich
Copyright: © 2009 |Pages: 19
ISBN13: 9781605660608|ISBN10: 1605660604|EISBN13: 9781605660615
DOI: 10.4018/978-1-60566-060-8.ch183
Cite Chapter Cite Chapter

MLA

Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Validation Approach for Real-Time Databases." Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, IGI Global, 2009, pp. 3160-3178. https://doi.org/10.4018/978-1-60566-060-8.ch183

APA

Ribeiro Neto, P. F., Barbosa Perkusich, M. L., de Almeida, H. O., & Perkusich, A. (2009). A Formal Verification and Validation Approach for Real-Time Databases. In P. Tiako (Ed.), Software Applications: Concepts, Methodologies, Tools, and Applications (pp. 3160-3178). IGI Global. https://doi.org/10.4018/978-1-60566-060-8.ch183

Chicago

Ribeiro Neto, Pedro Fernandes, et al. "A Formal Verification and Validation Approach for Real-Time Databases." In Software Applications: Concepts, Methodologies, Tools, and Applications, edited by Pierre F. Tiako, 3160-3178. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-060-8.ch183

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.