Abstract
Formal methods and languages are used to prove the correctness of various industrial systems, especially mission-critical ones. They can also be viewed as a means to provide safety and correctness demonstration to the stakeholders of such systems. In domains such as nuclear power plant engineering, the benefits from structured safety evidences would seem obvious. However, most stakeholders in nuclear power industry are not even familiar with formal notations. As a result, to promote the applications of formal methods in practice, the first step is to make formal specification languages (FSLs) more accessible. With user-friendly FSLs, users can focus on safety requirements rather than on their sophisticated formalization. This paper, as a preliminary work towards an integrated framework supporting transparent safety demonstration, reviews existing approaches applied to facilitate requirements formalization and formal specifications. Moreover, the common features of user-friendly languages and their tool supports are also summarized.
Original language | English |
---|---|
Title of host publication | Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016 |
Publisher | IEEE |
Pages | 676-682 |
Number of pages | 7 |
ISBN (Electronic) | 9781509028702 |
DOIs | |
Publication status | Published - 2016 |
MoE publication type | A4 Conference publication |
Event | IEEE International Conference on Industrial Informatics - Poitiers, France Duration: 19 Jul 2016 → 21 Jul 2016 Conference number: 14 https://ieee-indin2016.sciencesconf.org/ |
Publication series
Name | IEEE International Conference on Industrial Informatics |
---|---|
Publisher | IEEE |
ISSN (Print) | 1935-4576 |
ISSN (Electronic) | 2378-363X |
Conference
Conference | IEEE International Conference on Industrial Informatics |
---|---|
Abbreviated title | INDIN |
Country/Territory | France |
City | Poitiers |
Period | 19/07/2016 → 21/07/2016 |
Internet address |
Keywords
- formal methods
- formal specification languages
- model checking
- requirements engineering
- visual formalisms