Detail publikace

Supporting Safe and Secure Networked System Design

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

Originální název

Supporting Safe and Secure Networked System Design

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Rok RIV

2011

Vydáno

6. 2. 2011

Nakladatel

The Universidad de Las Palmas de Gran Canaria

Místo

Las Palmas de Gran Canaria

ISBN

978-84-693-9560-8

Kniha

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

Strany od

22

Strany do

23

Strany počet

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