Abstract
Embedded software in the space domain must satisfy a set of strong constraints related to behaviour and performance, to fulfil user requirements. Moreover,due to the cost reduction trend in the domain and to the global necessity of increasing the quality of complex software systems,early design validation has become a real challenge for software designers. Currently used methods such as HOOD lacks support for behaviour description. Moreover, design validation is not feasible with such methods and first validation has to be made when the coding phase has sufficiently advanced. This occurs too late in the development phase especially when coding is essentially manual. This calls for the adoption of new development strategies based on formal description of the behaviour, on the use of simulation techniques to check the proposed design solution and on automatic code and tests generation techniques to increase productivity.
Following a preliminary successful experience in the context of an ESTEC R&D study called DDV(Dms Design Validation) [1],the SDL and MSC languages and the ObjectGeode tool have been successfully applied on real projects. To complete those first applications of the technique, a PIE project (Process Improvement Experiment) in the ESSI program [2] has been proposed and accepted by the European Community. That project, called SPACES [3], aims at measuring improvement of development processes through the use of automatic coding and testing from a SDL model. This paper tells the complete story of SDL in our on-board division and focuses on the SPACES project and its current achieved results.
Chapter PDF
References
E. Conquet, Ph Humbert, V. Debus, J. Sifakis-Data Management System Design Validation Final report-09/96-ESA contract N○ 9558/91/NL/JG,WO N○20.
European System and Software Initiative-web site: http://www.cordis.lu/esprit/src/stessi.htm.
Matra Marconi Space-SPACES, Software Production through Automatic Coding for Embedded Systems. Project Programme V2.1-08/98.
ITU-T,Recommendation Z.100, Specification and Description language (SDL), COM X-R 17-E, Geneva, March 1992.
Systems Engineering Using SDL-92, A. Olsen, O. Færgemand, B. Møller-Pedersen, R. Reed and J. R. W. Smith. North-Holland 1994, ISBN 0 444 898727.
SDL-formal object-oriented language for communicating systems, J. Ellsberger, D. Hogrefe and A. Sarma. Prentice Hall 1997, ISBN0-13-621384-7.
VERILOG, ObjectGeode method guidelines, version 1.0-VERILOG-1996.
S. Ayache, E. Conquet, Ph. Humbert-Specification and early validation of autonomous spacecraft fault tolerance using SDL-DASIA 96-Roma, May 1996
E. Conquet, G. Touet-« Modélisation et validation d’un logiciel critique en phase de conception, une expérience d’utilisation de LDS/ObjectGeode »-EC/NT/LB/97.092-01/98.
UML Notation Guide version 1.1, Rational Corp, et.al., OMG, Sept. 1997
Doing Hard Time, Bruce Powel Douglass, Addison Wesley, 1998, ISBN 0-201-49837-5
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Conquet, E., Marty, JL. (1999). Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive