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 articlepeer-review


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
StatePublished - 2012
Event1st Doctoral Symposium on Engineering Secure Software and Systems 2012, ESSoS-DS 2012 - Eindhoven, Netherlands
Duration: Feb 15 2012Feb 15 2012


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

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Enhancing safety and security of distributed systems through formal patterns'. Together they form a unique fingerprint.

Cite this