The Practical Application of Formal Methods: Where Is the Benefit for Industry?

Author(s):  
James J. Hunt
Electronics ◽  
2020 ◽  
Vol 9 (2) ◽  
pp. 327
Author(s):  
Zongyu Cao ◽  
Wanyou Lv ◽  
Yanhong Huang ◽  
Jianqi Shi ◽  
Qin Li

With rapid technological advances in airborne control systems, it has become imperative to ensure the reliability, robustness, and adaptability of airborne software since failure of these software could result in catastrophic loss of property and life. DO-333 is a supplement to the DO-178C standard, which is dedicated to guiding the application of formal methods in the review and analysis of airborne software development processes. However, DO-333 lacks theoretical guidance on how to choose appropriate formal methods and tools to achieve verification objectives at each stage of the verification process, thereby limiting their practical application. This paper is intended to illustrate the formal methods and tools available in the verification process to lay down a general guide for the formal development and verification of airborne software. We utilized the Air Data Computer (ADC) software as the research object and applied different formal methods to verify software lifecycle artifacts. This example explains how to apply formal methods in practical applications and proves the effectiveness of formal methods in the verification of airborne software.


Author(s):  
F. A. Heckman ◽  
E. Redman ◽  
J.E. Connolly

In our initial publication on this subject1) we reported results demonstrating that contrast is the most important factor in producing the high image quality required for reliable image analysis. We also listed the factors which enhance contrast in order of the experimentally determined magnitude of their effect. The two most powerful factors affecting image contrast attainable with sheet film are beam intensity and KV. At that time we had only qualitative evidence for the ranking of enhancing factors. Later we carried out the densitometric measurements which led to the results outlined below.Meaningful evaluations of the cause-effect relationships among the considerable number of variables in preparing EM negatives depend on doing things in a systematic way, varying only one parameter at a time. Unless otherwise noted, we adhered to the following procedure evolved during our comprehensive study:Philips EM-300; 30μ objective aperature; magnification 7000- 12000X, exposure time 1 second, anti-contamination device operating.


2000 ◽  
Vol 5 (6) ◽  
pp. 1-7
Author(s):  
Christopher R. Brigham ◽  
James B. Talmage ◽  
Leon H. Ensalada

Abstract The AMA Guides to the Evaluation of Permanent Impairment (AMA Guides), Fifth Edition, is available and includes numerous changes that will affect both evaluators who and systems that use the AMA Guides. The Fifth Edition is nearly twice the size of its predecessor (613 pages vs 339 pages) and contains three additional chapters (the musculoskeletal system now is split into three chapters and the cardiovascular system into two). Table 1 shows how chapters in the Fifth Edition were reorganized from the Fourth Edition. In addition, each of the chapters is presented in a consistent format, as shown in Table 2. This article and subsequent issues of The Guides Newsletter will examine these changes, and the present discussion focuses on major revisions, particularly those in the first two chapters. (See Table 3 for a summary of the revisions to the musculoskeletal and pain chapters.) Chapter 1, Philosophy, Purpose, and Appropriate Use of the AMA Guides, emphasizes objective assessment necessitating a medical evaluation. Most impairment percentages in the Fifth Edition are unchanged from the Fourth because the majority of ratings currently are accepted, there is limited scientific data to support changes, and ratings should not be changed arbitrarily. Chapter 2, Practical Application of the AMA Guides, describes how to use the AMA Guides for consistent and reliable acquisition, analysis, communication, and utilization of medical information through a single set of standards.


Sign in / Sign up

Export Citation Format

Share Document