Using Formal Methods for Verification and Validation in Railway

2016 ◽  
pp. 3-13 ◽  
Author(s):  
Klaus Reichl ◽  
Tomas Fischer ◽  
Peter Tummeltshammer
Keyword(s):  
Formal Methods ◽  
Verification And Validation

Verification and Validation of Nonfunctional Aspects in Enterprise Modeling

2011 ◽  
pp. 257-298
Author(s):  
András Pataricza ◽  
András Balogh ◽  
Lazlos Gonczy
Keyword(s):  
Formal Methods ◽  
Design Patterns ◽  
Best Practice ◽  
Enterprise Modeling ◽  
Verification And Validation ◽  
Transformation Techniques ◽  
Validation And Verification ◽  
Systems Architecture ◽  
Uml Profiles ◽  
Methods And Techniques

This chapter introduces the main notions related to the dependability of applications in a self-contained way in order to bring the topic near to non-experts, the modeling aspects including requirement formulation in UML, the evolving UML profiles, design patterns for the best practice and basic means for testing and formal methods based validation and verification of designs. We also introduce a method that relies on the introduced standards and model transformation techniques that allows the QoS-driven optimization of enterprise systems architecture. The methods and techniques are illustrated with practical example models and problems.

Sign in / Sign up

Export Citation Format

Share Document