Publication detail

Supporting Safe and Secure Networked System Design

ŠVÉDA, M. RYŠAVÝ, O. MATOUŠEK, P.

Original Title

Supporting Safe and Secure Networked System Design

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

This paper presents principles of a meta-design support for end-user development of safe and secure TCP/IP-based networked application systems. The presented approach offers a reusable framework for Internet-based system applications with dynamically changing topology due to HW/SW faults and security flaws. That framework provides a development environment kernel adaptable for various safety/security critical system application domains. The paper discusses this framework not only from the viewpoint of framework builders, but also end-user developers. In this context, it demonstrates how to use that approach for a safety and security-critical application based on Internet.

Keywords

Networked applications design support, TCP/IP, changing network topology, model checking, SAT solver

Authors

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.

RIV year

2011

Released

6. 2. 2011

Publisher

The Universidad de Las Palmas de Gran Canaria

Location

Las Palmas de Gran Canaria

ISBN

978-84-693-9560-8

Book

Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts

Pages from

22

Pages to

23

Pages count

2

BibTex

@inproceedings{BUT76271,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Petr {Matoušek}",
  title="Supporting Safe and Secure Networked System Design",
  booktitle="Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts",
  year="2011",
  pages="22--23",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Gran Canaria",
  isbn="978-84-693-9560-8"
}