Rapid Prototyping Software For Avionics Systems

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing. This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.

This paper describes a design tool called ECATE (Expert Consultant for Avionics System Transformation Exploitation) developed by the Avionics System and Equipment Group of Aeritalia. ECATE, rapidly prototyping different alternatives, helps the designer in establishing the information flow architecture of the avionics system, that is the organization of the internal data handling. The tool provides the user with an interface to assist him in describing the avionics from the point of view of the data handling, and presents the results in a suitable format; it performs consistency checks and advices the user on possible architectural problems by means of the expert system techniques. The paper contains also some indications on the development environment of the tool and how it works in a consulting session. Some examples give an idea of the result that can be obtained. Conclusion is that not only the tool is valuable for the information flow architecture design but also it shows that the use of the knowledge engineering and the Artificial Intelligence techniques can be effective to meet the problems arising when complex systems, not only avionics, are involved. NATO Furnished. (rh).

The 1982 statistics on the use of family planning and infertility services presented in this report are preliminary results from Cycle III of the National Survey of Family Growth (NSFG), conducted by the National Center for Health Statistics. Data were collected through personal interviews with a multistage area probability sample of 7969 women aged 15-44. A detailed series of questions was asked to obtain relatively complete estimates of the extent and type of family planning services received. Statistics on family planning services are limited to women who were able to conceive 3 years before the interview date. Overall, 79% of currently mrried nonsterile women reported using some type of family planning service during the previous 3 years. There were no statistically significant differences between white (79%), black (75%) or Hispanic (77%) wives, or between the 2 income groups. The 1982 survey questions were more comprehensive than those of earlier cycles of the survey. The annual rate of visits for family planning services in 1982 was 1077 visits /1000 women. Teenagers had the highest annual visit rate (1581/1000) of any age group for all sources of family planning services combined. Visit rates declined sharply with age from 1447 at ages 15-24 to 479 at ages 35-44. Similar declines with age also were found in the visit rates for white and black women separately. Nevertheless, the annual visit rate for black women (1334/1000) was significantly higher than that for white women (1033). The highest overall visit rate was for black women 15-19 years of age (1867/1000). Nearly 2/3 of all family planning visits were to private medical sources. Teenagers of all races had higher family planning service visit rates to clinics than to private medical sources, as did black women age 15-24. White women age 20 and older had higher visit rates to private medical services than to clinics. Never married women had higher visit rates to clinics than currently or formerly married women. Data were also collected in 1982 on use of medical services for infertility by women who had difficulty in conceiving or carrying a pregnancy to term. About 1 million ever married women had 1 or more infertility visits in the 12 months before the interview. During the 3 years before interview, about 1.9 million women had infertility visits. For all ever married women, as well as for white and black women separately, infertility services were more likely to be secured from private medical sources than from clinics. The survey design, reliability of the estimates and the terms used are explained in the technical notes.

This book constitutes the refereed proceedings of the International Workshop on Databases in Networked Information Systems, DNIS 2000, held in Aizu, Japan in December 2000. The 17 revised full invited and selected papers have been carefully reviewed for inclusion in the book. The papers are organized in topical sections on data management systems, database systems - storage and retrieval, and networked information systems applications.

This book constitutes the refereed proceedings of UNISCON 2008 held in Klagenfurt, Austria, during April 22-25, 2008. UNISCON combines the ECOMO workshop series and the ISTA conference series. The 19 papers dealing with conceptual modeling, model-driven software development and information systems applications represent a 30% selection from the original set of submissions. They are completed by two keynote lectures and 35 papers from internationally renowned researchers, invited in honor of Heinrich C. Mayr, whose 60th birthday is also celebrated at this event, that he originally created.