Dr. Sandeep K. Shukla
Virginia Polytechnic and State University
Electrical and Computer Engineering Department
302 Whittemore Hall
Blacksburg, VA 24061
Phone: +1 540 231 2133
Email: shukla@vt.edu
DVP term expires December 2010
Sandeep K. Shukla is associate professor computer engineering at Virginia Polytechnic and State University in Blacksburg, VA, USA. He is also a founder and deputy director of the Center for Embedded Systems for Critical Applications (CESCA), and director of the FERMAT research lab. He has published more than 100 articles in journals, books and conference proceedings. He co-authored SystemC Kernel Extensions for Heterogeneous Modeling, and co-edited Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation and Formal Methods and Models for System Design: a System Level Perspective, all published by Kluwer Academic Publishers. He was awarded the PECASE (Presidential Early Career Award for Scientists and Engineers) award for his research in design automation for embedded systems design, which in particular focuses on system level design languages, formal methods, formal specification languages, probabilistic modeling and model checking, dynamic power management, application of stochastic models and model analysis tools for fault-tolerant nano-scale system design, reliability measurement of faulttolerant nano-systems, and embedded software engineering. Prof. Shukla has also been elected as a College of Engineering Faculty Fellow at Virginia Tech. He was invited to the Annual Symposium of the National Academy of Engineering in 2005, and to the Annual Symposium of the National Academy of Sciences in 2007, both very selective forums for young scientists to be invited to. Prof. Shukla is a senior member of the IEEE, and of ACM. Sandeep has been invited professor or researchers at the University of Birmingham, UK, INRIA/IRISA, France, and Massachusetts Institute of Technology. He has also been ASEE/ONR senior faculty fellow at the Naval Research Labs, USA in 2005, and ASEE/Air Force Faculty fellow at the Air Force Labs, Rome, NY, USA in 2007.
Model Driven Embedded Software Generation: A Generative Approach to Safety
Embedded software is ubiquitous today in all spheres of our electronics dependent life style. Most modern cars have millions of lines of software, and so do the airplane, and other safety critical equipments in our daily usage. Such software is usually concurrent, asynchronously interacting with its environment, and usually real-time; memory limited, and requires extreme reliable operation. Even though most European embedded systems industry has embraced formal model driven generation of such safety critical software, the technology of such generative software design has not been matured in the US, and as a result, the technology itself has not achieved its full potential in general. However, designing such software correctly is a daunting task, and post coding verification is almost impossible. As a result, we are building on the technology available from Europe, namely synchronous programming paradigm based modeling, and related calculus for model transformation, and eventual code generation. In this talk, we summarize research directions, and emphasize the importance of maturation of such research and technology development for the future competitiveness of embedded systems industry.
Metamodeling Driven IP Reuse for System-on-chip Integration
This talk addresses an important problem in reusing intellectual properties (IPs) in the form of reusable design components. The problem is associated with fast and effective integration of reusable design components into a System-on-chip (SoC), so that faster design turn-around time can be achieved, leading to a faster time-to-market. This problem of tackling reuse in system design has been tackled through a unique approach which hither-to-fore only has been used in the software engineering domain. This approach is called metamodeling, which allows creating customized meta-language to describe the syntax and semantics for a modeling domain. It provides a way to create, transform and analyze domain specific languages, which are themselves described by metamodels, and the transformation and processing of models in such languages are also described by metamodels. This makes machine based interpretation and translation from these models an easier and formal task. The problem of rapid system-level model integration of existing reusable components have the following necessities: (i) the required architecture of the SoC should be expressible formally, (ii) automatic selection of components from an IP library to match the need of the system can be algorithmically done, (iii) integrability of the components is provable, or checkable automatically, and (iv) structural and behavioral type systems for each component can be utilized through type matching techniques to ensure their compatibility. We address these necessities by creating component composition language; algorithms for component selection, type matching algorithms, and temporal property based behavioral typing, and finally a design automation environment on top of an existing metamodeling environment.
