References of "Göknil, Arda 50001874"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailExperimental Evaluation of a Tool for Change Impact Prediction in Requirements Models: Design, Results, and Lessons Learned
Göknil, Arda UL; van Domburg, Roderick; Kurtev, Ivan et al

in The Fourth International Model-Driven Requirements Engineering (MoDRE) workshop (2014)

There are commercial tools like IBM Rational RequisitePro and DOORS that support semi-automatic change impact analysis for requirements. These tools capture the requirements relations and allow tracing ... [more ▼]

There are commercial tools like IBM Rational RequisitePro and DOORS that support semi-automatic change impact analysis for requirements. These tools capture the requirements relations and allow tracing the paths they form. In most of these tools, relation types do not say anything about the meaning of the relations except the direction. When a change is introduced to a requirement, the requirements engineer analyzes the impact of the change in related requirements. In case semantic information is missing to determine precisely how requirements are related to each other, the requirements engineer generally has to assume the worst case dependencies based on the available syntactic information only. We developed a tool that uses formal semantics of requirements relations to support change impact analysis and prediction in requirements models. The tool TRIC (Tool for Requirements Inferencing and Consistency checking) works on models that explicitly represent requirements and the relations among them with their formal semantics. In this paper we report on the evaluation of how TRIC improves the quality of change impact predictions. A quasi-experiment is systematically designed and executed to empirically validate the impact of TRIC. We conduct the quasi-experiment with 21 master’s degree students predicting change impact for five change scenarios in a real software requirements specification. The participants are assigned with Microsoft Excel, IBM RequisitePro or TRIC to perform change impact prediction for the change scenarios. It is hypothesized that using TRIC would positively impact the quality of change impact predictions. Two formal hypotheses are developed. As a result of the experiment, we are not able to reject the null hypotheses, and thus we are not able to show experimentally the effectiveness of our tool. In the paper we discuss reasons for the failure to reject the null hypotheses in the experiment. [less ▲]

Detailed reference viewed: 104 (4 UL)
Full Text
Peer Reviewed
See detailFostering Analysis from Industrial Embedded Systems Modeling
Bourdelles, Michel; Li, Shuai; Quadri, Imran et al

in Handbook of Research on Embedded Systems Design (2014)

In most industrial embedded systems development projects, the software and the hardware development parts are separated, and the constraint requirements/capabilities are informally exchanged in the system ... [more ▼]

In most industrial embedded systems development projects, the software and the hardware development parts are separated, and the constraint requirements/capabilities are informally exchanged in the system development phase of the process. To prevent failures due to the violation of timing constraints, hardware components of the platform are typically over dimensioned for the capabilities needed. This increases both cost and power consumption. Performance analysis is not done sufficiently at early stages of the development process to optimize the system. This chapter presents results of the integration of tools and extra modeling to offer new performance analysis capabilities in the early stages of the development process. These results are based on trace generation from code instrumentation. A number of enhancements were made, spanning the system modeling stage down to the execution stage (based on an ARM dual core Cortex A9-based target board). Final results taken from a software-based radio case study (including the analysis and validation stages) are presented. [less ▲]

Detailed reference viewed: 117 (5 UL)
Full Text
Peer Reviewed
See detailTool Support for the Analysis of TADL2 Timing Constraints using TimeSquare
Göknil, Arda UL; Peraldi-Frati, M. A.; Mallet, F. et al

in 18th International Conference on Engineering of Complex Computer Systems (ICECCS) 2013-12-05 15:45:19 +0000 (2013)

Detailed reference viewed: 75 (3 UL)
Full Text
Peer Reviewed
See detailRailroad Crossing Heterogeneous Model
Vara Larsen, M.; Göknil, Arda UL

in International Workshop on The Globalization of Modeling Languages co-located with Models 2013 (2013)

Detailed reference viewed: 64 (12 UL)
Full Text
Peer Reviewed
See detailA Metamodeling Approach for Reasoning on Multiple Requirements Models
Göknil, Arda UL; Kurtev, I.; Millo, J. V.

in Enterprise Distributed Object Conference (EDOC) 2013-12-05 15:24:18 +0000 (2013)

Detailed reference viewed: 83 (6 UL)
Full Text
Peer Reviewed
See detailAnalysis Support for TADL2 Timing Constraints on EAST-ADL Models
Göknil, Arda UL; Suryadevara, Jagadish; Peraldi-Frati, Marie-Agnes et al

in 7th European Conference on Software Architecture 2013-12-05 15:47:13 +0000 2013-12-05 15:50:36 +0000 (2013)

Detailed reference viewed: 79 (1 UL)
Full Text
Peer Reviewed
See detailA Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2
Peraldi-Frati, M. A.; Göknil, Arda UL; Deantoni, J. et al

in 17th International Conference on Engineering of Complex Computer Systems (ICECCS) 2013-12-05 15:24:57 +0000 (2012)

Detailed reference viewed: 62 (14 UL)
Full Text
Peer Reviewed
See detailA DSL for Specifying Timing Requirements
Göknil, Arda UL; Peraldi-Frati, M. A.

in Proceedings of the 2nd Model Driven Requirements Engineering Workshop (MODRE) 2013-12-05 15:25:32 +0000 (2012)

Detailed reference viewed: 94 (14 UL)
Full Text
Peer Reviewed
See detailSemantics of trace relations in requirements models for consistency checking and inferencing
Göknil, Arda UL; Kurtev, I.; van den Berg, K. et al

in Software & Systems Modeling (2011), 10(1), 31--54

Detailed reference viewed: 82 (1 UL)
Full Text
Peer Reviewed
See detailTool support for generation and validation of traces between requirements and architecture
Göknil, Arda UL; Kurtev, I.; van den Berg, K.

in Proceedings of the 6th ECMFA Traceability Workshop 2013-12-05 15:44:17 +0000 (2010)

Detailed reference viewed: 66 (1 UL)
Full Text
Peer Reviewed
See detailModel Driven Development of Semantic Web Enabled Multi-agent Systems
Kardas, G.; Göknil, Arda UL; Dikenelli, O. et al

in International Journal of Cooperative Information Systems (2009), 18(02), 261--308

Detailed reference viewed: 76 (0 UL)
Full Text
Peer Reviewed
See detailChange impact analysis for SysML requirements models based on semantics of trace relations
Hove, D.; Göknil, Arda UL; Kurtev, I. et al

in Proceedings of the 5th ECMFA Traceability Workshop (2009)

Detailed reference viewed: 35 (1 UL)
Peer Reviewed
See detailChange impact analysis based on formalization of trace relations for requirements
Göknil, Arda UL; Kurtev, I.; van den Berg, K.

in Proceedings of the 4th ECMFA Traceability Workshop (2008)

Detailed reference viewed: 27 (0 UL)
Peer Reviewed
See detailA metamodeling approach for reasoning about requirements
Göknil, Arda UL; Kurtev, I.; van den Berg, K.

in European Conference on Model Driven Architecture-Foundations and Applications (ECMFA) 2013-12-05 15:27:22 +0000 (2008)

Detailed reference viewed: 58 (0 UL)
Peer Reviewed
See detailOperation Composition in Model Transformations with Complex Source Patterns
Göknil, Arda UL; Topaloglu, N. Y.; Van Den Berg, K. G.

in Centre for Telematics and Information Technology, University of Twente (2008)

Detailed reference viewed: 15 (0 UL)
Peer Reviewed
See detailModeling the interaction between semantic agents and semantic web services using MDA approach
Kardas, G.; Göknil, Arda UL; Dikenelli, O. et al

in 7th International Workshop on Engineering Societies in the Agents World (ESAW) 2013-12-05 15:37:50 +0000 (2007)

Detailed reference viewed: 70 (0 UL)
Peer Reviewed
See detailSurvey of traceability approaches in model-driven engineering
Galvao, I.; Göknil, Arda UL

in 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC) 2013-12-05 15:42:49 +0000 (2007)

Detailed reference viewed: 77 (1 UL)
Peer Reviewed
See detailModel transformation for model driven development of semantic web enabled multi-agent systems
Kardas, G.; Göknil, Arda UL; Dikenelli, O. et al

in 5th German Conference on Multiagent System Technologies (MATES) 2013-12-05 15:33:03 +0000 (2007)

Detailed reference viewed: 58 (0 UL)
Peer Reviewed
See detailComposing transformation operations based on complex source pattern definitions
Göknil, Arda UL; Topaloglu, N. Y.

in First European Workshop on Composition of Model Transformations-CMT (2006)

Detailed reference viewed: 22 (0 UL)
Peer Reviewed
See detailMetamodeling of semantic web enabled multiagent systems
Kardas, G.; Göknil, Arda UL; Dikenelli, O. et al

in Multiagent Systems and Software Architecture (MASSA), Erfurt, Germany 2013-12-05 15:30:26 +0000 (2006)

Detailed reference viewed: 31 (0 UL)