Conference paper

ŠVÉDA Miroslav and VRBA Radimír. Specifications of Secure and Safe Embedded System Networks. In: 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009, pp. 220-225. ISBN 978-0-7695-3552-4.
Publication language:english
Original title:Specifications of Secure and Safe Embedded System Networks
Title (cs):Specifikace bezpečných a zabezpečených sítí vestavěných systémů
Pages:220-225
Proceedings:8th International Conference on Networks Proceedings ICN 2009
Conference:The Fourth International Conference on Systems/The Eighth International Conference on Networks
Place:New York, NY, US
Year:2009
ISBN:978-0-7695-3552-4
Publisher:IEEE Computer Society
Keywords
Behavioral specifications, reactive systems, real-time systems, security, safety
Annotation
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
BibTeX:
@INPROCEEDINGS{
   author = {Miroslav {\v{S}}v{\'{e}}da and Radim{\'{i}}r Vrba},
   title = {Specifications of Secure and Safe Embedded System Networks},
   pages = {220--225},
   booktitle = {8th International Conference on Networks Proceedings ICN
	2009},
   year = {2009},
   location = {New York, NY, US},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-3552-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8859}
}

Your IPv4 address: 54.81.198.150
Switch to IPv6 connection

DNSSEC [dnssec]