Filters








19 Hits in 1.5 sec

Principles of Feature Modeling

Damir Nešić, Jacob Krüger, Stefan Stănciulescu, Thorsten Berger
2020 Software Engineering  
.): SE 2020, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2020 77 [Ne19] Nešić, Damir; Krüger, Jacob; Stănciulescu, S , tefan; Berger, Thorsten: Principles of Feature Modeling  ... 
doi:10.18420/se2020_21 dblp:conf/se/NesicKSB20 fatcat:mfh5xudpizdj7h32mkgqlnrndm

Verifying Contract-Based Specifications of Product Lines using Description Logic

Damir Nesic, Mattias Nyberg
2018 International Workshop on Description Logics  
The complexity of critical systems is constantly increasing and if developed as Product Lines (PLs), the number of possible system configuration can be huge. Consequently, assuring system properties such as safety or security is increasingly difficult. Assurance cases are used often to argue that a system is safe or secure and Contract-Based Specification models are a promising foundation for assurance case argumentation. This paper defines a method for Description Logic (DL) based verification
more » ... of the well-formedness constraints of an arbitrary CBS model of a PL. The paper presents the DL encoding of arbitrary CBS model, the DL encoding of the well-formedness constraints, and shows how the verification of these constraints can be reduced to satisfiability verification of the corresponding knowledge base. In order to validate the presented approach, a small, but real, industrial PL was expressed as a CBS model, implemented as an OWL ontology, and an off-the-shelf reasoner was used to verify if the CBS model is well-formed.
dblp:conf/dlog/NesicN18 fatcat:wrdkxrxsorhdngztnxbkv76jey

Photovoltaic Energy Harvesting Wireless Sensor Node for Telemetry Applications Optimized for Low Illumination Levels

Ljubomir Vračar, Aneta Prijić, Damir Nešić, Saša Dević, Zoran Prijić
2016 Electronics  
This paper reports the design of a photovoltaic energy harvesting device used as telemetry node in wireless sensor networks. The device draws power from the small solar cell, stores it into the primary energy buffer and backup supercapacitor, collects measured data from various sensors and transmits them over low power radio link at 868 MHz. Its design ensures reliable cold booting under very poor illumination conditions (down to 20 lx). The solar cell also enables indirect illumination level
more » ... tection for the subcircuit that manages stored energy (day/night detector). The device is allowed to draw power from the backup supercapacitor only when it is not possible to gather enough energy from the solar cell during the sleep period. Short lasting and sudden drops of the illumination do not activate the backup power supply. A wireless sensor node design is adjusted to the proposed photovoltaic harvesting circuitry, so the overall power consumption in the sleep mode is less than 25 µW. Also, due to adaptive power consumption, proposed device topology ensures its autonomy time in the total darkness of 81 h. The device has been produced using commercially available components enabling versatile telemetric functionality by the implementation of different sensors.
doi:10.3390/electronics5020026 fatcat:l2zrpnqx25gn3kr27t2wvbugti

Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems

Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer
2019 Software Engineering  
Hundreds of dedicated analysis techniques for highly configurable systems have been conceived, many of them able to analyze properties for all possible system configurations. Unfortunately, it is largely unknown whether these techniques are adopted in practice, whether they address actual needs, or which strategies practitioners apply. We present a study [MNM+18] of analysis practices and needs in industry based on surveys and interviews. We confirm that properties considered in the literature
more » ... e.g., reliability) are relevant and that consistency between variability models and artifacts is critical, but that the majority of analyses for specifications of configuration options (a.k.a., variability model analysis) is not perceived as needed. We identified pragmatic analysis strategies, including practices to avoid the need for analysis. We discuss analyses that are missing and synthesize our insights into suggestions for future research.
doi:10.18420/se2019-21 dblp:conf/se/MukelabaiNMBS19 fatcat:lsxnyyfvjnatxpn3ucwf342r3i

Principles of feature modeling

Damir Nešić, Jacob Krüger, Ștefan Stănciulescu, Thorsten Berger
2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019  
Feature models are arguably one of the most intuitive and successful notations for modeling the features of a variant-rich software system. Feature models help developers to keep an overall understanding of the system, and also support scoping, planning, development, variant derivation, configuration, and maintenance activities that sustain the system's long-term success. Unfortunately, feature models are difficult to build and evolve. Features need to be identified, grouped, organized in a
more » ... archy, and mapped to software assets. Also, dependencies between features need to be declared. While feature models have been the subject of three decades of research, resulting in many feature-modeling notations together with automated analysis and configuration techniques, a generic set of principles for engineering feature models is still missing. It is not even clear whether feature models could be engineered using recurrent principles. Our work shows that such principles in fact exist. We analyzed feature-modeling practices elicited from ten interviews conducted with industrial practitioners and from 31 relevant papers. We synthesized a set of 34 principles covering eight different phases of feature modeling, from planning over model construction, to model maintenance and evolution. Grounded in empirical evidence, these principles provide practical, contextspecific advice on how to perform feature modeling, describe what information sources to consider, and highlight common characteristics of feature models. We believe that our principles can support researchers and practitioners enhancing feature-modeling tooling, synthesis, and analyses techniques, as well as scope future research. CCS CONCEPTS • Software and its engineering → Software product lines; Software reverse engineering.
doi:10.1145/3338906.3338974 dblp:conf/sigsoft/NesicKSB19 fatcat:mo2ekc3x5fa4nnf3jlqczifiom

Applying Multi-level Modeling to Data Integration in Product Line Engineering

Damir Nesic, Mattias Nyberg
2017 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Developing systems according to the Product Line Engineering (PLE) paradigm is a process in which different types of engineering artifacts are created with the aim of reusing them in different configurations of the same system. Ensuring that different system configurations satisfy various functional and non-functional properties is ensured by analyzing different artifacts but because they are maintained by different tools, sometimes even manually, achieving and especially automating such
more » ... s is a challenging task. Overcoming this issue can be achieved through data integration of existing data which implies creating an information model that specifies how will the existing data fragments be related, captures relevant domain constraints, and most importantly captures the fact that some data objects are classes in one tool and instances in another. This paper reports on the experiences from applying the Multi-Level conceptual Theory (MLT), to the problem of information modeling for data integration in the PLE context. Being a Multi-Level Modeling, powertype-based framework, MLT allows separation of the class and instance facet of modeled entities while keeping them explicit. Some of the MLT modeling constructs are particularly useful for capturing the refinement levels of the modeled artifacts and for succinctly capturing constraints like disjointess or completeness among them. The paper also reports certain aspects of the studied case that could not be expressed using MLT. The studied case comes from a real data-integration project from the heavy vehicle manufacturer, Scania CV AB.
dblp:conf/models/NesicN17 fatcat:f2je5llvrrat7fjnohwqafxvha

Challenges in Architecting Fully Automated Driving; with an Emphasis on Heavy Commercial Vehicles [article]

Naveen Mohan, Martin Törngren, Viacheslav Izosimov, Viktor Kaznov, Per Roos, Johan Svahn, Joakim Gustavsson, Damir Nesic
2019 arXiv   pre-print
Fully automated vehicles will require new functionalities for perception, navigation and decision making -- an Autonomous Driving Intelligence (ADI). We consider architectural cases for such functionalities and investigate how they integrate with legacy platforms. The cases range from a robot replacing the driver -- with entire reuse of existing vehicle platforms, to a clean-slate design. Focusing on Heavy Commercial Vehicles (HCVs), we assess these cases from the perspectives of business,
more » ... y, dependability, verification, and realization. The original contributions of this paper are the classification of the architectural cases themselves and the analysis that follows. The analysis reveals that although full reuse of vehicle platforms is appealing, it will require explicitly dealing with the accidental complexity of the legacy platforms, including adding corresponding diagnostics and error handling to the ADI. The current fail-safe design of the platform will also tend to limit availability. Allowing changes to the platforms, will enable more optimized designs and fault-operational behaviour, but will require initial higher development cost and specific emphasis on partitioning and control to limit the influences of safety requirements. For all cases, the design and verification of the ADI will pose a grand challenge and relate to the evolution of the regulatory framework including safety standards.
arXiv:1912.02005v1 fatcat:6fxs6gylcjcc3e2txef5l4ulka

Estimating the number of remaining links in traceability recovery

Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, Giovanni Cantone
2016 Empirical Software Engineering  
Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer -Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, ective API Recommendation without Historical So ware  ...  Texas at Dallas, 1 3 4 5 6 29 41 64 76 98 xv Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems Mukelabai Mukelabai, Damir  ... 
doi:10.1007/s10664-016-9460-6 fatcat:zwg7g4zphrb5tfro767hu2oc5m

Bioetika sporta

Matija Mato Škerbić, Sandra Radenović
2018 European Journal of Bioethics  
Nešić prikupio je mnogobrojna svjedočanstva sportaša koje je sociološki sagledala sociologinja sporta Sandra Radenović.  ...  (Radoš, 2007 (Radoš, , 2010 (Radoš, , 2012 U ovom kontekstu svakako treba spomenuti i jedinstvenu knjigu Život kroz sport autora Miroslava Nešića i Sandre Radenović (Nešić, Radenović, 2016 ) koja je  ... 
doi:10.21860/j.9.2.2 fatcat:kzv2atnndnbelhvfexkzzrsqvi

Abstracts from the 18th Annual Scientific Conference of Montenegrin Sports Academy and 16th FIEP European Congress "Sport, Physical Education, Physical Activity and Health: Contemporary perspectives": Dubrovnik, Croatia. 8-11 April 2021

Dusko Bjelica, Stevo Popovic, Selçuk Akpınar, Dario Novak
2021 Montenegrin Journal of Sports Science and Medicine  
P3 LIFESTYLE FACTORS CONTRIBUTING TO PREVENTION OF SARCOPENIA IN OLDER PEOPLE: A SYSTEMATIC REVIEW Nebojsa Nesic 1 , Vesna Seper 1,2 1 College of Applied Sciences "Lavoslav Ruzicka", Vukovar, Croatia,  ...  2 University of Novi Sad, Faculty of Sport and Physical Education, Novi Sad, Serbia Correspondence: Nebojsa Nesic (nnesic@vevu.hr) Sarcopenia is defined as the age-related decline in skeletal muscle mass  ... 
doi:10.26773/mjssm.210401 doaj:0d243ec27c444d948015f2299da9f59b fatcat:7tghtqjb3zaa3iokad3imm27va

Abstracts from the 19th Annual Scientific Conference of Montenegrin Sports Academy and "Sport, Physical Activity and Health: Contemporary perspectives": Dubrovnik, Croatia. 7-10 April 2022

Dusko Bjelica, University of Montenegro, Faculty for Sport and Physical Education, Niksic, Montenegro, Stevo Popovic, Selcuk Akpinar, Damir Sekulic, University of Montenegro, Faculty for Sport and Physical Education, Niksic, Montenegro, Nevşehir Hacı Bektaş Veli University, Department of Physical Education and Sports, Nevşehir, Turkey, University of Split, Faculty of Kinesiology, Split, Croatia
2022 Montenegrin Journal of Sports Science and Medicine  
P13 DEVELOPMENT PROGRAM OF THE MEN'S U16 BASKETBALL SELECTION Damir Knjaz 1 , Vedran Dukarić 1 , Mateja Ocic 1 1 University of Zagreb, Faculty Kinesiology, Zagreb, Croatia Correspondence: Damir Knjaz (  ...  Ruzicka", Vukovar, Croatia; 2 "HNK Vukovar 1991", Vukovar, Croatia Correspondence: Nebojsa Nesic (nnesic@vevu.hr) The morphological characteristics of athletes are one of the essential factors of sporting  ... 
doi:10.26773/mjssm.220401 fatcat:dpbj2tsccferrpuxdw2uxwxkjy

Acknowledgment to Reviewers of Biomedicines in 2021

Biomedicines Editorial Office
2022 Biomedicines  
Stringer Michał Bijak Damir Sapunar Michał Błazej Ponczek Damu Tang Michał Chmielewski  ...  Chistyakov Moritake Iguchi Dobrila Nesic Morten Ladekarl Dolzhikova Inna Mostafa Rateb  ... 
doi:10.3390/biomedicines10020313 fatcat:ml3real4ybcffiv4aahjnznwxu

Between Creativity and Pragmatism: Structural Network Analysis and Quantitative Survey of Federal Competitions for Yugoslav Monuments and Memorial Complexes (1955–1980) [chapter]

Sanja Horvatinčić
2018 Modern and Contemporary Artists' Networks. An Inquiry into Digital History of Art and Architecture  
Bahorić Rade Bulat Mirko Božić Mile Dakić Sakib Hadžihalilović Maja Hribar-Ožegović Ante Marinović-Uzelac Vlado Mađarić Zlatko Prica Vera Horvat-Pintarić Vanja Radauš Savo Zlatić Damir  ...  Hozo Metka Kraigher-Hozo Ivica Komšić Milan Matović Ivan Mioč Ivica Karlavaris Predrag Sušić Boran Hrelja Stojan Batič Borko Novaković Milenko Poznanović Božidar Šalamon Nikola Nešić  ... 
doi:10.31664/9789537875596.06 fatcat:qxekz2lmgzh7hexgr3grzzvbri

Acknowledgment to Reviewers of Materials in 2021

Materials Editorial Office
2022 Materials  
Nergis, Dumitru Doru Burduhos Burlacu, Adrian Nerilli, Francesca Burlakovs, Juris Nesic  ...  Grguraš, Damir Shepa, Ivan Grifa, Celestino Shepherd, Jennifer H.  ... 
doi:10.3390/ma15031131 fatcat:oulxisvpjrewdnwixy6uwn7weu

Author Index

2021 2021 IEEE International Conference on Robotics and Automation (ICRA)  
Harabor, Daniel Damir .......... .......... .......... .......... .......... .......... ..........  ...  Hart, Tucker .......... .......... .......... .......... .......... .......... .......... 13716 Hartl-Nesic, Christian .......... .......... .......... .......... .......... 9659 10114 10121 Hartmann,  ... 
doi:10.1109/icra48506.2021.9561247 fatcat:ldcv75qzofes5ddwf6v2gyrmti
« Previous Showing results 1 — 15 out of 19 results