P. Borges, J. Machado, E. Villani and J. C. Campos
From SFC Specification to C Programming Language on the Context of Aerospace Systems Control
In Ioan Dumitrache and Catalin Buiu, editors, IFAC Workshop on Intelligent Control Systems 2010, pages 46-51. Elsevier. 2010. (ISBN: 978-1-61782-758-7)

Abstract

Aerospace systems software is developed taking into account some precautions to avoid dangerous situations. Usually the controllers of these systems are critical embedded real-time controllers and the respective software programs are developed in the C programming language. This paper is developed on the context of developing embedded critical real-time systems software, for aerospace systems applications, based on formalisms commonly used in the industrial automation field. More precisely, the approach proposed, in this paper, consists in translating a SFC specification to C programming language code considering also the behaviour of the controller device, where the specification will be implemented. An illustrative case study is presented in the end of the paper in order to facilitate the understanding of the proposed approach.

@InProceedings{BorgesVMFC:2010a,
 author = {P. Borges and J. Machado and E. Villani and J. C. Campos},
 title = {From SFC Specification to C Programming Language on the Context of Aerospace Systems Control},
 booktitle = {IFAC Workshop on Intelligent Control Systems 2010},
 abstract = {Aerospace systems software is developed taking into account some precautions to avoid dangerous situations. Usually the controllers of these systems are critical embedded real-time controllers and the respective software programs are developed in the C programming language. This paper is developed on the context of developing embedded critical real-time systems software, for aerospace systems applications, based on formalisms commonly used in the industrial automation field. More precisely, the approach proposed, in this paper, consists in translating a SFC specification to C programming language code considering also the behaviour of the controller device, where the specification will be implemented. An illustrative case study is presented in the end of the paper in order to facilitate the understanding of the proposed approach.},
 pages = {46-51},
 editor = {Ioan Dumitrache and Catalin Buiu},
 year = {2010},
 note = {ISBN: 978-1-61782-758-7},
 publisher = {Elsevier}
}

Generated by mkBiblio 2.6.23