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
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;
Conference_Titel :
Mixed Design of Integrated Circuits & Systems (MIXDES), 2015 22nd International Conference
Conference_Location :
Torun
Print_ISBN :
978-8-3635-7806-0
DOI :
10.1109/MIXDES.2015.7208473
