Conference paper

©VÉDA Miroslav and VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, p. 6. ISBN 0-08-045108-X. ISSN 1474-6670.
Publication language:english
Original title:An Approach to the Design of Networked Embedded Systems
Title (cs):Jeden přístup k návrhu sí»ových vestavěných systémů
Pages:6
Proceedings:Proceedings of the 16th IFAC WORLD CONGRESS, 2005
Conference:16th IFAC WORLD CONGRESS 2005
Place:Kidlington, Oxford, GB
Year:2005
ISBN:0-08-045108-X
Journal:IFAC-PapersOnLine, Vol. 16, No. 1, Laxenburg, AT
ISSN:1474-6670
Publisher:Elsevier Science
Keywords
Embedded systems, design systems, formal specification, computer communication networks, sensor systems
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Radim{\'{i}}r Vrba},
   title = {An Approach to the Design of Networked Embedded
	Systems},
   pages = 6,
   booktitle = {Proceedings of the 16th IFAC WORLD CONGRESS, 2005},
   journal = {IFAC-PapersOnLine},
   volume = 16,
 number = 1,
   year = 2005,
   location = {Kidlington, Oxford, GB},
   publisher = {Elsevier Science},
   ISBN = {0-08-045108-X},
   ISSN = {1474-6670},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7813}
}

Your IPv4 address: 3.226.251.81
Switch to https