MBDL

Our focus and interests are research, design, and development of complex, integrated computing systems. Jointly with our colleagues and partners, we had pioneered the area known as the engineering of computer-based systems (ECBS). Our key contributions are seminal works in model-based design that established the theoretical basis of ECBS, bringing ECBS principles to practice in a number of significant engineering applications, namely VLSI design and manufacturing (SRC Corporation, Siemens), embedded systems design and testing (Siemens, Infineon, and Nokia), computer-assisted surgery (clinical medicine), and national security (US Department of Defense)... We pursue projects in formal foundations and applications for model-based design of complex, heterogeneous systems from which many ECBS applications have been derived. Our approach, rooted in the fact that complex systems design... The narrative summary of our research activities and accomplishments cannot be complete without..

Also known as: Model Based Design Lab, Model Based Design Laboratory

Primary location: Tucson United States