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

Authors:
Shinichi Honiden;Akihiko Ohsuga;Naoshi Uchihira
Affiliations:
Toshiba Corporation, 70 Yanagi-cho, Saiwai-ku, Kawasaki 210, Japan;Toshiba Corporation, 70 Yanagi-cho, Saiwai-ku, Kawasaki 210, Japan;Toshiba Corporation, 70 Yanagi-cho, Saiwai-ku, Kawasaki 210, Japan
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 4
Cited 0

The transformation schema: An extension of the data flow diagram to represent control and timing

IEEE Transactions on Software Engineering
Object-oriented development

IEEE Transactions on Software Engineering
SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems

ICSE '87 Proceedings of the 9th international conference on Software Engineering
How to Integrate Object Orientation with Structured Analysis and Design

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses 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.