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

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationIWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
PublisherAssociation for Computing Machinery, Inc
Pages102-109
Number of pages8
ISBN (Print)0818623209, 9780818623202
Publication statusPublished - 1991 Oct 25
Externally publishedYes
Event6th International Workshop on Software Specification and Design, IWSSD 1991 - Como, Italy
Duration: 1991 Oct 25 → …

Publication series

NameIWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Other

Other6th International Workshop on Software Specification and Design, IWSSD 1991
CountryItaly
CityComo
Period91/10/25 → …

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'An integration environment to put formal specifications into practical use in real-time systems'. Together they form a unique fingerprint.

Cite this