Publication detail

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

ŠVÉDA, M. VRBA, R.

Original Title

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

English Title

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

Type

conference paper

Language

en

Original 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.

English 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

RIV year

2007

Released

26.07.2007

Publisher

IEEE Computer Society

Location

Barcelona

ISBN

978-989-8111-11-1

Book

Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)

Pages from

23

Pages to

30

Pages count

8

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",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B)",
  chapter="28804",
  howpublished="print",
  institution="IEEE Computer Society",
  year="2007",
  month="july",
  pages="23--30",
  publisher="IEEE Computer Society",
  type="conference paper"
}