Detail výsledku

Specifications of Secure and Safe Embedded System Networks

ŠVÉDA, M.; VRBA, R. Specifications of Secure and Safe Embedded System Networks. 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009. p. 220-225. ISBN: 978-0-7695-3552-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Vrba Radimír, prof. Ing., CSc., UMEL (FEKT)
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

Rok
2009
Strany
220–225
Sborník
8th International Conference on Networks Proceedings ICN 2009
Konference
The Fourth International Conference on Systems/The Eighth International Conference on Networks
ISBN
978-0-7695-3552-4
Vydavatel
IEEE Computer Society
Místo
New York, NY
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"
}
Projekty
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Ústav mikroelektroniky (UMEL)
Nahoru