Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools.This paper presents an approach of formal modeling and validation for software pr...

This paper describes the application of an automated verification tool to a software model developed at Ford. Ford already has in place an advanced model-based software development framework that employs the Matlab R ©, Simulink R ©, and Stateflow R © modeling tools. During this project we applied the invariant checker Salsa to a Simulink R ©/ Stateflow R © model of automotive software to check...

My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques for improving end-user software engineering. All of these techniques need to have some type of empirical validation. In many cases this validation is performed by the researcher, but in other cases it is not. Regardles...

This document is part of the National PDES Testbed Report Series and is intended to complement the other reports of the Validation Testing System (VTS) project. Other documents describe the methodology for model validation and software requirements for automating that methodology. The problem of sharing data has many facets. The need for the capability to share data across multiple enterprises,...

We describe the motivation and concepts of a validation driven software development process (PTAH). It extends the use-case driven approach defined by Jacobsen et al. (1992) and the unified process described by Jacobsen et al. (1999) by actively integrating end users into the requirements specification and its direct evaluation. Our experience in software projects clearly shows that even graphi...

in this research, to considering the theoretical background of the research andmodel of organizational justice, ten items were designed; then, thirty-two variableswere extracted. finally, the matching variables with model of organizational justicewere performed. the proposed model was designed according to the extractionvariables and their matching. to structural and conceptual validation, the ...

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and val...

Quality is an aspect of high importance in software development projects. The software organizations have to ensure that the quality of their developed products is what the customers expect. Thus, the organizations have to verify that the product is functioning as expected and validate that the product is what the customers expect. Empirical studies have shown that in many software development ...

The National Library of Medicine and its partners are sponsoring Insight, a public software toolkit for segmentation and registration of high dimensional medical data. An essential element of this initiative is the development of a validation methodology, a common means of comparing the precision, accuracy, and efficiency of segmentation and registration methods. The goal is to make accessible ...