Specifications of Secure and Safe Embedded System Networks

Author

Sveda, Miroslav ; Vrba, Radimir

Author_Institution

Fac. of Inf. Technol., Brno Univ. of Technol., Brno

fYear

2009

Firstpage

220

Lastpage

225

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

embedded systems; formal specification; formal verification; object-oriented programming; security of data; software fault tolerance; software prototyping; specification languages; asynchronous specification language; behavioral specification; class specification language; object specification; object verification; object-oriented design approach; rapid prototyping; real-time activity; safe embedded system network; security flaw; software engineering; structural fault; Application software; Embedded system; Information security; Object oriented modeling; Prototypes; Real time systems; Safety; Specification languages; Time measurement; Timing; Embeded system; formal specifications; sensor networking;

fLanguage

English

Publisher

ieee

Conference_Titel

Networks, 2009. ICN '09. Eighth International Conference on

Conference_Location

Gosier, Guadeloupe

Print_ISBN

978-1-4244-3470-1

Electronic_ISBN

978-0-7695-3552-4

Type

conf

DOI

10.1109/ICN.2009.14

Filename

4976678