Model-Based development and formal methods in the railway industry

IEEE Software

Volumn 30, Issue 3, 2013, Pages 28-34

  Ferrari , Alessio ^a   Fantechi, Alessandro ^b   Gnesi, Stefania ^a   Magnani, Gianluca ^c  

^a CNR ISTI   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

^c General Electric Transportation Systems   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

RAILROADS;

CODE GENERATION; DEVELOPMENT PROCESS; MODEL BASED DEVELOPMENT; MODEL-BASED TOOLS; RAILWAY INDUSTRY; RAILWAY SIGNALING; REQUIREMENTS ELICITATION; VERIFICATION PROCESS;

FORMAL METHODS;

EID: 84897786308     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2013.44     Document Type: Article

References (10)

1. J. Woodcock et al., "Formal Methods: Practice and Experience," ACM Computing Surveys, vol. 41, no. 4, pp. 19:1-19:36.
2. S. Bacherini et al., "A Story about Formal Methods Adoption by a Railway Signaling Manufacturer," Proc. 14th Int'l Symp. Formal Methods, LNCS 4085, Springer, 2006, pp. 179-189. (Pubitemid 44502906)
3. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science Computer Programming, vol. 8, no. 3, 1987, pp. 231-274. (Pubitemid 17617706)
4. A. Ferrari et al., "The Metrô Rio Case Study," to be published in Science Computer Programming, 2013; doi: 10.1016/j.scico.2012.04. 003.
5. A. Ferrari et al., "Modeling Guidelines for Code Generation in the Railway Signaling Context," Proc. 1st NASA Formal Methods Symp., NASA, 2009, pp. 166-170.
6. N. Scaife et al., "Defining and Translating a 'Safe' Subset of Simulink/Stateflow into Lustre," Proc. 4th ACM Int'l Conf. Embedded Software, ACM, 2004, pp. 259-268. (Pubitemid 41563714)
7. M. Conrad, "Testing-Based Translation Validation of Generated Code in the Context of IEC 61508," Formal Methods in System Design, vol. 35, no. 3, 2009, pp. 340-389.
8. P. Cousot and R. Cousot, "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints," Proc. 4th ACM SIGACT-SIGPLAN Symp. Principles of Programming Languages, ACM, 1977, pp. 238-252.
9. A. Ferrari et al., "Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signaling Manufacturer," Int'l J. Embedded and Real-Time Communication Systems, vol. 2, no. 2, 2011, pp. 42-61.
10. A.J. Kornecki and J. Zalewski, "Certification of Software for Real-Time Safety-Critical Systems: State of the Art," Innovations in Systems and Software Eng., vol. 5, no. 2, 2009, pp. 149-161.