Call for Paper - January 2024 Edition
IJCA solicits original research papers for the January 2024 Edition. Last date of manuscript submission is December 20, 2023. Read More

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

International Journal of Computer Applications
© 2012 by IJCA Journal
Volume 46 - Number 17
Year of Publication: 2012
Andleeb Shahnaz
Farooque Azam

Andleeb Shahnaz and Farooque Azam. Article: Enhancement in a Formal V&V Approach for Real-Time Databases. International Journal of Computer Applications 46(17):25-32, May 2012. Full text available. BibTeX

	author = {Andleeb Shahnaz and Farooque Azam},
	title = {Article: Enhancement in a Formal V&V Approach for Real-Time Databases},
	journal = {International Journal of Computer Applications},
	year = {2012},
	volume = {46},
	number = {17},
	pages = {25-32},
	month = {May},
	note = {Full text available}


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.


  • Misconceptions about real time databases, John A. Stankovic and Sang Hyuk Son (University of Virginia, Charlottesville), Jorgen Hansson (University of Skovde, Sweden), 1999
  • PhD Proposal on qRTDB: QoS-Sensitive Real-Time Database, Kyoung-Don Kang, Department of Computer Science, University of Virginia, December 6, 2001
  • K. Ramamritham. Real-Time Databases. International Journal of Distributed and Parallel Databases, 1(2), 1993.
  • Real-time Systems: Design Principles for Distributed Embedded Applications, Hermann Kopetz, 2011
  • Designing concurrent, distributed, and real-time applications with UML, Hassan Gomaa, George Mason University, Fairfax, VA, 2006
  • "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
  • "Guidance on Environmental Data Verification and Data Validation" U. S. Environmental Protection Agency Quality System Series, 2002
  • 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/)
  • Temporal and Real-Time Databases: A Survey, Gultekin Ozsoyoilu and Richard T. Snodgrass, 2008
  • What is a Temporal Database, Chris Klassen, 2008
  • "Real-Time Database Modeling Considering Quality of Service", Pedro Fernandes Ribeiro Neto, Maria Ligia Barbosa Perkusich, Angelo Perkusich, 2003
  • 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
  • Fundamentals of Database Systems, Addison Wesley, R. Elmasri and S. B. Navathe. (4th edition, 2003. ) & (5th edition, 2008)
  • 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.
  • 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.
  • F. Bancilhon, "Object-oriented database systems," Proc. ACM SIGACTNGMOD PODS Conf. , Austin, Texas, pp. 152-162, 1988.
  • A Validation of Object Oriented Metrics, Khaled El Emam, Saida Benlarbi Nishith Goel, Shesh Rai, 2010
  • A Logical Temporal Relational Data Model, Nadeem Mahmood, Aqil Burney and Kamran Ahsan, January 2010
  • The Role of Object-Oriented Temporal Databases in Information Systems, Paul Schleifer, Yuan Sun, Dilip Patel, 2007
  • Benchmarking temporal database models with interval-based and temporal element-based time-stamping, Seo-Young Noh, Shashi K. Gadia, 2008
  • 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
  • Verification, validation and test with Model Based Design, Tom Erkkinen, Mirko Conrad, 2008