Browsing ORBilu

MyORBi^lu

Browse ORBi^lu by

Open Access

ORBi^lu

The ORBi^lu Project

ISSN: 2354-5011

ORBi^lu is a project developed by


	References of "Göknil, Arda 50001874" in Showing results 21 to 40 of 42 1 2 3 Fostering 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: 145 (5 UL) Experimental Evaluation of a Tool for Change Impact Prediction in Requirements Models: Design, Results, and Lessons Learned Göknil, Arda ; 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: 131 (4 UL) Railroad Crossing Heterogeneous Model Vara Larsen, M.; Göknil, Arda in International Workshop on The Globalization of Modeling Languages co-located with Models 2013 (2013) Detailed reference viewed: 89 (12 UL) A Metamodeling Approach for Reasoning on Multiple Requirements Models Göknil, Arda ; Kurtev, I.; Millo, J. V. in Enterprise Distributed Object Conference (EDOC) 2013-12-05 15:24:18 +0000 (2013) Detailed reference viewed: 107 (6 UL) Analysis Support for TADL2 Timing Constraints on EAST-ADL Models Göknil, Arda ; 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: 108 (1 UL) Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare Göknil, Arda ; 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: 104 (3 UL) A DSL for Specifying Timing Requirements Göknil, Arda ; 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: 136 (14 UL) A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2 Peraldi-Frati, M. A.; Göknil, Arda ; 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: 88 (14 UL) Semantics of trace relations in requirements models for consistency checking and inferencing Göknil, Arda ; Kurtev, I.; van den Berg, K. et al in Software and Systems Modeling (2011), 10(1), 31--54 Detailed reference viewed: 107 (2 UL) Tool support for generation and validation of traces between requirements and architecture Göknil, Arda ; 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: 103 (1 UL) Model Driven Development of Semantic Web Enabled Multi-agent Systems Kardas, G.; Göknil, Arda ; Dikenelli, O. et al in International Journal of Cooperative Information Systems (2009), 18(02), 261--308 Detailed reference viewed: 118 (0 UL) Change impact analysis for SysML requirements models based on semantics of trace relations Hove, D.; Göknil, Arda ; Kurtev, I. et al in Proceedings of the 5th ECMFA Traceability Workshop (2009) Detailed reference viewed: 50 (1 UL) Operation Composition in Model Transformations with Complex Source Patterns Göknil, Arda ; Topaloglu, N. Y.; Van Den Berg, K. G. in Centre for Telematics and Information Technology, University of Twente (2008) Detailed reference viewed: 27 (0 UL) Change impact analysis based on formalization of trace relations for requirements Göknil, Arda ; Kurtev, I.; van den Berg, K. in Proceedings of the 4th ECMFA Traceability Workshop (2008) Detailed reference viewed: 48 (0 UL) A metamodeling approach for reasoning about requirements Göknil, Arda ; 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: 79 (0 UL) Survey of traceability approaches in model-driven engineering Galvao, I.; Göknil, Arda in 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC) 2013-12-05 15:42:49 +0000 (2007) Detailed reference viewed: 104 (1 UL) Modeling the interaction between semantic agents and semantic web services using MDA approach Kardas, G.; Göknil, Arda ; 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: 91 (0 UL) Model transformation for model driven development of semantic web enabled multi-agent systems Kardas, G.; Göknil, Arda ; Dikenelli, O. et al in 5th German Conference on Multiagent System Technologies (MATES) 2013-12-05 15:33:03 +0000 (2007) Detailed reference viewed: 83 (0 UL) Composing transformation operations based on complex source pattern definitions Göknil, Arda ; Topaloglu, N. Y. in First European Workshop on Composition of Model Transformations-CMT (2006) Detailed reference viewed: 34 (0 UL) Metamodeling of semantic web enabled multiagent systems Kardas, G.; Göknil, Arda ; Dikenelli, O. et al in Multiagent Systems and Software Architecture (MASSA), Erfurt, Germany 2013-12-05 15:30:26 +0000 (2006) Detailed reference viewed: 44 (0 UL) 1 2 3

Creative Commons Licence

University of Luxembourg Library | Feedback | Legal notices