Publication 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
conference paper
Language
en
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
RIV year
2009
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
Edition
NEUVEDEN
Edition number
NEUVEDEN
Pages from
220
Pages to
225
Pages count
6
Documents
BibTex
@inproceedings{BUT33773,
author="Miroslav {Švéda} and Radimír {Vrba}",
title="Specifications of Secure and Safe Embedded System Networks",
annote="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",
address="IEEE Computer Society",
booktitle="8th International Conference on Networks Proceedings ICN 2009",
chapter="33773",
edition="NEUVEDEN",
howpublished="print",
institution="IEEE Computer Society",
year="2009",
month="march",
pages="220--225",
publisher="IEEE Computer Society",
type="conference paper"
}