Enhancing safety and security of distributed systems through formal patterns

Jonas Eckhardt, Tobias M̈uhlbauer, Jośe Meseguer, Martin Wirsing

Research output: Contribution to journalConference article

Abstract

Distributed systems are often safety- And security-critical systems and have strong qualitative and quantitative formal requirements, equally important time-critical performance-based quality of service properties, and need to dynamically adapt to changes in a potentially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, and verify. To tackle this challenge, we propose a formal pattern-based approach and framework for the design of correct-, secure-, and safe-by-construction distributed systems.

Original languageEnglish (US)
Pages (from-to)35-40
Number of pages6
JournalCEUR Workshop Proceedings
Volume834
StatePublished - Dec 1 2012
Event1st Doctoral Symposium on Engineering Secure Software and Systems 2012, ESSoS-DS 2012 - Eindhoven, Netherlands
Duration: Feb 15 2012Feb 15 2012

Fingerprint

Quality of service

Keywords

  • Cloud computing
  • Distributed systems
  • Formal patterns
  • Meta-object pattern
  • Rewriting logic
  • Statistical model checking

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Enhancing safety and security of distributed systems through formal patterns. / Eckhardt, Jonas; M̈uhlbauer, Tobias; Meseguer, Jośe; Wirsing, Martin.

In: CEUR Workshop Proceedings, Vol. 834, 01.12.2012, p. 35-40.

Research output: Contribution to journalConference article

Eckhardt, Jonas ; M̈uhlbauer, Tobias ; Meseguer, Jośe ; Wirsing, Martin. / Enhancing safety and security of distributed systems through formal patterns. In: CEUR Workshop Proceedings. 2012 ; Vol. 834. pp. 35-40.
@article{4928f3c60d474fd7b87549bd62572dc6,
title = "Enhancing safety and security of distributed systems through formal patterns",
abstract = "Distributed systems are often safety- And security-critical systems and have strong qualitative and quantitative formal requirements, equally important time-critical performance-based quality of service properties, and need to dynamically adapt to changes in a potentially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, and verify. To tackle this challenge, we propose a formal pattern-based approach and framework for the design of correct-, secure-, and safe-by-construction distributed systems.",
keywords = "Cloud computing, Distributed systems, Formal patterns, Meta-object pattern, Rewriting logic, Statistical model checking",
author = "Jonas Eckhardt and Tobias M̈uhlbauer and Jośe Meseguer and Martin Wirsing",
year = "2012",
month = "12",
day = "1",
language = "English (US)",
volume = "834",
pages = "35--40",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

TY - JOUR

T1 - Enhancing safety and security of distributed systems through formal patterns

AU - Eckhardt, Jonas

AU - M̈uhlbauer, Tobias

AU - Meseguer, Jośe

AU - Wirsing, Martin

PY - 2012/12/1

Y1 - 2012/12/1

N2 - Distributed systems are often safety- And security-critical systems and have strong qualitative and quantitative formal requirements, equally important time-critical performance-based quality of service properties, and need to dynamically adapt to changes in a potentially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, and verify. To tackle this challenge, we propose a formal pattern-based approach and framework for the design of correct-, secure-, and safe-by-construction distributed systems.

AB - Distributed systems are often safety- And security-critical systems and have strong qualitative and quantitative formal requirements, equally important time-critical performance-based quality of service properties, and need to dynamically adapt to changes in a potentially hostile and often probabilistic environment. These aspects make distributed systems complex and hard to design, build, test, and verify. To tackle this challenge, we propose a formal pattern-based approach and framework for the design of correct-, secure-, and safe-by-construction distributed systems.

KW - Cloud computing

KW - Distributed systems

KW - Formal patterns

KW - Meta-object pattern

KW - Rewriting logic

KW - Statistical model checking

UR - http://www.scopus.com/inward/record.url?scp=84891908576&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84891908576&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84891908576

VL - 834

SP - 35

EP - 40

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -