We present a framework for the specification of distributed protocols based on a logic-based presentation of bipartite graphs. For the considered language, we define assertions that can be applied to arbitrary configurations. We apply the language to model the distributed version of the Dining Philosopher Protocol. The protocol is defined for asynchronous processes distributed over a graph with...

In general, the quality of fruits depends on local conditions experienced by the fruit during its development. In cotton, fruit quality, and more specifically the quality of the fibre in the fruit, depends on interactions between fruit position in the plant architecture, temperature and agronomic practices, such as sowing time, mulching with plastic film and topping of the plant's main stem and...

The elements of the validation process, the features and tools of SAS software, and the structure of the Systems Development Life Cycle (SDLC) are indeed compatible. This paper will address: the definitions of verification, validation, testing, and debugging, as well as the structure of the SDLC. It will illustrate how the SAS system can be used to help satisfy the requirements of your SDLC and...

ions are correct or not. To be correct would mean to match all stakeholder understanding of the system, a particularly difficult task to concretize in an specification (model). It is important to notice that the problem we identify here is the fact that states the distinction among verification and validation activities in the testing discipline. To verify means to check whether the model satis...

This paper describes the intermediate results of a project to develop automated, high integrity, software verification and validation techniques for aerospace applications. Automated specification validation and test case generation are made possible by the targeted use of formal methods. Specifically, the restricted domain of use is exploited to reduce the set of mathematical problems to those...

As we are moving from a traditional software development process to a new development paradigm where the process it largely driven by tools and automation, new challenges for verification and validation (V&V) emerge. Productivity improvements will in this new paradigm be achieved through reduced emphasis on testing of implementations, increased reliance on automated analysis tools applied in th...

This paper introduces a new notion called Verification & Validation (V&V) Lifecycle Method-ologies, examining what V&V is, and expanding its scope to the entire software lifecycle (much beyond traditional methods of software testing). V&V Lifecycle Methodologies are streamlined and efficient, yet highly holistic and concisely measured step-by-step threaded and sequenced approaches to predictive...