DocumentCode
1684012
Title
Formal methods — Support or scientific decoration in software development?
Author
Szmuc, Tomasz ; Szpyrka, Marcin
Author_Institution
Dept. of Appl. Comput. Sci., AGH Univ. of Sci. & Technol., Krakow, Poland
fYear
2015
Firstpage
24
Lastpage
31
Abstract
The applicability of formal methods to support for software development is discussed in the paper. Software for realtime systems (esp. Safety Critical Systems) is of special interest. Petri nets, Alvis language and temporal logic are examined in which way they may support the development process. Selected approaches for using methods and related examples are discussed to answer the question stated in the title.
Keywords
Petri nets; formal specification; real-time systems; safety-critical software; temporal logic; Alvis language; Petri nets; formal methods; real-time systems; safety critical systems; software development; temporal logic; Adaptation models; Analytical models; Petri nets; Real-time systems; Software; Time factors; Unified modeling language; Alvis language; Embedded systems; Petri nets; process algebra; software development; temporal logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Mixed Design of Integrated Circuits & Systems (MIXDES), 2015 22nd International Conference
Conference_Location
Torun
Print_ISBN
978-8-3635-7806-0
Type
conf
DOI
10.1109/MIXDES.2015.7208473
Filename
7208473
Link To Document