Browsing by Author "Tekinerdoğan, Bedir"

Now showing 1 - 19 of 19

Open Access
An approach for detecting inconsistencies between behavioral models of the software architecture and the code
(2012-07) Çıracı, Selim; Sözer, Hasan; Tekinerdoğan, Bedir
In practice, inconsistencies between architectural documentation and the code might arise due to improper implementation of the architecture or the separate, uncontrolled evolution of the code. Several approaches have been proposed to detect inconsistencies between the architecture and the code but these tend to be limited for capturing inconsistencies that might occur at runtime. We present a runtime verification approach for detecting inconsistencies between the dynamic behavior of the documented architecture and the actual runtime behavior of the system. The approach is supported by a set of tools that implement the architecture and the code patterns in Prolog, and automatically generate runtime monitors for detecting inconsistencies. We illustrate the approach and the toolset for a Crisis Management System case study. © 2012 IEEE.
Unknown
Architecture conformance analysis approach within the context of multiple product line engineering
(IEEE, 2014-04) Tekinerdoğan, Bedir; Çilden, E.; Erdoğan, Ö. Ö.; Aktuğ, O.
One of the important concerns in software product line engineering is the conformance of the application architecture to the product line architecture. Consistency with the product line architecture is important to ensure that the business rules and constraints that are defined for the entire product family are not violated. Usually, the conformance checking to the product line architecture is a manual and tedious process. A popular approach for ensuring architecture conformance is reflexion modeling which has been primarily used to check the consistency between the architecture and the code. In this paper we present an approach for product line conformance analysis based on reflexion modeling. We consider conformance analysis in product line engineering and extend our discussion to multiple product line engineering. Our study shows several important challenges regarding reflexion modeling within the context of product line engineering. © 2014 IEEE.
Open Access
Architecture framework for software safety
(Springer, 2014-09) Gürbüz, Havva Gülay; Pala Er, N.; Tekinerdoğan, Bedir
Currently, an increasing number of systems are controlled by soft- ware and rely on the correct operation of software. In this context, a safety- critical system is defined as a system in which malfunctioning software could result in death, injury or damage to environment. To mitigate these serious risks, the architecture of safety-critical systems needs to be carefully designed and analyzed. A common practice for modeling software architecture is the adoption of software architecture viewpoints to model the architecture for par- ticular stakeholders and concerns. Existing architecture viewpoints tend to be general purpose and do not explicitly focus on safety concerns in particular. To provide a complementary and dedicated support for designing safety critical systems, we propose an architecture framework for software safety. The archi- tecture framework is based on a metamodel that has been developed after a tho- rough domain analysis. The framework includes three coherent viewpoints, each of which addressing an important concern. The application of the view- points is illustrated for an industrial case of safety-critical avionics control computer system. © Springer International Publishing Switzerland 2014.
Unknown
Architecture-based testing and system validation: workshop summary
(IEEE, 2011-06) Tekinerdoğan, Bedir; Clements, P.; Muccini, H.; Chaudron, M.; Polini, A.; Woods, E.
This paper summarizes the workshop on Architecture-Based Testing and System Validation which was organized in conjunction with the 9th Working IEEE/IFIP Conference on Software Architecture. The main goal of the workshop was to bring together researchers and practitioners both from the architecture design and software testing community to enable architecture-based software testing. © 2011 IEEE.
Unknown
Decision support for adopting SPLE with transit-PL
(ACM, 2013) Kalender, Mert Emin; Tüzün, E.; Tekinerdoğan, Bedir
It is generally acknowledged that the decision to adopt a software product line engineering (SPLE) approach needs to be performed carefully due to the di• erent risks involved in taking such an important decision. To mitigate the potential risks of the transition to SPLE, several studies have been proposed that include many di• erent rules for analyzing the feasibility of the SPLE adoption and the selection of transition process. However, it is not easy to apply these manually and likewise provide a proper decision with the corresponding justification. In this paper, we propose the tool Transit-PL, a web based decision support system for analyzing the feasibility of SPLE for an organization and selecting the appropriate transition strategy. Transit-PL provides a framework to build particular decision support system for selected strategies using di• erent types of questions and corresponding rules and set of answers. Copyright 2013 ACM.
Unknown
Defining architectural viewpoints for quality concerns
(Springer, Berlin, Heidelberg, 2011) Tekinerdoğan, Bedir; Sözer H.
A common practice in software architecture design is to apply architectural views to model the design decisions for the various stakeholder concerns. When dealing with quality concerns, however, it is more difficult to address these explicitly in the architectural views. This is because quality concerns do not easily match the architectural elements that seem to be primarily functional in nature. As a result, the communication and analysis of these quality concerns becomes more problematic in practice. We introduce a general and practical approach for supporting architects to model quality concerns by extending the architectural viewpoints of the so-called V&B approach. We illustrate the approach for defining recoverability and adaptability viewpoints for an open source software architecture. © 2011 Springer-Verlag.
Unknown
Deploy-DDS: Tool framework for supporting deployment architecture of data distribution service based systems
(ACM, 2014-08) Çelik, T.; Köksal, O.; Tekinerdoğan, Bedir
Data Distribution Service (DDS) is the Object Management Group's (OMG) new standard middleware after Common Object Request Broker Architecture (CORBA), which is becoming increasingly popular. One of the important problems in DDS Based Software Systems is the deployment configuration of DDS modules to the physical resources. In general, this can be done in many different ways whereby each deployment alternative will perform differently. Currently, the deployment configuration is decided after the coding phase and usually performed manually. For large configurations, finding the feasible deployment might require serious rework with costly and time consuming iterations. In this paper, we present the tool Deploy-DDS to support the selection and generation of deployment architectures of DDS based systems. The tool can be used to perform an evaluation during the design phase and generate the selected feasible configuration. © 2014 Authors.
Open Access
Domain specific language for deployment of parallel applications on parallel computing platforms
(Association for Computing Machinery, 2014-08) Arkın, E.; Tekinerdoğan, Bedir
To increase the computing performance the current trend is towards applying parallel computing in which parallel tasks are executed on multiple nodes. The deployment of tasks on the computing platform usually impacts the overall performance and as such needs to be modelled carefully. In the architecture design community the deployment viewpoint is an important viewpoint to support this mapping process. In general the derived deployment views are visual notations that are not amenable for run-time processing, and do not scale well for deployment of large scale parallel applications. In this paper we propose a domain specific language (DSL) for modeling the deployment of parallel applications and for providing automated support for the deployment process. The DSL is based on a metamodel that is derived after a domain analysis on parallel computing. We illustrate the application of the DSL for a traffic simulation system and provide a set of important scenarios for using the DSL. © 2014 ACM.
Open Access
First international workshop on Multi Product Line Engineering (MultiPLE 2013)
(ACM, 2013-08) Moonen, L.; Acharya, M.; Behjati, R.; Tekinerdoğan, Bedir; Rabiser, R.; Kang, K. C.
In an industrial context, software systems are rarely developed by a single organization. For software product lines, this means that various organizations collaborate to provide and integrate the assets used in a product line. It is not uncommon that these assets themselves are built as product lines, a practice which is referred to as multi product lines. This cross-organizational distribution of reusable assets leads to numerous challenges, such as inconsistent configuration, costly and time-consuming integration, diverging evolution speed and direction, and inadequate testing. The MultiPLE workshop is aimed at discussing the challenges involved with the development and evolution of multi product lines and the assets used for their production. © 2013 Authors.
Open Access
Gömülü sistemler için yazilim mimari çerçevesi
(CEUR-WS, 2013) Tekinerdoğan, Bedir; Şeker, Şafak; Kahraman, Gökhan; Tekkalmaz, Metin; Erdoğan, Özgü Özköse
Open Access
Introducing global software development in Turkey: Why and how?
(IEEE, 2012) Tekinerdoğan, Bedir; Cetin, S.
Open Access
IoT system development methods
(Chapman & Hall/CRC Press, 2018) Tekinerdoğan, Bedir; Tüzün, Eray; Giray, G.; Hassan, Q. F.; Khan, A. ur R.; Madani, S. A.
It is generally believed that the application of methods plays an important role in developing quality systems. A development method is mainly necessary for structuring the process in producing large-scale and complex systems that involve high costs. Similar to the development of other systems, it is important for IoT systems to be developed in a systematic manner in order to achieve a proper system with respect to both the functional and nonfunctional requirements. Development methods for IoT systems are more complex than traditional software systems and possess challenges from the process perspective. So far, several IoT system development methods (SDMs) have already been proposed in the literature, but an overview and evaluation of SDMs for IoT is still missing.
Open Access
Model-driven transformations for mapping parallel algorithms on parallel computing platforms
(MDHPCL, 2013) Arkin, E.; Tekinerdoğan, Bedir
One of the important problems in parallel computing is the mapping of the parallel algorithm to the parallel computing platform. Hereby, for each parallel node the corresponding code for the parallel nodes must be implemented. For platforms with a limited number of processing nodes this can be done manually. However, in case the parallel computing platform consists of hundreds of thousands of processing nodes then the manual coding of the parallel algorithms becomes intractable and error-prone. Moreover, a change of the parallel computing platform requires considerable effort and time of coding. In this paper we present a model-driven approach for generating the code of selected parallel algorithms to be mapped on parallel computing platforms. We describe the required platform independent metamodel, and the model-to-model and the model-to-text transformation patterns. We illustrate our approach for the parallel matrix multiplication algorithm. Copyright © 2013 for the individual papers by the papers' authors.
Open Access
Modeling and reasoning about design alternatives of software as a service architectures
(IEEE, 2011-06) Tekinerdoğan, Bedir; Öztürk, K.; Doğru, A.
In general, a common reference architecture can be derived for Software as a Service (SaaS). However, while designing particular applications one may derive various application design alternatives from the same reference SaaS architecture specification. To meet the required functional and nonfunctional requirements of different enterprise applications it is important to model the possible design so that a feasible alternative can be defined. In this paper, we propose a systematic approach and corresponding tool support for guiding the design of SaaS application architectures. The approach defines a SaaS reference architecture, a family feature model and a set of reference design rules. Based on the business requirements an application feature model is defined using the family feature model. Selected features are related to design decisions and a SaaS application architecture design is derived. © 2011 IEEE.
Open Access
Multidimensional classification approach for defining product line engineering transition strategies
(Springer, Berlin, Heidelberg, 2010) Tekinerdoğan, Bedir; Tüzün, E.; Şaykol, E.
It is generally acknowledged that the transitioning process to a product line engineering approach is not trivial and as such requires a planned transition process. Different classifications of transition strategies have been proposed in the literature. It appears that these classification schemes are usually based on a single dimension. However, the adoption of a transition strategy is dependent on various criteria and very often it is not easy to characterize the required transition strategy. An appropriate characterization of the transition strategy is important for carrying out the right transition activities and steps to provide an operational product line engineering approach. In this paper, we first provide a conceptual model for defining the concepts related to transition strategies and then propose a multi-dimensional classification approach that aims to provide a more complete view on transition strategies. © 2010 Springer-Verlag Berlin Heidelberg.
Open Access
A run-time verification framework for smart grid applications implemented on simulation frameworks
(IEEE, 2013-05) Çıracı, Selim; Sözer, Hasan; Tekinerdoğan, Bedir
Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation onto these frameworks which results in a deviation between the architecture and the code. On its turn this deviation makes it hard to verify behavioral constraints that are described at the architectural level. We have developed the ConArch toolset to support the automated verification of architecture-level behavioral constraints. A key feature of ConArch is programmable mapping for architecture to the implementation. Here, developers implement queries to identify the points in the target program that correspond to architectural interactions. ConArch generates runtime observers that monitor the flow of execution between these points and verifies whether this flow conforms to the behavioral constraints. We illustrate how the programmable mappings can be exploited for verifying behavioral constraints of a smart grid application that is implemented with two simulation frameworks. © 2013 IEEE.
Open Access
Runtime verification of component-based embedded software
(Springer, 2011-09) Sözer, Hasan; Hofmann, C.; Tekinerdoğan, Bedir; Akşit, M.
To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and the working modes of the other components. To detect mode inconsistencies at runtime, we propose a "lightweight" error detection mechanism, which can be integrated with component-based embedded systems. We define links among three levels of abstractions: the runtime behavior of components, the working mode specifications of components and the specification of the working modes of the system. This allows us to detect the user observable runtime errors. The effectiveness of the approach is demonstrated by implementing a software monitor integrated into a TV system. © 2012 Springer-Verlag London Limited.
Open Access
Software language engineering of architectural viewpoints
(Springer, Berlin, Heidelberg, 2011) Demirli, Elif; Tekinerdoğan, Bedir
A common practice in software architecture design is to apply architectural views to design software architecture for the various stakeholder concerns. Architectural views are usually developed based on architectural viewpoints which define the conventions for constructing, interpreting and analyzing views. So far most architectural viewpoints seem to have been primarily used either to support the communication among stakeholders, or at the best to provide a blueprint for the detailed design. In this paper we provide a software language engineering approach to define viewpoints as domain specific languages. This enhances the formal precision of architectural viewpoints and leads to executable views that can be interpreted and analyzed by tools. We illustrate our approach for defining domain specific languages for the viewpoints of the Views and Beyond approach. © 2011 Springer-Verlag.
Open Access
A tool framework for deriving the application architecture for global software development projects
(IEEE, 2012) Yıldız, Buğra M; Tekinerdoğan, Bedir; Cetin, S.
In order to meet the communication, coordination and control requirements of distributed Global Software Development (GSD) teams, it is necessary to define a proper software architecture. Designing a GSD architecture, however, involves a multitude of design decisions that are related in different ways. As such, it is not trivial for the architect to design a system that meets the different GSD concerns. To assist the architect in designing a suitable GSD architecture we propose the tool framework Global Architect. The tool framework is based on a common meta-model for GSD and a question framework, which includes a predefined set of questions that are related to abstract design rules for designing GSD systems. Based on the answers provided to the questions of the question framework, the tool automatically selects and instantiates the necessary rules and generates the GSD architecture. Global Architect has been applied to design the GSD architecture for a real industrial project of Cybersoft, a leading GSD company in Turkey. © 2012 IEEE.