Abstract
This paper presents an industrial experiment in avionics of the programming environment SILDEX based on the synchronous model, and an approach to the design and implementation of such safety critical embedded systems, developped in the framework of the Esprit project SACRES. The goal of the project is to integrate into a complete and unified environment, around the synchronous models technology, a variety of specification tools such as STATEMATE, SILDEX, TIMING DIAGRAMS and tools for verification, code generation and validation of the code produced.
The work described in the article is partly funded by tje CEC as Esprit Project Ep 20897 SACRES (SAfety CRitical En\mbedde Systems: frm requirements to system architecture).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270–1282, September 1991.
A. Benveniste e.a. Synchronous technology for Real-Time Systems. In Actes du Salon Real-Time Systems RTS’94, Paris, Janvier 1994.
W. Damm, B. Josko, R. Schlor. Specification and verification of VHDL-based system-level hardware designs. In E. Borger ed., Specification and Validation Methods, pp. 331–410. Oxford University Press, 1995.
A. Grazebrook. SACRES - Formalism for Real Projects. In Safer Systems, ed. F. Redmill & T. Anderson, Springer Verlag, London, 1997.
A. Janvier, P. Beaufreton. Experience synchrone pour la regulation numerique de turbo-reacteurs. In Actes du Salon Real-Time Systems RTS’95, Paris, Janvier 1995. Teknea.
A. Kountouris, P. Le Guernic. Profiling of SIGNAL programs and its application in the timing evaluation of design implementations. In Proc. of the IEE Colloq. on HW-SW Cosynthesis for Reconfigurable Systems, Feb. 22, 1996, HP Labs., Bristol, UK, pp.6/1–6/9. 1996.
P. Le Guernic, M. Le Borgne, T. Gautier, C. Le Maire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1270–1282, September 1991.
RTCA & EUROCA. DO-178B,ED-12B : Software Consideration in airborne systems and equipment certification, decembre 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Baufreton, P., Méhaut, X., Rutten, É. (1997). Embedded Systems in Avionics and the SACRES Approach. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_24
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0997-6_24
Publisher Name: Springer, London
Print ISBN: 978-3-540-76191-4
Online ISBN: 978-1-4471-0997-6
eBook Packages: Springer Book Archive