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

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)

Cite this