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

Miroslav Sveda, Radimir Vrba

2007

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. The paper presents Asynchronous Specification Language and Class Specification Language developed for that purpose.

Paper Citation

in Harvard Style

Sveda M. and Vrba R. (2007). SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications . In Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007) ISBN 978-989-8111-11-1, pages 23-30. DOI: 10.5220/0002107100230030

in Bibtex Style

@conference{ice-b07,
author={Miroslav Sveda and Radimir Vrba},
title={SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications},
booktitle={Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007)},
year={2007},
pages={23-30},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002107100230030},
isbn={978-989-8111-11-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on e-Business - Volume 1: ICE-B, (ICETE 2007)
TI - SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications
SN - 978-989-8111-11-1
AU - Sveda M.
AU - Vrba R.
PY - 2007
SP - 23
EP - 30
DO - 10.5220/0002107100230030