loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Miroslav Sveda 1 and Radimir Vrba 2

Affiliations: 1 Faculty of Information Technology, Brno University of Technology, Czech Republic ; 2 Faculty of Electrical Engineering & Communication, Brno University of Technology, Czech Republic

ISBN: 978-989-8111-11-1

Keyword(s): Embedded software, formal specification, structured design, object-oriented design.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Biomedical Engineering ; Collaboration and e-Services ; Communication and Software Technologies and Architectures ; Complex Systems Modeling and Simulation ; Data Communication Networking ; Data Engineering ; e-Business ; Enterprise Information Systems ; Health Information Systems ; Information and Systems Security ; Integration/Interoperability ; Interoperability ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Languages, Tools and Architectures ; Model-Driven Software Development ; Network and Service Management ; Network Management ; Ontologies and the Semantic Web ; Security and Privacy ; Sensor Networks ; Service-Oriented Architectures ; Simulation and Modeling ; Software Agents and Internet Computing ; Software and Architectures ; Software Engineering ; Symbolic Systems ; Technology Platforms ; Telecommunications ; Wireless Information Networks and Systems

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.194.210

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sveda M.; Vrba R. and (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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.