Breaking Through the V & V Bottle Neck
نویسندگان
چکیده
With conventional methods of performing verification and validation heavily reliant on testing performed late in the software production process the late detection of errors adds substantially to project costs and delays in delivery, and introduces significant risks. This paper presents a method of software development aimed at "correctness by construction", which greatly attenuates these problems. The process described here has been applied successfully to the development of avionic software for the new C-130J ("Hercules") aircraft.
منابع مشابه
An Investigation into Resonant Frequency of Triangular V-Shaped Cantilever Piezoelectric Vibration Energy Harvester
Power supply is a bottle-neck problem of wireless micro-sensors, especially where the replacement of batteries is impossible or inconvenient. Now piezoelectric material is being used to harvest vibration energy for self-powered sensors. However, the geometry of a piezoelectric cantilever beam will greatly affect its vibration energy harvesting ability. This paper deduces a remarkably precise an...
متن کاملOvercoming Winter Rest of Grapevine Grown in Subtropical Regions Using Dormancy-Breaking Agents
Although, grapevines do not have a high chilling requirement, its fulfillment is critical for normal development of the vines. In tropical and subtropical regions such as Farrashband, in the south of Iran, there is no adequate winter chilling to release bud dormancy in grapevines. So it is necessary to consider the effect of chemical dormancy–breaking agents on bud dormancy. In the present rese...
متن کاملSeed germination, dormancy breaking techniques of Citrullus colocynthis (L.) Schrad plant. Sormeh Gharehmatrossian1*, Yu Popov1 and Mahlagha Ghorbanli2
In the present study, dormancy and germination requirements were investigated in seeds of Citrullus colocynthis (L.). Seeds were subjected to 10 pretreatments in the present study. These pretreatments included hot water (100° C) followed by the seeds placed between double layered filter paper moistened with 5 ml of distilled water and kept at 28 - 30 °C, sulphuric acid (98% v/v), for 30 min fo...
متن کاملEvaluation of Post Laryngectomy Pharyngocutaneous Fistula risk Factors
Introduction: Pharyngocutaneous fistula (PCF) is the most common complication after total laryngectomy. Its incidence is extremely variable, with values ranging from 3% and 65%. The management of this problem considerably increases the length and the cost of hospitalization. The aim of this study is to analyze the incidence, predisposing factors, and outcome of PCF in patients undergoing total...
متن کاملComparison of the Roche Septi-Chek blood culture bottle with a brain heart infusion biphasic medium bottle and with a tryptic soy broth bottle.
In a comparison of 1,368 positive blood cultures, a vented Roche Septi-Chek (V-RSC) blood culture bottle was superior to an unvented tryptic soy broth-containing bottle (Difco) for the recovery of all aerobic and facultatively anaerobic microorganisms. Anaerobic bacteria were recovered more frequently and earlier in the unvented tryptic soy broth-containing bottle. A separate comparison of 529 ...
متن کامل