Toward a wider use of formal methods for aerospace systems design and verification

Autor:	Yamine Ait Ameur, Virginie Wiels, Frédéric Boniol
Rok vydání:	2009
Předmět:	Dependability analysis Computer science business.industry ComputerApplications_COMPUTERSINOTHERSYSTEMS Avionics Formal methods Formal specification Theory of computation Systems engineering Aerospace systems Software engineering business Aerospace Software Information Systems
Zdroj:	International Journal on Software Tools for Technology Transfer. 12:1-7
ISSN:	1433-2787 1433-2779
DOI:	10.1007/s10009-009-0131-4
Popis:	Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. One of the major fields where these methods made a lot of progress are the avionics, aerospace and more generally transport areas. Several methods, tools and techniques have been applied for the development of such systems in different parts of the world, and they have been actually put into practice during the development of specific aircraft programs. The aim of this introductory article and of this STTT special issue is to propose a brief overview of the state-of-the-art of current researches in formal methods applied to the development of avionics and aerospace systems and more broadly to take stock of the integration of formal methods in the aerospace industry.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c233c4e8c3c7372a2ec186ebd1881fb7 https://doi.org/10.1007/s10009-009-0131-4 Zobrazit plný text záznamu Full text from SpringerLink