Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠVÉDA, M. VRBA, R.
Originální název
Specifications of Secure and Safe Embedded System Networks
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
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
Klíčová slova
Behavioral specifications, reactive systems, real-time systems, security, safety
Autoři
ŠVÉDA, M.; VRBA, R.
Rok RIV
2009
Vydáno
1. 3. 2009
Nakladatel
IEEE Computer Society
Místo
New York, NY
ISBN
978-0-7695-3552-4
Kniha
8th International Conference on Networks Proceedings ICN 2009
Strany od
220
Strany do
225
Strany počet
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" }