Formal specification techniques for complex software systems

Author

Alagar, V.S. ; Periyasamy, K. ; Ramanathan, G.

Author_Institution

Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

fYear

1994

fDate

22-26 Aug 1994

Firstpage

1008

Abstract

Formal specification of requirements for software enables the developer to detect and eliminate inconsistencies and ambiguities in the requirements and promotes reasoning about the behavior of the software being developed. The application of formal methods to the various stages of a software system will ensure the trustworthiness and dependability of the software. This paper discusses the need for and the application of formal methods to large and complex software systems. A case study on the specification of a robot-based assembly system is presented. VDM (Vienna Development Method) and a functional specification technique are selected to develop the specifications in the case study

Keywords

Vienna development method; assembling; formal specification; industrial robots; software reliability; VDM; Vienna Development Method; complex software systems; dependability; formal methods; formal specification techniques; functional specification technique; requirements specification; robot-based assembly system; trustworthiness; Air safety; Aircraft; Application software; Computer science; Control systems; Formal specifications; Railway safety; Robotic assembly; Software safety; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994

Print_ISBN

0-7803-1862-5

Type

conf

DOI

10.1109/TENCON.1994.369159

Filename

369159