scholarly journals On the Industrial Uptake of Formal Methods in the Railway Domain

2018 ◽  
pp. 20-29 ◽  
Author(s):  
Davide Basile ◽  
Maurice H. ter Beek ◽  
Alessandro Fantechi ◽  
Stefania Gnesi ◽  
Franco Mazzanti ◽  
...  
Keyword(s):  
Formal Methods ◽  
Railway Domain

The Role of Formal Methods in Software Development for Railway Applications

2014 ◽  
pp. 1103-1118
Author(s):  
Alessandro Fantechi
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Formal Verification ◽  
Formal Methods ◽  
Industrial Application ◽  
Safety Certification ◽  
Software Designers ◽  
Recent Trends ◽  
Railway Domain

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

The Role of Formal Methods in Software Development for Railway Applications

2012 ◽  
pp. 282-297 ◽  
Author(s):  
Alessandro Fantechi
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Formal Verification ◽  
Formal Methods ◽  
Industrial Application ◽  
Safety Certification ◽  
Software Designers ◽  
Recent Trends ◽  
Railway Domain

Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems.

Using Simulation Games in Teaching Formal Methods for Software Development

2015 ◽  
pp. 106-130 ◽  
Author(s):  
Štefan Korečko ◽  
Ján Sorád
Keyword(s):  
Higher Education ◽  
Software Development ◽  
Formal Methods ◽  
Current Trend ◽  
Simulation Game ◽  
Approaches To Teaching ◽  
Simulation Games ◽  
Massification Of Higher Education ◽  
Limited Scope ◽  
Railway Domain

Because of the current trend of massification of higher education, motivation of students is a serious issue, especially in courses closely related to mathematics. The ones that undoubtedly belong to this group are courses dealing with formal methods for software development, such as Z notation, B-Method, or VDM. The chapter shows how a customized simulation game can be used to bring a domain typical for utilization of formal methods, the railway domain, to students and thus motivate them to learn these sophisticated ways of software development. By means of two examples, it demonstrates that such a tool, despite its limited scope, can be used to teach a variety of concepts related to formal methods. It also discusses related approaches to teaching formal methods, describes the customized game and its application in teaching, and evaluates experience with the application.

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods

A Prototype Formal Methods Environment

2001 ◽  
Author(s):  
Ray Teitelbaum
Keyword(s):  
Formal Methods
Sign in / Sign up

Export Citation Format

Share Document