Conference paper

©VÉDA Miroslav and VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, pp. 23-30. ISBN 978-989-8111-11-1.
Publication language:english
Original title:SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications
Title (cs):Návrh vestavěných systémů řízený specifikacemi - Podpora návrhu sí»ových vestavěných aplikací
Pages:23-30
Proceedings:Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)
Conference:International Conference on e-Business
Place:Barcelona, ES
Year:2007
ISBN:978-989-8111-11-1
Publisher:IEEE Computer Society
Keywords
Embedded software, formal specification, structured design, object-oriented design
Annotation
The paper presents an approach to formal specification, verification and prototyping of networked embedded software system 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. The design approach fully respecting such requirements can eliminate not only behavioral and structural faults but also security flaws caused by design errors. Reflecting current trends in engineering software-intensive systems, this contribution discusses in more detail executable specifications and rapid prototyping for structured design, and structural specifications and verifications for object-oriented design.
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Radim{\'{i}}r Vrba},
   title = {SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design
	Support for Networked Embedded Software Applications},
   pages = {23--30},
   booktitle = {Proceedings of the International Joint Conference on
	e-Business and Telecommunications (ICETE 2007, ICE-B)},
   year = {2007},
   location = {Barcelona, ES},
   publisher = {IEEE Computer Society},
   ISBN = {978-989-8111-11-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8378}
}

Your IPv4 address: 54.81.45.122
Switch to IPv6 connection

DNSSEC [dnssec]