Verification and Validation of Real-Time Software

1985 ◽  
Keyword(s):  
Real Time ◽  
Verification And Validation

Verification and Validation of Real Time Software (W. J. Quirk, eds.)

SIAM Review ◽  
1987 ◽  
Vol 29 (4) ◽  
pp. 676-678
Author(s):  
Boleslaw K. Szymanski
Keyword(s):  
Real Time ◽  
Verification And Validation

A Formal Verification and Validation Approach for Real-Time Databases

2009 ◽  
pp. 3160-3178
Author(s):  
Pedro Fernandes Ribeiro Neto ◽  
Maria Li´gia Barbosa Perkusich ◽  
Hyggo Oliveira de Almeida ◽  
Angelo Perkusich
Keyword(s):  
Sensor Networks ◽  
Formal Verification ◽  
Real Time ◽  
Stock Exchange ◽  
Database Systems ◽  
Multimedia Systems ◽  
Verification And Validation ◽  
Computer Integrated Manufacturing ◽  
Control Mechanisms ◽  
Real Time Database

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.

Hardware-in-the-Loop Simulation Using Tricon v9 Safety PLC

2008 ◽  
Author(s):  
Drew J. Rankin ◽  
Jin Jiang
Keyword(s):  
Real Time ◽  
Nuclear Power ◽  
Verification And Validation ◽  
Programmable Logic ◽  
Hardware In The Loop ◽  
Design Basis ◽  
Regulatory Standards ◽  
Safety Plc ◽  
Simulation Environments ◽  
Hil Simulation

This paper presents the performance of shutdown system one (SDS1) implemented on a programmable logic controller (PLC) within real-time hardware-in-the-loop (HIL) simulation. SDS1 evaluation is focused on steam generator (SG) level low trip scenarios. A comparison of the findings with simulated expected plant operation is performed. An Invensys Triconex Tricon v9 safety PLC is interfaced to a real-time nuclear power plant (NPP) simulation suite (DarlSIM), replicating the operation of the Darlington NPP SDS1. Design basis accidents (DBA) associated with SDS1 regulatory standards are developed and applied to the two simulation environments. HIL simulation is a preferred method for testing systems prior to installation and is necessary to ensure proper SDS verification and validation. The performance of the Tricon v9 PLC, the HIL simulation platform and the two simulation environments are evaluated.

scholarly journals Verification and Validation for Safety Critical Real Time Computers

2007 ◽  
Vol 1 (1) ◽  
pp. 15-21 ◽  
Author(s):  
D Thirugnana Murthy ◽  
T Sridevi ◽  
A Shanmugam ◽  
P Swaminathan
Keyword(s):  
Real Time ◽  
Verification And Validation ◽  
Safety Critical

A Formal Verification and Validation Approach for Real-Time Databases

2007 ◽  
pp. 111-135
Author(s):  
Pedro Fernandes Ribeiro Neto ◽  
Maria Lígia Barbosa Perkusich ◽  
Hyggo Oliveira de Almeida ◽  
Angelo. Perkusich
Keyword(s):  
Sensor Networks ◽  
Formal Verification ◽  
Real Time ◽  
Stock Exchange ◽  
Database Systems ◽  
Multimedia Systems ◽  
Verification And Validation ◽  
Computer Integrated Manufacturing ◽  
Control Mechanisms ◽  
Real Time Database

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.

Sign in / Sign up

Export Citation Format

Share Document