Detail publikačního výsledku

An Approach to the Design of Networked Embedded Systems

ŠVÉDA, M.; VRBA, R.

Originální název

An Approach to the Design of Networked Embedded Systems

Anglický název

An Approach to the Design of Networked Embedded Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

ŠVÉDA, M.; VRBA, R.

Rok RIV

2010

Vydáno

08.07.2005

Nakladatel

Elsevier Science

Místo

Kidlington, Oxford

ISBN

0-08-045108-X

Kniha

Proceedings of the 16th IFAC WORLD CONGRESS, 2005

ISSN

1474-6670

Periodikum

Programmable devices and systems

Svazek

16

Číslo

1

Stát

Spojené království Velké Británie a Severního Irska

Strany od

2223

Strany do

2228

Strany počet

6

BibTex

@inproceedings{BUT21517,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="An Approach to the Design of Networked Embedded Systems",
  booktitle="Proceedings of the 16th IFAC WORLD CONGRESS, 2005",
  year="2005",
  journal="Programmable devices and systems",
  volume="16",
  number="1",
  pages="2223--2228",
  publisher="Elsevier Science",
  address="Kidlington, Oxford",
  isbn="0-08-045108-X",
  issn="1474-6670"
}