Clark School Home UMD

ISR Events Calendar

Event Information

MBSE Colloquium: Anastasia Mavridou, "Modeling Architecture Styles"
Monday, May 8, 2017
11:00 a.m.
1146 AV Williams Building
For More Information:
Kimberly Edwards

Modeling Architecture Styles

Anastasia Mavridou
Postdoctoral Researcher
Institute for Software Integrated Systems
Vanderbilt University

Systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug, and maintain. Architectures are common means for organizing coordination between components in order to build complex yet manageable systems. They allow thinking on a higher plane and avoiding low-level mistakes. Grouping architectures that share common characteristics, such as the type of the involved components and the properties they enforce, into architecture styles assists component re-use and thus, the cost-effective development of systems. Additionally, architecture styles provide means for ensuring correctness-by-construction by enforcing global properties. Informally, architecture styles can be understood as solutions to coordination problems, such as mutual exclusion, data access control, authentication, and resource management. In this talk, I am going to introduce two formalisms for the specification of architecture styles: configuration logics and architecture diagrams. I am going to present methods for assisting software developers to check the consistency of specified architecture styles, generate the conforming architectures of a style, and check whether an architecture model meets given style requirements. Finally, I am going to discuss a case study of applying configuration logics and architecture diagrams to modeling architecture styles identified in on-board satellite software.

Anastasia Mavridou is a Postdoctoral Scholar at the Institute for Software Integrated Systems, Vanderbilt University, where she works with Prof. Janos Sztipanovits. Her research interests lie in the area of component-based design, modeling and analysis of concurrent systems with a focus on correct-by-construction techniques. She received her PhD in Computer Science from École Polytechnique Fédérale de Lausanne (EPFL), Switzerland in December 2016 under the supervision of Prof. Joseph Sifakis and Dr. Simon Bliudze. She holds an M.S. in Computer Science from University of Tulsa and a Diploma in Electrical and Computer Engineering from Aristotle University of Thessaloniki, Greece.

This Event is For: Graduate • Undergraduate • Faculty • Post-Docs

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

September 2017
1 2 w
3 4 5 6 7 8 9 w
10 11 12 13 14 15 16 w
17 18 19 20 21 22 23 w
24 25 26 27 28 29 30 w

Search Events

ISR lecture and seminar series

Distinguished Lecturer Series
Intelligent Automation Inc. Colloquia Series
Microsystems Seminar Series
Lockheed Martin Robotics Seminar Series
Advanced Networks Colloquia Series
Model-Based Systems Engineering Colloquia Series

Submit an event to the ISR calendar Click here

News links

Current news
Search news
News archives