Publication result detail

Specifications of Secure and Safe Embedded System Networks

ŠVÉDA, M.; VRBA, R.

Original Title

Specifications of Secure and Safe Embedded System Networks

English Title

Specifications of Secure and Safe Embedded System Networks

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

The paper focuses on behavioral specifications of reactive and real-time activities of embedded system networks utilizing either structured or object-oriented approach depending on application design requirements. The design stemming from such requirements can eliminate not only behavioral and structural faults but also security and safety flaws caused by design errors. Reflecting current trends in system and software engineering, this contribution presents executable specifications and rapid prototyping using Asynchronous Specification Language for structured design, and object specifications and verifications using Class Specification Language for object-oriented design of embedded system network applications

English abstract

The paper focuses on behavioral specifications of reactive and real-time activities of embedded system networks utilizing either structured or object-oriented approach depending on application design requirements. The design stemming from such requirements can eliminate not only behavioral and structural faults but also security and safety flaws caused by design errors. Reflecting current trends in system and software engineering, this contribution presents executable specifications and rapid prototyping using Asynchronous Specification Language for structured design, and object specifications and verifications using Class Specification Language for object-oriented design of embedded system network applications

Keywords

Behavioral specifications, reactive systems, real-time systems, security, safety

Key words in English

Behavioral specifications, reactive systems, real-time systems, security, safety

Authors

ŠVÉDA, M.; VRBA, R.

RIV year

2012

Released

01.03.2009

Publisher

IEEE Computer Society

Location

New York, NY

ISBN

978-0-7695-3552-4

Book

8th International Conference on Networks Proceedings ICN 2009

Pages from

220

Pages to

225

Pages count

6

BibTex

@inproceedings{BUT33773,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Specifications of Secure and Safe Embedded System Networks",
  booktitle="8th International Conference on Networks Proceedings ICN 2009",
  year="2009",
  pages="220--225",
  publisher="IEEE Computer Society",
  address="New York, NY",
  isbn="978-0-7695-3552-4"
}