@inproceedings{santos2020weaknesses,
  author = {Santos, Joanna C. S. and Suloglu, Selma and Ye, Joanna and Mirakhorli, Mehdi},
  title = {Towards an Automated Approach for Detecting Architectural Weaknesses in Critical Systems},
  year = {2020},
  isbn = {9781450379632},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3387940.3392222},
  doi = {10.1145/3387940.3392222},
  abstract = {Architecture-first approaches are increasingly widely adopted for addressing resiliency requirements in critical systems. In these approaches, the system is built from the ground-up to be resilient, starting with the system's architecture design. Therefore, it is crucial to ensure that the architecture design is robust, without any flaws that could compromise the system's ability to detect, prevent, react to or recover from adverse conditions, such as cyber-attacks. In this paper, we describe our ongoing efforts in aiding software architects in designing cyber-resilient systems by automatically detecting weaknesses in their architectural models.},
  booktitle = {Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops},
  pages = {250–253},
  numpages = {4},
  keywords = {Architecture Analysis and Design Language, Architectural flaws, Automated Architectural Weaknesses Detection},
  location = {Seoul, Republic of Korea},
  series = {ICSEW'20},
}