CERT-SEI

Our People

SEI investigators into system performance and dependability are active with industry and academia, as shown by their leadership in technical and program committees of professional societies including

  • Association for Computing Machinery (ACM)
  • Institute of Electrical and Electronics Engineers (IEEE)
  • SAE International (formerly the Society of Automotive Engineers)

SEI researchers work with issues arising in systems at all scales. Their work has focused on embedded systems, as evidenced by technical leadership international industry standard Architecture Analysis and Design Language (AADL). Since 2004, the AADL has been used to model and analyze architectures in avionics, automotive, and defense domains. Also, the European Space Agency has used this standard to model the architecture of two families of satellite systems for high reliability.

This leadership has led to several conference papers, SEI reports, and journal articles on the language, its application to specific domains, and its position as a platform for analysis in industry and research. It has also spawned a number of Ph.D. dissertations, for which SEI staff members serve as mentors and judges. Further, it has been the impetus for the development of a publicly available course and several workshops.

In addition, SEI researchers have led the way in exploiting assurance cases, demonstrating how they can be adapted for the analysis of dependability and security.

Find out more about the people engaged in our work on performance and dependability in systems at all scales.