Publication result 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

English Title

Supporting Safe and Secure Networked System Design

Type

Paper in proceedings outside WoS and Scopus

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.

English 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

Key words in English

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

2012

Released

06.02.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"
}