Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠVÉDA, M. VRBA, R.
Original Title
An Approach to the Design of Networked Embedded Systems
Type
conference paper
Language
English
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.
Keywords
Embedded systems, design systems, formal specification, computer communication networks, sensor systems
Authors
ŠVÉDA, M.; VRBA, R.
RIV year
2005
Released
8. 7. 2005
Publisher
Elsevier Science
Location
Kidlington, Oxford
ISBN
0-08-045108-X
Book
Proceedings of the 16th IFAC WORLD CONGRESS, 2005
1474-6670
Periodical
Programmable devices and systems
Year of study
16
Number
1
State
United Kingdom of Great Britain and Northern Ireland
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", booktitle="Proceedings of the 16th IFAC WORLD CONGRESS, 2005", year="2005", journal="Programmable devices and systems", volume="16", number="1", pages="6", publisher="Elsevier Science", address="Kidlington, Oxford", isbn="0-08-045108-X", issn="1474-6670" }