An integration environment to put formal specifications into practical use in real-time systems

Author

Honiden, Shinichi ; Ohsuga, Akihiko ; Uchihira, Naoshi

Author_Institution

Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan

fYear

1991

fDate

25-26 Oct 1991

Firstpage

102

Lastpage

109

Abstract

A discussion is given on several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time structured analysis and object-oriented design. It also defines a specification process that assists a designer in translating a specification developed with the real-time structured analysis method into an object-oriented design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products. In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: algebraic specification and temporal logic

Keywords

Ada; formal specification; object-oriented programming; real-time systems; structured programming; temporal logic; Ada tasks; MENDELS ZONE; algebraic specification; formal specifications; integration environment; intermediate products; object-oriented design; practical use; real-time structured analysis; real-time systems; specification process; specification steps; temporal logic; Design for disassembly; Design methodology; Formal specifications; Logic design; Logic functions; Proposals; Real time systems; Software engineering; Software quality; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on

Conference_Location

Como

Print_ISBN

0-8186-2320-9

Type

conf

DOI

10.1109/IWSSD.1991.213071

Filename

213071