scholarly journals VIATRA - visual automated transformations for formal verification and validation of UML models

2003 ◽  
Author(s):  
G. Csertan ◽  
G. Huszerl ◽  
I. Majzik ◽  
Z. Pap ◽  
A. Pataricza ◽  
...  
Keyword(s):  
Formal Verification ◽  
Verification And Validation ◽  
Uml Models

Formal verification and validation of embedded systems: the UML-based MADES approach

2013 ◽  
Vol 14 (1) ◽  
pp. 343-363 ◽  
Author(s):  
Luciano Baresi ◽  
Gundula Blohm ◽  
Dimitrios S. Kolovos ◽  
Nicholas Matragkas ◽  
Alfredo Motta ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Formal Verification ◽  
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.

scholarly journals Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System

2012 ◽  
pp. 378-393 ◽  
Author(s):  
Alessandro Cimatti ◽  
Raffaele Corvino ◽  
Armando Lazzaro ◽  
Iman Narasamdya ◽  
Tiziana Rizzo ◽  
...  
Keyword(s):  
Formal Verification ◽  
Verification And Validation ◽  
Spacing System

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