News !! Our research “Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints“ won the Best Paper Award at MODELSWARD 2018, with collaborators from French Alternative Energies and Atomic Energy Commission (CEA LIST) and Modelware Solutions. The paper introduces a radical approach to reducing design complexity supported by a working implementation in Papyrus, the Flagship Modeling Platform.
News!! Paper Accepted, 7th International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2016). “Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages”. [Full Text]
Dr. Badreddin is a researcher in the field of Software Engineering and Healthcare Informatics. The research is focused on exploring novel methods to reducing software complexity often by innovating novel design approaches. Our research team evaluates existing design languages and investigates how they affect design activities for medium and large software systems. Those investigations drive the exploration for novel approaches for software design. Many of the research findings have made its way into prominent software design tools including Papyrus, WebSphere Monitor, and others.
Reducing complexity in large software systems can have broad implications well beyond the software engineering field. Our research team applies many of the research findings to Healthcare Informatic challenges in hospitals in the U.S and Canada. We have active collaborations with hospitals in North America, focusing on exploring techniques for compliance and clinical pathway management.
Dr. Badreddin’s main research areas include Cyber-Physical Systems Design and Testing, Model-Driven Engineering, and Model-Driven Systems Engineering. His collaborators include NASA Jet Propulsion Lab, French Alternative Energies and Atomic Energy Commission, and IBM. His recent work is related to testing untestable systems. Untestable systems are those that cannot be tested due to the cost of performing tests (i.e collision-avoidance systems), or due to difficulties in sitting the environment for test (i.e deep ocean explorers).
Doodle MeetMe page: http://doodle.com/obahy