We describe the SCADE synchronous approach to model-based embedded software design, validation, and implementation for avionics, automotive, railway, and industry applications. SCADE specifications are based on block-diagrams and hierarchical state-machine graphical models with rigorous formal specifications. The SCADE KCG compiler is certified at the highest level of avionics certification, which suppresses the need for generated code unit testing. The SCADE tool has support for visual animation, test-suite coverage analysis, and formal verification. It has gateways to many other tools ranging from system-level specification to performance analysis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm. Cache behavior prediction by abstract inter-pretation. In In SAS’96, Static Analysis Symposium, LNCS 1145, pages 52-66. Springer, 1996.
C. Andr é . Representation and analysis of reactive behaviors: A synchronous approach. In Proc. CESA’96, IEEE-SMC, Lille, France, 1996.
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, January 2003.
J.L. Bergerand and E. Pilaud. Saga: A software development environment for dependability in automatic control. In Proc. Safecomp’88. Pergamon Press, 1988.
G érard Berry. The foundations of Esterel. In Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min é , D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. In In PLDI 2003 ACM SIGPLAN SIGSOFT Conference on Programming Language Design and Implementation, San Diego, California, USA, pages 196-207, 2003.
J.J. Chilenski and S.P. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, 9(5):193-200, September 1994.
J.-L. Colaço, B. Pagano, and M. Pouzet. A conservative extension of synchronous data-flow with state machines. In Proc. Emsoft’05, New Jersey, USA, 2005.
A. Girault. A survey of automatic distribution method for synchronous programs. In: F. Maraninchi, M. Pouzet, and V. Roy, editors, International Workshop on Synchronous Lan-guages, Applications and Programs, SLAP’05, ENTCS, Edinburgh, UK, April 2005. Elsevier Science.
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. In Proceedings of the IEEE, volume 79(9), pages 1305-1320, 1991.
Nicolas Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Pub- lishers, 1993.
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1987.
F. Maraninchi and Y. R émond. Mode automata: A new domain-specific construct for the devel-opment of safe critical systems. Science of Computer Programming, pages 219-254, 2003.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Berry, G. (2007). SCADE: Synchronous Design and Validation of Embedded Control Software. In: Ramesh, S., Sampath, P. (eds) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6254-4_2
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6254-4_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6253-7
Online ISBN: 978-1-4020-6254-4
eBook Packages: EngineeringEngineering (R0)