Publication detail

An Approach to the Design of Networked Embedded Systems

ŠVÉDA, M. VRBA, R.

Original Title

An Approach to the Design of Networked Embedded Systems

English Title

An Approach to the Design of Networked Embedded Systems

Type

conference paper

Language

en

Original Abstract

The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.

English abstract

The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.

Keywords

Embedded systems, design systems, formal specification, computer communication networks, sensor systems

RIV year

2005

Released

08.07.2005

Publisher

Elsevier Science

Location

Kidlington, Oxford

ISBN

0-08-045108-X

Book

Proceedings of the 16th IFAC WORLD CONGRESS, 2005

Pages from

2223

Pages to

2228

Pages count

6

BibTex


@inproceedings{BUT21517,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="An Approach to the Design of Networked Embedded Systems",
  annote="The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.",
  address="Elsevier Science",
  booktitle="Proceedings of the 16th IFAC WORLD CONGRESS, 2005",
  chapter="21517",
  institution="Elsevier Science",
  number="1",
  year="2005",
  month="july",
  pages="2223",
  publisher="Elsevier Science",
  type="conference paper"
}