Towards A Model-Based Autonomic Reliability Framework for Computing Clusters (2009)
Abhishek Dubey, Steve Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai
One of the primary problems with computing clusters is to ensure that they maintain a reliable working state most of the time to justify economics of operation. In this paper, we introduce a...
(Dagstuhl Seminar Organizer Authors) (2009)
Rogério De Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, ...
Software’s ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
Automating Human Based Negotiation Processes for Autonomic Logistics 1 (2008)
Gabor Karsai, George Bloor, Jon Doyle
Affordability and responsiveness are two key requirements for the next generation of aircraft support systems. Aircraft have to be repaired with minimum downtime and the support process has to be...
CHALLENGES OF DEVELOPING DIAGNOSTICS (2008)
Amit Misra, Gregory Provan, Gabor Karsai, George Bloor, Ethan Scarl
Abstract Modern computing technologies- hardware, software, and algorithmic – have enabled the deployment of more exacting diagnostic reasoning (DR) systems than has heretofore been possible....
Amogh Kavim, Anantha Narayanan, Aniruddha Gokhale, Gabor Karsai
Recent advances in software processes and artifacts for automating middleware configurations in distributed realtime and embedded (DRE) systems are starting to address the complexities faced by...
Institute for Software-Integrated Systems (2008)
Jonathan Sprinkle, Aditya Agrawal, Tíhamer Levendovszky, Feng Shi, Gabor Karsai
Abstract Models, Patterns, and Generators for Embedded Systems (2008)
Model-based development of embedded information systems necessitates the use of generative techniques. Models determine and configure computations, but they also lend themselves to design-time...
Title: Embedded Control Systems Language for Distributed Processing (ECSL-DP) (2008)
Embedded Automotive systems are becoming increasingly complex, and as such difficult to design and develop. Model-based approaches are gaining foothold in this area, and increasingly the system...
A Model-based Front-end to TAO/ACE: The Embedded System Modeling Language (2008)
Gabor Karsai, Eep Neema, Arpad Bakay, Akos Ledeczi, Feng Shi, Andy Gokhale
The development of embedded systems necessitates the use of models throughout the engineering process that allow both the analysis and synthesis of the system. This paper introduces a system-level...
ELECTRONIC COMMUNICATIONS OF EASST The Graph Rewriting and Transformation Language: GReAT (2008)
Daniel Balasubramanian, Anantha Narayanan, Chris Van, Gabor Karsai, Daniel Balasubramanian, Anantha Narayanan, ...
ISSN to be provided
Embedded Systems Security Co-Design (2008)
Matthew Eby, Jan Werner, Gabor Karsai, Akos Ledeczi
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techniques for embedded...
Title: Design-Space Construction and Exploration in Platform-Based Design (2008)
Eep Neema, Janos Sztipanovits, Gabor Karsai
Abstract. A fundamental requirement for achieving rapid turn-round and short timeto-market in embedded software and system development is to achieve high level of reuse. Platform-based design offers...
Integrating Security Modeling into Embedded System Design (2008)
Matthew Eby, Jan Werner, Gabor Karsai, Akos Ledeczi
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techniques for embedded...
Towards Two-Level Formal Modeling of Computer-Based Systems (2008)
Gabor Karsai, Greg Nordstrom, Akos Ledeczi, Janos Sztipanovits
Abstract: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly coupled to...
Holger Giese, Tihamér Levendovszky, Holger Giese, Tihamér Levendovszky (eds, Holger Giese, Tihamér Levendovszky, ...
Michael von der Beeck
IEEE COMPUTER 1 Developing Applications Using Model-driven Design Environments (2008)
Krishnakumar Balasubramanian, Aniruddha Gokhale, Gabor Karsai, Janos Sztipanovits, Eep Neema
Abstract — Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherlevel of abstraction...
Towards Verifying Model Transformations Abstract (2008)
Anantha Narayanan, Gabor Karsai
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and performing the...
Towards Verifiable Model Transformations: A Finite-State Example (2008)
Gabor Karsai, Anantha Narayanan, Eep Neema
Abstract. Embedded software in automotive applications is often used in safety critical applications, where the reliability of the system is of utmost importance. If a model-based development is...
Institute for Software-Integrated Systems (2008)
Gabor Karsai, Andras Lang, Eep Neema
Design patterns have been widely recognized as important contributors to the success of software systems. This paper introduces and compares two patterns that solve specific design tool integration...
Gergely Mezei, Tihamér Levendovszky, Hassan Charaf, Gabor Karsai, Gabriele Taentzer, Gergely Mezei, ...
Abstract. Metamodeling techniques are popular in describing the rules of special domains, namely, the abstract syntax, but these techniques do not support defining the concrete syntax (the...
Attila Vizhanyo, Eep Neema, Zsolt Kalmar, Feng Shi, Gabor Karsai
On one hand, visual modeling languages are often used today in engineering domains, Mathworks ’ Simulink/Stateflow for simulation, signal processing and controls being the prime example. On the...
ELECTRONIC COMMUNICATIONS OF THE EASST PML: a Transformation Language for Platform Modeling (2008)
Tivadar Szemethy, Gabor Karsai, Tivadar Szemethy, Gabor Karsai
Abstract. Modeling the computational platforms is necessary to analyze the execution characteristics of systems developed using a model-based approach. In this paper, we introduce a novel platform...
Automotive Software: A Challenge and Opportunity for Model-based Software Development (2008)
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development processes do not address...
Attila Vizhanyo, Eep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transformation (GReAT)...
Wilfried Elmenreich, Gabor Karsai
This document summarizes early results and experiences of the collaborations between the European
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment (2008)
Eric-j. M, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai
This paper presents a component oriented modeling environment for building hybrid dynamic models of physical system. The modeling environment is created using the Generic Modeling Environment (GME),...
INTEGRATED DIAGNOSIS AND CONTROL FOR HYBRID DYNAMIC SYSTEMS (2008)
Gabor Karsai, Sherif Abdelwahed, Gautam Biswas
In this paper we present an approach for combined fault diagnosis and reconfigurable control structure for a general class of hybrid systems. In this approach a plant is modeled using an extended...
Discrete Abstraction and Supervisory Control of Switching Systems (2008)
Rong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
In this paper we propose a method to create discrete abstraction of state space behavior for continuous-time systems based on gradient analysis of the system dynamics. Then we describe how to use...
DSLs: the good, the bad, and the ugly (2008)
Gray, Jeff, Fisher, Kathleen, Consel, Charles, Karsai, Gabor, Mernik, Marjan, Tolvanen, Juha-Pekka
A resurging interest in domain-specific languages (DSLs) has identified the benefits to be realized from customized languages that provide a high-level of abstraction for specifying a problem concept...
DSLs: the good, the bad, and the ugly (2008)
Gray, Jeff, Fisher, Kathleen, Consel, Charles, Karsai, Gabor, Mernik, Marjan, Tolvanen, Juha-Pekka
A resurging interest in domain-specific languages (DSLs) has identified the benefits to be realized from customized languages that provide a high-level of abstraction for specifying a problem concept...
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...
Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
Integrated Analysis Environment for High Impact Systems (2007)
Marcus Martinez, James Davis, Jason Scott, Janos Sztipanovits, Gabor Karsai
Modeling and analysis of high consequence, high assurance systems requires special modeling considerations. System safety and reliability information must be captured in the models. Previously, high...
Nashville, Tennessee Approved: (2007)
Krishnakumar Balasubramanian, C. Schmidt, Dr. Aniruddha Gokhale, Dr. Janos Sztipanovits, Dr. Gabor Karsai, ...
To Amma and Appa for their patient support over the years To Vidhya and Sarathy for all the encouragement ii ACKNOWLEDGMENTS The past seven years have proven to be quite an eventful journey in a...
Verifying Model Transformations by Structural Correspondence (2007)
Anantha Narayanan, Gabor Karsai, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. We have...
07451 Summary -- Model-Based Engineering of Embedded Real-Time Systems (2007)
Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard
Today, embedded software plays a central role in most advanced technical systems such as airplanes, cell phones, and cars, and has become the main driver for innovation. Development, evolution,...
07451 Abstracts Collection -- Model-Based Engineering of Embedded Real-Time Systems (2007)
Giese, Holger, Karsai, Gabor, Lee, Edward, Rumpe, Bernhard, Schätz, Bernhard
From 04.11. to 09.11.2007, the Dagstuhl Seminar 07451 ``Model-Based Engineering of Embedded Real-Time Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl....
Kai Chen, Janos Sztipanovits, Stephen R. Schach, Gabor Karsai, Gautam Biswas, Sherif Abdelwahed, ...
To my parents To my beloved wife, Yongjie ii ACKNOWLEDGMENTS I am greatly appreciative and thankful to my advisor, Dr. Janos Sztipanovits, for his scientific vision, detailed guidance, great patience...
An Examination of CriticalitySensitive Approaches to Coordination (2006)
Pedro Szekely, Rajiv Maheswaran, Robert Neches, Craig Rogers, Romeo Sanchez, Marcel Becker, ...
In this work, we address the problem of coordinating the distributed execution of plans and schedules by multiple agents subject to a number of different execution uncertainties. The coordination of...
ELECTRONIC COMMUNICATIONS OF THE EASST Parsing of Adaptive Star Grammars (2006)
Mark Minas, Gabor Karsai, Gabriele Taentzer, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, ...
Abstract. In a recent paper, adaptive star grammars have been proposed as an extension of node and hyperedge replacement grammars [4]. A rule in an adaptive star grammar is actually a rule schema...
Sztipanovits, Janos, Biswas, Gautam, Frampton, Ken, Gokhale, Aniruddha, Howard, Larry, Karsai, Gabor, ...
Embedded software and systems are at the intersection of electrical engineering, computer engineering, and computer science, with, increasing importance, in mechanical engineering. Despite the clear...
Sujata Mujumdar, Dr. Gabor Karsai, Dr. Sandeep Neema
Advisor, Dr. Sandeep Neema, for providing me with an opportunity to work on this project. His direction and guidance throughout the development of the project has been extremely helpful. I would also...
Approved Date Approved: (2005)
Matthew Joel Emerson, Janos Sztipanovits, Gabor Karsai, Matthew Joel Emerson
Thesis under the direction of Professor Janos Sztipanovits Versatile model-based design demands languages and tools which are suitable for the cre-ation, manipulation, transformation, and composition...
A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems (2005)
Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
In this paper we present a consistency-based robust diagnosis approach for a class of temporal causal systems modeled as timed failure propagation graphs. Timed failure propagation graphs are causal...
Janos Sztipanovits Gautam, Gautam Biswas, Ken Frampton, Anirudda Gokhale, Larry Howard, Gabor Karsai, ...
Embedded software and systems are at the intersection of electrical engineering, computer engineering, and computer science, with increasing importance in mechanical engineering. Despite the clear...
Applying a Model Transformation Taxonomy to Graph Transformation Technology (2005)
Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
A taxonomy of model transformations was introduced in [16]. Among others, such a taxonomy can help developers in deciding which language, forma lism, tool or mechanism is best suited to carry out a...
Janos Sztipanovits, Gautam Biswas, Ken Frampton, Anirudda Gokhale, Larry Howard, Gabor Karsai, ...
Embedded software and systems are at the intersection of electrical engineering, computer engineering, and computer science, with increasing importance in mechanical engineering. Despite the clear...
Janos Sztipanovits, Gautam Biswas, Ken Frampton, Larry Howard, Gabor Karsai, T. John Koo, ...
Embedded software and systems are at the intersection of electrical engineering, computer engineering,
A Domain-Specific Visual Language for Domain Model Evolution (2004)
Jonathan Sprinkle, Gabor Karsai
Domain-specific visual languages (DSVLs) are concise and useful tools that allow the rapid development of the behavior and/or structure of applications in well-defined domains. These languages are...
Platform Modeling and Model Transformations for Analysis (2004)
Tivadar Szemethy, Gabor Karsai
Abstract: The model-based approach to the development of embedded systems relies on the use of explicit models in the design process. If these models faithfully represent the components of the system...
Aditya Agrawal, Gyula Simon, Gabor Karsai
Embedded systems are often modeled using Matlab’s Simulink and Stateflow (MSS), to simulate plant and controller behavior but these models lack support for formal verification. On the other hand...
Automatic Verification of Component-Based Real-Time CORBA Applications (2004)
Gabor Madl, Sherif Abdelwahed, Gabor Karsai
Distributed real-time embedded (DRE) systems often need to satisfy various time, resource and faulttolerance constraints. To manage the complexity of scheduling these systems many methods use Rate...
Nashville, Tennessee Approved: (2004)
Kumar Gaurav Chhokra, Gabor Karsai, Theodore Bapty, D. Mitchell Wilkes
To my parents, for never letting me give up. ii
System diagnosis using hybrid failure propagation graphs (2004)
Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
Abstract. This paper presents an approach for robust diagnosis of a general class of dynamic systems based on a temporal failure propagation model. The proposed approach can be applied to a general...
Automatic Verification of Component-Based Real-Time CORBA Applications (2004)
Gabor Madl, Sherif Abdelwahed, Gabor Karsai
Distributed real-time embedded (DRE) systems often need to satisfy various time, resource and faulttolerance constraints. To manage the complexity of scheduling these systems many methods use Rate...
System Diagnosis Using Hybrid Failure Propagation Graphs (2004)
Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
This paper presents an approach for robust diagnosis of a general class of dynamic systems based on a temporal failure propagation model. The proposed approach can be applied to a general class of...
Composition and Cloning in Modeling and Meta-Modeling (2004)
Gabor Karsai, Miklos Maroti, Akos Ledeczi, Jeff Gray, Janos Sztipanovits
The Generic Modeling Environment (GME) is a configurable tool suite that facilitates the rapid creation of domainspecific model-integrated program synthesis environments. There are three...
G: Reusable Idioms and Patterns in Graph Transformation Languages 2004 (2004)
Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai
Software engineering tools based on Graph Transformation techniques are becoming available, but their practical applicability is somewhat reduced by the lack of idioms and design patterns. Idioms and...
Model-integrated development of embedded software (2003)
Gabor Karsai, Janos Sztipanovits, Akos Ledeczi, Ted Bapty
Proceedings of the IEEE January 2003 The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple view models used in all phases of the...
Model-integrated development of embedded software (2003)
Gabor Karsai, Janos Sztipanovits
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Models...
Robust Diagnosis of Switching Systems (2003)
Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
This paper presents an approach for robust diagnosis of switching systems based on an extended version of the timed failure propagation graph model. The extended failure propagation graph model is a...
A metamodel-driven MDA process and its tools (2003)
Gabor Karsai, Aditya Agarwal, Akos Ledeczi
A domain-specific refinement of MDA, called DS-MDA is introduced, and a practical manifestation of it called MIC (for Model-Integrated Computing) is described. MIC extends MDA in the direction of...
On the use of graph transformations for the formal specification of model interpreters (2003)
Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
Abstract: Model-based development necessitates the transformation of models between different stages and tools of the design process. These transformations must be precisely, preferably formally,...
Graph Transformations in OMGs Model-Driven Architecture (2003)
Abstract. The Model-Driven Architecture (MDA) vision of the Object Management Group offers a unique opportunity for introducing Graph Transformation (GT) technology to the software industry. The...
On the use of graph transformations for the formal specification of model interpreters (2003)
Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
Abstract: Model-based development necessitates the transformation of models between different stages and tools of the design process. These transformations must be precisely, preferably formally,...
Constraint-based design-space exploration and model synthesis (2003)
Eep Neema, Janos Sztipanovits, Gabor Karsai
Abstract. An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing model...
Hybrid Modeling and Diagnosis in the Real World: A Case Study (2002)
Narasimhan, Sriram, Biswas, Gautam, Karsai, Gabor, Szemethy, Tivadar, Bowman, Tim
Applying model-based diagnosis techniques to systems that exhibit hybrid behavior presents an interesting set of challenges that mostly revolve around interactions of the continuous and discrete...
Generative Programming for Embedded Systems (2002)
Janos Sztipanovits, Gabor Karsai
Abstract. Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective. Starting with the unique challenges of...
Hybrid modeling and diagnosis in the real world: A case study (2002)
Sriram Narasimhan, Gautam Biswas, Gabor Karsai, Tivadar Szemethy
Applying model-based diagnosis techniques to systems that exhibit hybrid behavior presents an interesting set of challenges that mostly revolve around interactions of the continuous and discrete...
Generative Programming for Embedded Systems (2002)
Janos Sztipanovits, Gabor Karsai
Abstract. Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective. Starting with the unique challenges of...
Model Reuse with Metamodel-Based Transformations (2002)
Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Akos Ledeczi, Hassan Charaf
Abstract. Metamodel-based transformations permit descriptions of mappings between models created using different concepts from possibly overlapping domains. This paper describes the basic algorithms...
Generative programming via graph transformations in the model-driven architecture (2002)
Aditya Agrawal, Tihamer Levendovszky, Jon Sprinkle, Feng Shi, Gabor Karsai
The Model-Driven Architecture of OMG envisions a development paradigm where designers create a Platform-Independent Model (PIM) of the design, which is then refined into a Platform-Specific Model...
Realization and Real-time Properties of Reconfiguration and Transient Management Methods * (2002)
Tamás Kovácsházy, Gábor Péceli, Gyula Simon, Gabor Karsai
List of Figures..................................................................................................................... 3 1...
The Generic Modeling Environment (2001)
Akos Ledeczi, Miklos Maroti, Arpad Bakay, Gabor Karsai, Jason Garrett, Charles Thomason, ...
The Generic Modeling Environment (GME) is a configurable toolset that supports the easy creation of domain-specific modeling and program synthesis environments. The primarily graphical,...
The Generic Modeling Environment (2001)
Akos Ledeczi, Miklos Maroti, Arpad Bakay, Gabor Karsai, Jason Garrett, Charles Thomason, ...
The Generic Modeling Environment (GME) is a configurable toolset that supports the easy creation of domain-specific modeling and program synthesis environments. The primarily graphical,...
Fault-Adaptive Control: A CBS Application (2001)
Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gabor Peceli, Gyula Simon, ...
Complex control applications require a capability for accommodating faults in the controlled plant. Fault accommodation involves the detection and isolation of faults, and taking an appropriate...
An Approach to Self-Adaptive Software based on Supervisory Control (2001)
Gabor Karsai, Akos Ledeczi, Janos Sztipanovits, Gabor Peceli, Gyula Simon, Tamas Kovacshazy
Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This adaptation is a...
Model integrated computing-based software design and evolution (2000)
Greg Nordstrom, Gabor Karsai, Michael Moore, Ted Bapty, Janos Sztipanovits
Among the most significant technological developments of the past 20 years are computer-based systems (CBSs), where functional, performance, and reliability requirements demand the tight integration...
Specifying Graphical Modeling Systems Using Constraint-based Metamodels (2000)
Gabor Karsai, Greg Nordstrom, Akos Ledeczi, Janos Sztipanovits
Embedded computer-based systems are becoming highly complex and difficult to implement due to the large number of concerns designers must address. These systems are tightly coupled to their...
Why XSL is Not Suitable for Semantic Translation (2000)
Recently, XML [XML] has been extended with a capability, called XSLT, [XSL] for translating XML data compliant with one DTD into XML compliant with another DTD. This approach has been hailed as the...
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments (1999)
Gregory G. Nordstrom, Benoit Dawant, D. Mitchell Wilkes, Gabor Karsai
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific software applications for...
Model-Integrated Computing Environment (1998)
Sztipanovits, Janos, Karsai, Gabor, Ledeczi, Akos
Model-Integrated Computing (MIC) was developed for building embedded software systems. The key element of this approach is the extension of the scope and usage of models such that they form the...
Autonomous Negotiating Teams and Model-Integrated Computing for Autonomic Logistics (1998)
The Model-Integrated Computing and Autonomous Negotiating Teams for Autonomic Logistics (MICANTS) project described in this report addressed the problem of building advanced decision support tools...
Metalevel Extension of the MultiGraph Architecture (1998)
Greg Nordstrom, Janos Sztipanovits, Gabor Karsai
Domain-specific model integrated program synthesis (MIPS) environments are created according to a modeling paradigm – a description of the class of models that can be created using the system. Just...
M.: "An Integrated MultiDomain Analysis Environment For High Consequence Systems (1998)
James Davis, Jason Scott, Janos Sztipanovits, Gabor Karsai
Modeling and analysis of high consequence, high assurance systems requires special modeling considerations. System safety and reliability information must be captured in the models. Previously, high...
Self-adaptive software for signal processing (1998)
Janos Sztipanovits, Gabor Karsai
Digital signal processing (DSP) systems are widely used in communication, medical, sonar, radar, equipment health monitoring and many other applications. Frequently, the signal processing system has...