Publication Details

Formal specification of IEEE1451.1 fragments

BUREŠ, F.; RYŠAVÝ, O. Formal specification of IEEE1451.1 fragments. 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003. p. 282-287. ISBN: 953-6114-64-X.

Czech title

Formalní specifikace IEEE1451.1 fragmentu

Type

conference paper

Language

English

Authors

Bureš František, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)

Keywords

formal specification, object orientation, network capable application processors,
object calculus, higher-order logic

Abstract

Object-oriented techniques have reached the majority position among software
development methods. Conversely, formal methods are involved in development
process very sporadic, in spite of the often claimed contributions. This paper
attempts to show practical benefits of employing the combination of both
approaches the formal object-oriented methods. Formal approach is used for
specifying of IEEE 1451.1 standard defined semiformally in the object-oriented
style. A subset of the definitions provided by the standard is rigorously
specified in a novel object-oriented specification language with expressiveness
of higher-order logic. The paper serves as a case study demonstrating advantages
of the specification language rather than an exaustive description of the
architecture provided by the standard.

Published

2003

Pages

282–287

Proceedings

11. International Conference on Software, Telecommunications & Computer Networks

Conference

2003 International Conference on Software, Telecommunications and Computer Networks, Split, HR

ISBN

953-6114-64-X

Publisher

Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split

Place

Split

BibTeX

@inproceedings{BUT10906,
  author="František {Bureš} and Ondřej {Ryšavý}",
  title="Formal specification of IEEE1451.1 fragments",
  booktitle="11. International Conference on Software, Telecommunications & Computer Networks",
  year="2003",
  pages="282--287",
  publisher="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  address="Split",
  isbn="953-6114-64-X"
}