Search

Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models. Together with the standard enriched editor, easy to trace counter-example viewer, modular temporal property definition, exporting a model and its transition system to some other formats facilities are features of Afra. Rebeca family provides actor-based modeling languages which are designed to bridge the gap between formal methods and software engineering. Faithfulness to the system being modeled, and the usability of Rebeca family languages help in ease of modeling and analysis of the model, together with the synthesis of the system based on the model. In this paper, architectural decisions and design strategies we made in the development of Afra are presented. This makes Afra an extensible and reusable application for the modeling and analysis of Rebeca family models. Here, we show how different compilers can be developed for the family of languages which are the same in general language constructs but have some minor differences. Then we show how the model checking engine for these different languages is designed. Despite the fact that Afra has a layered object-oriented design and is developed in Java technology, we use C++ codes for developing its model checking for the performance purposes. This decision made the design of the application even harder.

Purpose - The report summarizes the state-of-the-art in aircraft end-of-life strategies. A focus is on latest aircraft types with a high percentage of composite materials. --- Methodology - A literature review is the basic research method utilized. Apart from books, journals, conference proceedings, and dissertations, also technical reports and industrial news have been included into the search results. The field of aircraft end-of-life is still comparatively small, resulting in a manageable amount of literature addressing the topic directly. --- Findings - Research has been done on the topic by Airbus, Boeing, other industrial companies, and academic institutions. A market for recycled material is missing. Regulations about aircraft recycling are strongly needed but are not foreseeable in the near future. Nevertheless, the trend goes to extended producer responsibility. The aircraft recycling industry starts to build up now by the launch of several recycling plants. The aircraft recycling market will slowly mature with associations like the Aircraft Fleet Recycling Association (AFRA) and with the publication of guidance material for best practices. The significant higher percentage of composites in modern aircraft types is a challenge for aircraft recycling. --- Research limitations - The study provides only an overview on the aircraft end-of-life sector. Further research needs to be done on individual specific aspects. --- Value - The paper gives a year 2020 update on the state-of-the-art of aircraft end-of-life handling, including an overview on composite recycling regarding latest aircraft types.

Purpose - The report summarizes the state-of-the-art in aircraft end-of-life strategies. A focus is on latest aircraft types with a high percentage of composite materials. --- Methodology - A literature review is the basic research method utilized. Apart from books, journals, conference proceedings, and dissertations, also technical reports and industrial news have been included into the search results. The field of aircraft end-of-life is still comparatively small, resulting in a manageable amount of literature addressing the topic directly. --- Findings - Research has been done on the topic by Airbus, Boeing, other industrial companies, and academic institutions. A market for recycled material is missing. Regulations about aircraft recycling are strongly needed but are not foreseeable in the near future. Nevertheless, the trend goes to extended producer responsibility. The aircraft recycling industry starts to build up now by the launch of several recycling plants. The aircraft recycling market will slowly mature with associations like the Aircraft Fleet Recycling Association (AFRA) and with the publication of guidance material for best practices. The significant higher percentage of composites in modern aircraft types is a challenge for aircraft recycling. --- Research limitations - The study provides only an overview on the aircraft end-of-life sector. Further research needs to be done on individual specific aspects. --- Value - The paper gives a year 2020 update on the state-of-the-art of aircraft end-of-life handling, including an overview on composite recycling regarding latest aircraft types.

From 1066 to about 1100 contacts between Augsburg and Girona on issues concerning the veneration of saints were particularly intense. Augsburg required information about bishop Narcissus, revered in Girona, who, according to the Conversio et passio (II) S. Afrae, converted a prostitute from Augsburg named Afra and her household to Christianity. On the other hand, Girona was interested in Afra’s legend, and has possessed since 1328 the most beautiful late–medieval representation of this legend in the reliefs of Narcissus’ tomb., Vom Jahr 1066 bis ca. 1100 gab es intensive Kontakte zwischen Augsburg und Gerona über Fragen der Heiligenverehrung. Augsburg wollte etwas über den in Gerona verehrten Bischof Narcissus erfahren, der nach der Conversio et passio (II) S. Afrae die Augsburger Dirne Afra und ihr Haus zum Christentum bekehrt hatte. Gerona wiederum interessierte sich für die Augsburger Afralegende und besitz seit 1328 mit den Plastiken des Narcissus–Schreins in St. Feliu die schönste spätmittelalterliche Darstellung dieser Legende.

From 1066 to about 1100 contacts between Augsburg and Girona on issues concerning the veneration of saints were particularly intense. Augsburg required information about bishop Narcissus, revered in Girona, who, according to the Conversio et passio (II) S. Afrae, converted a prostitute from Augsburg named Afra and her household to Christianity. On the other hand, Girona was interested in Afra’s legend, and has possessed since 1328 the most beautiful late–medieval representation of this legend in the reliefs of Narcissus’ tomb., Vom Jahr 1066 bis ca. 1100 gab es intensive Kontakte zwischen Augsburg und Gerona über Fragen der Heiligenverehrung. Augsburg wollte etwas über den in Gerona verehrten Bischof Narcissus erfahren, der nach der Conversio et passio (II) S. Afrae die Augsburger Dirne Afra und ihr Haus zum Christentum bekehrt hatte. Gerona wiederum interessierte sich für die Augsburger Afralegende und besitz seit 1328 mit den Plastiken des Narcissus–Schreins in St. Feliu die schönste spätmittelalterliche Darstellung dieser Legende.