Panagiotis Katsaros | Aristotle University of Thessaloniki (original) (raw)

Panagiotis Katsaros

Uploads

Papers by Panagiotis Katsaros

Research paper thumbnail of Product Line Variability with Elastic Components and Test-Driven Development

In this work we present a systematic approach for the creation of new variant software components... more In this work we present a systematic approach for the creation of new variant software components via customization of existing core assets of a software product line. We consider both functional and quality variants and address the issue of a controlled creation of variants which considers the reference architecture and its co-evolution with a number of other artifacts including components and functional and quality test suites. Furthermore we discuss the relationship between the popular agile practice of test-driven development (TDD) and how it can be used to assist the evolution of software components of a software product line.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of AN ADAPTABLE FRAMEWORK FOR EDUCATIONAL SOFTWARE EVALUATION

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems

Concurrency and Computation: Practice and Experience, 2007

Checkpointing has a crucial impact on systems' performance and fault-tolerance effectiveness: exc... more Checkpointing has a crucial impact on systems' performance and fault-tolerance effectiveness: excessive checkpointing results in performance degradation, while deficient checkpointing incurs expensive recovery. In distributed systems with independent checkpoint activities there is no easy way to determine checkpoint frequencies optimizing response-time and fault-tolerance costs at the same time. The purpose of this paper is to investigate the potentialities of a statistical decision-making procedure. We adopt a simulation-based approach for obtaining performance metrics that are afterwards used for determining a trade-off between checkpoint interval reductions and efficiency in performance. Statistical methodology including experimental design, regression analysis and optimization provides us with the framework for comparing configurations, which use possibly different fault-tolerance mechanisms (replication-based or message-logging-based). Systematic research also allows us to take into account additional design factors, such as load balancing. The method is described in terms of a standardized object replication model (OMG FT-CORBA), but it could also be applied in other (e.g. process-based) computational models. Copyright © 2006 John Wiley & Sons, Ltd.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Elastic Components: Addressing Variance of Quality Properties in Components

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ASSESSING THE MODIFIABILITY OF TWO OBJECT ORIENTED DESIGN ALTERNATIVES - A CONTROLLED EXPERIMENT REPLICATION

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ACID Sim Tools: A Simulation Framework for Distributed Transaction Processing Architectures

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Static Program Analysis for Java Card Applets

The Java Card API provides a framework of classes and interfaces that hides the details of the un... more The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swamps of microcontroller programming. This allows application developers to concentrate most of their effort on the details of application, assuming proper use of the Java Card API calls regarding (i) the correctness of the methods’ invocation targets and their arguments and (ii) temporal safety, i.e. the requirement that certain method calls have to be used in certain orders. Several characteristics of the Java Card applets and their multiple-entry-point program structure make it possible for a potentially unhandled exception to reach the invoked entry point. This contingency opens a possibility to leave the applet in an unpredictable state that is potentially dangerous for the application’s security. Our work introduces automatic static program analysis as a means for the early detection of misused and therefore dangerous API calls. The shown analyses have been implemented within the FindBugs bug detector, an open source framework that applies static analysis functions on the applet bytecode.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Product Line Variability with Elastic Components and Test-Driven Development

In this work we present a systematic approach for the creation of new variant software components... more In this work we present a systematic approach for the creation of new variant software components via customization of existing core assets of a software product line. We consider both functional and quality variants and address the issue of a controlled creation of variants which considers the reference architecture and its co-evolution with a number of other artifacts including components and functional and quality test suites. Furthermore we discuss the relationship between the popular agile practice of test-driven development (TDD) and how it can be used to assist the evolution of software components of a software product line.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of AN ADAPTABLE FRAMEWORK FOR EDUCATIONAL SOFTWARE EVALUATION

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems

Concurrency and Computation: Practice and Experience, 2007

Checkpointing has a crucial impact on systems' performance and fault-tolerance effectiveness: exc... more Checkpointing has a crucial impact on systems' performance and fault-tolerance effectiveness: excessive checkpointing results in performance degradation, while deficient checkpointing incurs expensive recovery. In distributed systems with independent checkpoint activities there is no easy way to determine checkpoint frequencies optimizing response-time and fault-tolerance costs at the same time. The purpose of this paper is to investigate the potentialities of a statistical decision-making procedure. We adopt a simulation-based approach for obtaining performance metrics that are afterwards used for determining a trade-off between checkpoint interval reductions and efficiency in performance. Statistical methodology including experimental design, regression analysis and optimization provides us with the framework for comparing configurations, which use possibly different fault-tolerance mechanisms (replication-based or message-logging-based). Systematic research also allows us to take into account additional design factors, such as load balancing. The method is described in terms of a standardized object replication model (OMG FT-CORBA), but it could also be applied in other (e.g. process-based) computational models. Copyright © 2006 John Wiley & Sons, Ltd.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Elastic Components: Addressing Variance of Quality Properties in Components

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ASSESSING THE MODIFIABILITY OF TWO OBJECT ORIENTED DESIGN ALTERNATIVES - A CONTROLLED EXPERIMENT REPLICATION

Bookmarks Related papers MentionsView impact

Research paper thumbnail of ACID Sim Tools: A Simulation Framework for Distributed Transaction Processing Architectures

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Static Program Analysis for Java Card Applets

The Java Card API provides a framework of classes and interfaces that hides the details of the un... more The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swamps of microcontroller programming. This allows application developers to concentrate most of their effort on the details of application, assuming proper use of the Java Card API calls regarding (i) the correctness of the methods’ invocation targets and their arguments and (ii) temporal safety, i.e. the requirement that certain method calls have to be used in certain orders. Several characteristics of the Java Card applets and their multiple-entry-point program structure make it possible for a potentially unhandled exception to reach the invoked entry point. This contingency opens a possibility to leave the applet in an unpredictable state that is potentially dangerous for the application’s security. Our work introduces automatic static program analysis as a means for the early detection of misused and therefore dangerous API calls. The shown analyses have been implemented within the FindBugs bug detector, an open source framework that applies static analysis functions on the applet bytecode.

Bookmarks Related papers MentionsView impact

Log In