Specifications of Secure and Safe Embedded System Networks

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82566" target="_blank" >RIV/00216305:26230/09:PU82566 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Specifications of Secure and Safe Embedded System Networks
Original language description
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
Czech name
—
Czech description
—

Project
<a href="/en/project/GA102%2F08%2F1429" target="_blank" >GA102/08/1429: Safety and security of networked embedded system applications</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
8th International Conference on Networks Proceedings ICN 2009
ISBN
978-0-7695-3552-4
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
New York, NY
Event location
Cancun
Event date
Feb 28, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)