Result Details

SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications

ŠVÉDA, M.; VRBA, R. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007. p. 23-30. ISBN: 978-989-8111-11-1.
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Vrba Radimír, prof. Ing., CSc., UAMT (FEEC), UMEL (FEEC)
Abstract

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.

Keywords

Embedded software, formal specification, structured design, object-oriented design

Published
2007
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
ISBN
978-989-8111-11-1
Publisher
IEEE Computer Society
Place
Barcelona
BibTeX 
@inproceedings{BUT28804,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications",
  booktitle="Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)",
  year="2007",
  pages="23--30",
  publisher="IEEE Computer Society",
  address="Barcelona",
  isbn="978-989-8111-11-1"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Department of Microelectronics (UMEL)
Faculty of Electrical Engineering and Communication (FEEC)
Faculty of Information Technology (FIT)
Back to top