A comparison between handwritten and automatic generation of C code from SDL using static analysis

Software - Practice and Experience

Volumn 35, Issue 14, 2005, Pages 1317-1347

  Becucci, Marcello ^a   Fantechi, Alessandro ^a   Giromini, Marco ^b   Spinicci, Emilio ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

^b MBDA ITALIA S P A   (Italy)

Author keywords

Automatic code generation; SDL; Software metrics; Static analysis

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER APPLICATIONS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS;

AUTOMATIC CODE GENERATION; SDL; SOFTWARE METRICS; STATIC ANALYSIS;

BINARY CODES;

EID: 27744587115     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.673     Document Type: Article

References (21)

1. ITU-T. Recommendation Z.100 - Specification and Description Language (SDL). Geneva, 1992.
2. Da Silva C, Dehbonei B, Mejia F. Formal specification in the development of industrial applications: Subway speed control system. Formal Description Techniques, V(C-10), Diaz M, Groz R (eds.). North-Holland: Amsterdam, 1993.
3. Dehbonei B, Mejia F. Formal methods in the railways signalling industry. Proceedings of FME '94: Industrial Benefit of Formal Methods (Lecture Notes in Computer Science, vol. 873). Springer: Berlin, 1994; 26-34.
4. IEEE Guide for the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software. IEEE Std. 982.2, 1988.
5. Muth A, Kolloch T, Maier-Komor T, Fäber G. An evaluation of code generation strategies targeting hardware for the rapid prototyping of SDL specification, 11th IEEE International Workshop on Rapid System Prototyping, Paris, June 2000. IEEE Computer Society Press: Boston, 2000; 134-141.
6. Hännikäinen M, Knuutila J, Hämäläinen T, Saarinen J. Using SDL for implementing a wireless medium access control protocol. International Symposium on Multimedia Software Engineering, Taipei, Taiwan, December 2000. IEEE Computer Society Press: Boston, 2000; 229-236.
7. Drake T. Measuring software quality: A case study. IEEE Computer 1996; 29(11):78-87.
8. Lancon E. Software metrics to improve software quality in HEP. CHEP '95 Computing for the Next Millennium, Rio de Janeiro, September 1995. World Scientific, 1995.
9. Bert D, Boulmé S, Potet M, Requet A, Voisin L. Adaptable translator of B specifications to embedded C programs. Proceedings of the 12th International Formal Methods Europe Symposium (FM 2003), Pisa, Italy, September 2003 (Lecture Notes in Computer Science, vol. 2805). Springer: Berlin, 2003; 94-113.
10. Telelogic TAU user's manual. Technical Paper, Telelogic AB, Sweden, 1999.
11. O'Donnell R, Waldt B, Bergstrand J. Automatic code for embedded system based on formal methods. Technical Paper, Telelogic AB, Sweden, April 1999.
12. Terrestrial Trunked Radio (TETRA); Technical Requirements for Direct Mode Operation (DMO); Part 4: Type 1 Repeater Air Interface. ETSI Std. ETS EN 300 396-4, 2000.
13. Dunlop J, Girma D, Irvine J. Digital Mobile Communications and the TETRA System. John Wiley: New York, August 1999.
14. Bacherini S, Bianchi S, Capecchi L, Becheri C, Felleca A, Fantechi A, Spinicci E. Modelling a railway signalling system using SDL. Proceedings of FORMS 2003 Symposium on Formal Methods for Railway Operation and Control Systems, Budapest, Hungary, May 2003. L'Harmattan: Budapest, 2003; 107-113.
15. Fantechi A, Spinicci E. Modelling and validating a multiple configuration railway signalling system using SDL. Proceedings of TACoS 2003 International Workshop on Test and Analysis of Component Based Systems, Warsaw, Poland, April 2003 (Electronic Notes in Theoretical Computer Science 82(6)). Elsevier: Amsterdam, 2003; 75-85.
16. McCabe TJ. A complexity measure. IEEE Transactions on Software Engineering 1976; SE-2(4):308-320.
17. Pressman R. Software Engineering: A Practitioner's Approach. McGraw-Hill: New York, 1992.
18. Dahl O, Dijkstra E, Hoare C. Structured Programming. Academic Press: New York, 1973.
19. Watson AH, McCabe TJ. Structured testing: A testing methodology using the cyclomatic complexity metric. NIST Special Publication 500-235, National Institute of Standards and Technology, September 1996.
20. McCabe TJ, Butler CW. Design complexity measurement and testing. Communications of the ACM 1989; 32(12).
21. Fenton NE, Pfleeger SL. Software Metrics: A Rigorous and Practical Approach. PWS Publishing Company, 1997.