CFP last date
20 December 2024
Reseach Article

Enhancement in a Formal V&V Approach for Real-Time Databases

by Andleeb Shahnaz, Farooque Azam
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 46 - Number 17
Year of Publication: 2012
Authors: Andleeb Shahnaz, Farooque Azam
10.5120/7010-9582

Andleeb Shahnaz, Farooque Azam . Enhancement in a Formal V&V Approach for Real-Time Databases. International Journal of Computer Applications. 46, 17 ( May 2012), 25-32. DOI=10.5120/7010-9582

@article{ 10.5120/7010-9582,
author = { Andleeb Shahnaz, Farooque Azam },
title = { Enhancement in a Formal V&V Approach for Real-Time Databases },
journal = { International Journal of Computer Applications },
issue_date = { May 2012 },
volume = { 46 },
number = { 17 },
month = { May },
year = { 2012 },
issn = { 0975-8887 },
pages = { 25-32 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume46/number17/7010-9582/ },
doi = { 10.5120/7010-9582 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:40:00.582719+05:30
%A Andleeb Shahnaz
%A Farooque Azam
%T Enhancement in a Formal V&V Approach for Real-Time Databases
%J International Journal of Computer Applications
%@ 0975-8887
%V 46
%N 17
%P 25-32
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

With the evolution of concepts in databases' field, the complexity of systems is also increasing along with their efficiency. In conjunction with consistency and concurrency related problems, a related issue is data verification and data validation. To cater to the data collisions and synchronization problems, data verification and validation comes to play its part. This paper is motivated to quantify and enhance one of the available "formal verification and validation approach for real time databases" presented by "Ribeiro Neto, Perkusich, Oliveira De Almeida and Perkusich". This existing V&V technique uses the object oriented data models for real time databases. In this paper, first of all we highlight the issues associated with the use of object models and also their impacts on the accuracy of this verification and validation approach which is being analyzed. Secondly, a comparison of different alternatives for real time data modeling is carried out and on the basis of this comparison, an alternative for minimizing or solving these issues of object data models is proposed. Thirdly, an additional step, for gathering requirements for real time databases is added in this V&V approach.

References
  1. Misconceptions about real time databases, John A. Stankovic and Sang Hyuk Son (University of Virginia, Charlottesville), Jorgen Hansson (University of Skovde, Sweden), 1999
  2. PhD Proposal on qRTDB: QoS-Sensitive Real-Time Database, Kyoung-Don Kang, Department of Computer Science, University of Virginia, December 6, 2001
  3. K. Ramamritham. Real-Time Databases. International Journal of Distributed and Parallel Databases, 1(2), 1993.
  4. Real-time Systems: Design Principles for Distributed Embedded Applications, Hermann Kopetz, 2011
  5. Designing concurrent, distributed, and real-time applications with UML, Hassan Gomaa, George Mason University, Fairfax, VA, 2006
  6. "A Formal Verification And Validation Approach For Real Time Databases", Pedro Fernandes Ribeiro Neto, Maria Ligia Barbosa Perkusich, Hyggo Oliveira De Almeida, Angelo Perkusich, 2009
  7. "Guidance on Environmental Data Verification and Data Validation" U. S. Environmental Protection Agency Quality System Series, 2002
  8. Jensen, K. (1999). Design/CPN 4. 0. Meta software Corporation and Department of Computer Science, University of Aarhus, Denmark. Retrieved May 19, 2006, from (http://www. daimi. aau. dk/designCPN/)
  9. Temporal and Real-Time Databases: A Survey, Gultekin Ozsoyoilu and Richard T. Snodgrass, 2008
  10. What is a Temporal Database, Chris Klassen, 2008
  11. "Real-Time Database Modeling Considering Quality of Service", Pedro Fernandes Ribeiro Neto, Maria Ligia Barbosa Perkusich, Angelo Perkusich, 2003
  12. An Approach for Real-Time Database Modeling and Performance Management - Jisu Oh and Kyoung-Don Kang, Department of Computer Science, State University of New York at Binghamton, appeared in: Real Time and Embedded Technology and Applications Symposium, 2007. RTAS '07. 13th IEEE
  13. Fundamentals of Database Systems, Addison Wesley, R. Elmasri and S. B. Navathe. (4th edition, 2003. ) & (5th edition, 2008)
  14. L. B. C. Di Pippo and V. F. Wolfe, "Object-based semantic real-time concurrency control," Proc. 14th IEEE Real-Time Systems Symp. , Dec. 1993.
  15. J. Lee and S. H. Son, ''Issues in developing object-oriented database systems for real-time applications," Proc. IEEE Workshop Real-Time Applications, Washington, D. C. , 1994.
  16. F. Bancilhon, "Object-oriented database systems," Proc. ACM SIGACTNGMOD PODS Conf. , Austin, Texas, pp. 152-162, 1988.
  17. A Validation of Object Oriented Metrics, Khaled El Emam, Saida Benlarbi Nishith Goel, Shesh Rai, 2010
  18. A Logical Temporal Relational Data Model, Nadeem Mahmood, Aqil Burney and Kamran Ahsan, January 2010
  19. The Role of Object-Oriented Temporal Databases in Information Systems, Paul Schleifer, Yuan Sun, Dilip Patel, 2007
  20. Benchmarking temporal database models with interval-based and temporal element-based time-stamping, Seo-Young Noh, Shashi K. Gadia, 2008
  21. Formal Validation and Verification of Space Flight Software Using Statechart-Assertions and Runtime Execution Monitoring, Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael and Man-Tak Shing, 2011
  22. Verification, validation and test with Model Based Design, Tom Erkkinen, Mirko Conrad, 2008
Index Terms

Computer Science
Information Sciences

Keywords

Real-time Databases Formal Verification And Validation Approach Data Modeling Comparison Of Data Models Relational Data Models Temporal Relational Data Models Temporal Data Models Temporal Object-oriented Data Models Pros And Cons Of Object Data Models For Rtdbs