Model-Integrated Computing: Using Models for formalizing development of Complex Software Systems
- Computing Techniques Seminars
- The OpenNebula Cloud Toolkit: Experiences and Outlook
- Cloud computing concepts and experiences
- Model-Integrated Computing: Using Models for formalizing development of Complex Software Systems
- The FermiCloud Project: Pilot Service Deployment and Future Plans
- Milliseconds to Decades: Developing a Data Life Cycle Cyberinfrastructure for Scientific Data
|Full Title:||Model-Integrated Computing: Using Models for formalizing development of Complex Software Systems|
|Date & Time:||30 Nov 2010 at 14:00|
|Event Location:||FCC1 Conference Room|
|Event Info:||Speaker: Abhishek Dubey, Research Scientist at Institute for Software Integrated Systems, Vanderbilt University.
Model Integrated Computing (MIC) is an approach to the development of complex software systems, applicable in all phases - analysis, design, implementation, testing, maintenance and evolution.
The key idea in MIC is to create domain-specific modeling languages (DSMLs) using a meta-modeling framework, which allow designers to describe objects in terms of the domain-specific models. These models are computer-readable and can hence be checked for correctness against pre-specified design rules, and can be programmatically traversed and transformed to produce/or modify code, other engineering artifacts, etc. Often, these models are transformed into alternate but equivalent representations, which can be used by external analysis and simulation tools to verify certain properties of the system.
MIC tools are freely available and include a meta-programmable graphical modeling environment (GME), which provides a platform for defining DSML and writing model-translators, a graph based model transformation engine (GReAT), meta-programmable model management (UDM), and a generic tool for exploring huge design spaces (DESERT). These tools have been used and tested in several government and industrial applications.
During this presentation, I will introduce the concepts of MIC using an example of a hierarchical finite state machine. I will also describe how one can write model-translators, which can be used to generate code from a given HFSM model.
1. For more information, visit: http://www.isis.vanderbilt.edu/research/MIC
2. For example, see http://www.dre.vanderbilt.edu/cosmic/ - a model-based frontend for configuring the ACE/TAO middleware. Speaker Bio: Abhishek Dubey is a Research Scientist at Institute for Software Integrated Systems, Vanderbilt University. He has nine years of experience in software engineering. He conducts research in theory and application of model-predictive control for managing performance of distributed computing systems, in design of fault-tolerant software frameworks for scientific computing, in practice of model-integrated computing, and in fault-adaptive control technology for software in hard real-time systems. He received his Bachelors from the Institute of Technology, Banaras Hindu University, India in 2001, and received his M.S and PhD from Vanderbilt University in 2005 and 2009 respectively. He has published over 20 research papers and is a member of IEEE.