mdh.sePublications
Change search
Refine search result
1 - 20 of 20
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Borde, Etienne
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering.
    Feljan, Juraj
    Mälardalen University, School of Innovation, Design and Engineering.
    Lednicki, Luka
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Maras, Josip
    Mälardalen University, School of Innovation, Design and Engineering.
    Petricic, Ana
    Mälardalen University, School of Innovation, Design and Engineering.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering.
    PRIDE - an Environment for Component-based Development of Distributed Real-time Embedded Systems2011In: 9th Working IEEE/IFIP Conference on Software Architecture, Los Alamitos: IEEE Computer Society, 2011, p. 351-354Conference paper (Refereed)
    Abstract [en]

    Settling down the software architecture for embedded system is a complex and time consuming task. Specific concerns that are generally issued from implementation details must be captured in the software architecture and assessed to ensure system correctness. The matter is further complicated by the inherent complexity and heterogeneity of the targeted systems, platforms and concerns. In addition, tools capable of conjointly catering for the complete design-verificationdeployment cycle, extra-functional properties and reuse are currently lacking. To address this, we have developed Pride, an integrated development environment for component-based development of embedded systems. Pride is based on an architecture relying on components with well-defined semantics that serve as the central development entity, and as means to support and aggregate various analysis and verification techniques throughout the development - from early specification to synthesis and deployment. Pride also provides generic support for integrating extra-functional properties into architectural definitions.

  • 2.
    Carlson, Jan
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Lednicki, Luka
    Mälardalen University, School of Innovation, Design and Engineering.
    Feasibility of migrating analysis and synthesis mechanisms from ProCom to IEC 614992012Report (Other academic)
    Abstract [en]

    This report presents the initial results from the Assist project at Mälardalen University, funded by the ABB Software Research Grant Program. The project aims to bridge the gap between recent academic research achievements in the area of control- and model based development of embedded systems, and concrete industrial needs and state of practice in this domain. Concretely, the focus of the project is to investigate how novel timing analysis and code synthesis techniques developed in the context of ProCom, an academic component model for embedded systems, can be extended and adapted in order to be applicable to IEC 61499.

  • 3.
    Crnkovic, Ivica
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Maras, Josip
    Mälardalen University, School of Innovation, Design and Engineering.
    Lednicki, Luka
    Mälardalen University, School of Innovation, Design and Engineering.
    CBSE symposium - complete reference list2012Report (Other academic)
    Abstract [en]

    This report presents a complete list of papers published on the CBSE Syposium events (including Interational Workhop on Component Based Software Engineering 1998 - 2003, and International Symposium on Component Based Software Engineering 2004 - 2011). Each reference is accompanied with a unique identifier in the form of S-YY-Index.

  • 4.
    Crnkovic, Ivica
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Sentilles, Séverine
    Mälardalen University, School of Innovation, Design and Engineering.
    Leveque, Thomas
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    Petricic, Ana
    Feljan, Juraj
    Lednicki, Luka
    Maras, Josip
    PRIDE2010Conference paper (Refereed)
    Abstract [en]

    This paper describes PRIDE, an integrated development environment for efficient component-based software development of embedded systems. PRIDE uses reusable software components as the central development units, and as a means to support and aggregate various analysis and verification techniques throughout the whole lifecycle - from early specification to deployment and synthesis. This paper focuses on support provided by PRIDE for the modeling and analysis aspects of the development of embedded systems based on reusable software components.

  • 5.
    Crnkovic, Ivica
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Vulgarakis, Aneta
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    Petricic, Ana
    Feljan, Juraj
    Lednicki, Luka
    Maras, Josip
    Classification and Survey of Component Models2010Conference paper (Refereed)
    Abstract [en]

    As component-based software engineering is growing and its usage expanding, more and more component models are developed. In this paper we present a survey of software component models in which models are described and classified respecting the classification framework for component models proposed by Crnković et. al. This framework specifies several groups of important principles and characteristics of component models: lifecycle, constructs, specification and management of extra-functional properties, and application domain. This paper gives examples three component models using the classification framework.

  • 6.
    Feljan, Juraj
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Lednicki, Luka
    Mälardalen University, School of Innovation, Design and Engineering.
    Maras, Josip
    Mälardalen University, School of Innovation, Design and Engineering.
    Petricic, Ana
    Mälardalen University, School of Innovation, Design and Engineering.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    Classification and survey of component models2009Report (Other academic)
    Abstract [en]

    As component-based software engineering is growing and its usage expanding, more and more component models are developed. In this report we present a survey of software component models in which models are described and classified respecting the classification framework for component models proposed by CrnkoviA‡ et. al. [1]. This framework specifies several groups of important principles and characteristics of component models: lifecycle, constructs, specification and management of extra-functional properties, and application domain. This report analyzes a considerable amount of component models, including widely used industrial models, as well as research models.

  • 7.
    Lednicki, Luka
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. University of Zagreb.
    Software and hardware models in component-based development of embedded systems2015Doctoral thesis, monograph (Other academic)
    Abstract [en]

    As modern embedded systems grow in complexity component-based development is an increasingly attractive approach to make the development of such systems simpler and less error prone. In this approach software systems are built by composing them out of prefabricated software components. One of the challenges for applying component-based development to embedded systems is the tight coupling between the software and the hardware platform. To take full advantage of the component-based approach in the embedded domain, the development process has to provide support for describing and handling this coupling.

    The goal of this thesis is to provide advancements in development of embedded component-based systems by using a combination of software and hardware models. To achieve the overall research goal, three different aspects are investigated: (i) how to provide support for integration of sensors and actuators in component-based development, (ii) how to utilize a combination of software and hardware models in development of distributed systems, and (iii) how to analyze extra-functional system properties using models of both software and hardware. The thesis goal is addressed by following contributions: (i) a component-based model which allows describing sensors and actuators, and how they are connected to the processing nodes and software components, (ii) a method for automatic synthesis of code for communication with sensors and actuators, (iii) a framework for automatic generation of distributed communication in component-based models and (iv) a compositional model-level analysis of timing and processing node utilization for component-based applications. These contributions are evaluated in separation, by applying prototype tools to either example systems, case-studies, or test scenarios.

  • 8.
    Lednicki, Luka
    University of Zagreb Zagreb, Croatia.
    Support for Hardware Devices in Component Models for Embedded Systems2011In: International Doctoral Symposium on Software Engineering and Advanced Applications, Oulu, Finland, 2011Conference paper (Refereed)
    Abstract [en]

    With the decreasing costs of electronic parts for embedded systems, complexity of their software has drastically increased. A possible solution for handling this high complexity is component-based development, a branch of software engineering that builds complex software systems out of encapsulated units of software named software components. Component-based approach has proven beneficial in enterprise systems and desktop domains. However, embedded system domain introduces some domain-specific problems (e.g. satisfying safetycriticality, real-time requirements and interaction with environment). Therefore, if we want to use the componentbased approach in embedded systems we must address these problems. In this paper we present an overview of how interaction with environment impacts the use of componentbased approach for embedded systems. We present different ways in which component models can enable us to manage hardware devices and provide examples from existing component models. We also present our research plan that addresses the need to improve how component models enable managing hardware devices.

  • 9.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    A framework for generation of inter-node communication in component-based distributed embedded systems2014In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 2014, p. Article number 7005222-Conference paper (Refereed)
    Abstract [en]

    In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstracting away from details of communication between platform nodes. Using such an approach requires to implement this communication before an executable system is deployed. Currently it is common to automatically implement this communication on the level of code, while providing it on the model level is mostly a task that needs to be done manually. In this paper we present a framework for automatic generation of inter-node communication by adding communication components to software models. The framework provides flexibility in the level of automation of generation decisions, and is defined in a way which allows adding support for new communication media or protocols. We have implemented the generation framework for the IEC 61499 standard and provide a prototype generation tool, which we use for examining the applicability of the approach.

  • 10.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
    Handling Cyclic Execution Paths in Timing Analysis of Component-based Software2014In: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), Verona, Italy: IEEE , 2014, p. 178-182Conference paper (Refereed)
    Abstract [en]

    Usage of model-driven and component-based development approaches in embedded systems allows timing analysis to be performed using system models. One of the problems rarely addressed by model-level analysis is support for analysis of cyclic execution paths. In this paper we present a method which allows compositional worst-case execution time analysis to be performed on software models containing such cycles. Our method allows defining cycle bounds for components and connections, and provides an algorithm to analyze cyclic paths containing such bounds. Additionally, we provide a possibility to propagate cycle bound definitions through the component hierarchy. The method is applied to the IEC~61499 component model and its applicability has been tested using a prototype tool.

  • 11.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlson, Jan
    Mälardalen University, School of Health, Care and Social Welfare.
    Sandström, K.
    ABB Corporate Research.
    Model level worst-case execution time analysis for IEC 614992013In: CBSE - Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng., 2013, p. 169-178Conference paper (Refereed)
    Abstract [en]

    The IEC 61499 standard provides a possibility to develop industrial embedded systems in a component-based manner. Besides alleviating the efforts of system design, the component-based approach also allows analysis of various system characteristics using system models even before the actual deployment. One of the crucial characteristics in the domain of safety-critical and real-time systems is timing: a failure to execute a specific task on time can have severe consequences. This paper presents a method for compositional modellevel analysis of worst-case execution time of IEC 61499 software models. The analysis is performed on one hierarchical level of composition at a time, and the results can be stored together with the software artefact to be used when analysis is performed on the higher hierarchical level, or when the unit is reused in another system. The analysis has been implemented as a plug-in for the 4DIAC tool. 

  • 12.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering.
    Sandström, Kristian
    ABB Corporate Research Västerås, Sweden.
    Device Utilization Analysis for IEC 61499 Systems in Early Stages of Development2013In: IEEE International Conference on Emerging Technologies and Factory Automation, IEEE , 2013, p. Article number 6647970-Conference paper (Refereed)
    Abstract [en]

    Model-driven and component-based approaches, such as the IEC~61499 standard, allow us to apply analysis to systems in early stages of development. When applied to embedded systems, early analysis can help guide the development process of both the software and the hardware platform, and thus reduce the time and cost of the development. In this paper we present a method for early analysis of device utilization for IEC~61499 systems. The method is based on determining device-specific worst-case execution time of each activity in the application. For this, we use timing information for individual algorithms together with IEC~61499 software and platform models. We provide a prototype implementation integrated in an open-source development environment.

  • 13.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    University of Zagreb, Croatia.
    Uniform treatment of hardware- and software components2008Conference paper (Refereed)
    Abstract [en]

    One of the challenges in development of embedded systems is to cope both with hardware and software components. Often is their integration cumbersome due to their incompatibilities, different specifications and different approaches in their development. In this paper we present a component-based technology we have developed for building distributed systems consisting of both embedded hardware devices and software written in high-level programming languages. To obtain a uniform view on hardware and software we use Universal Plug and Play (UPnP) technology for the communication between these parts of the system. Our technology consists of a component model that allows us to treat UPnP devices as components, and a run-time framework that supports this component model when the system is deployed. To evaluate the principles we have developed a prototype tool that implements the technology and demonstrated a feasibility of the approach.

  • 14.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    University of Zagreb.
    Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems2012In: Proceedings of The Seventh International Conference on Software Engineering Advances, 2012, p. 563-570Conference paper (Refereed)
    Abstract [en]

    In recent years, there has been a clear trend in research and practice to bring benefits of component based development into the embedded systems domain. However, one often neglected aspect in component models is support for integration of hardware devices like sensors and actuators. In most component models, communication with such devices is either left out completely or considered as an integral part of the software component code. In the latter case, the software components are highly device-specific, and can hardly be reused on different platform configurations. This paper introduces an approach for automatic synthesis of device-specific code in component models for embedded systems. We divide a system in reusable elements: device-specific code, platform-specific code and device-dependant software component code. Based on a software and hardware model of the system, we then automatically generate glue-code that creates connections between these reusable elements. The result of our synthesis is a system-specific deployable code. The approach is illustrated by a demonstrator and an implementation example using the ProCom component model.

  • 15.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    University of Zagreb.
    Towards Automatic Synthesis of Hardware-Specific Code in Component-based Embedded Systems2012In: Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 2012, p. 71-74Conference paper (Refereed)
    Abstract [en]

    Most component models currently in use do not try to provide extensive support for dealing with hardware devices like sensors and actuator. Lack of such support means that software components and subsystems often include deviceand platform- specific code, limiting our ability to reuse them and forcing us to deal with specifics of underlying hardware in high-level software models. In this paper we propose a solution that would enable automatic generation of device specific code. We remove device- and platform-specific code outside of software components and specifying it as reusable units. Based on a system model we then generate glue-code that binds this reusable units of code to each other and to the software components, resulting in a system-specific solution.

  • 16.
    Lednicki, Luka
    et al.
    University of Zagreb, Croatia.
    Feljan, Juraj
    Mälardalen University, School of Innovation, Design and Engineering.
    Carlson, Jan
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    University of Zagreb, Croatia.
    Adding Support for Hardware Devices to Component Models for Embedded Systems2011Conference paper (Refereed)
    Abstract [en]

    Component-based development promises many improvements in developing software for embedded systems, e.g., greater reuse of once written software, less error-prone development process, greater analyzability of systems and shorter time needed for overall development. One of the aspects commonly left out of component models is communication of software components with hardware devices such as sensors and actuators. As one of the main characteristics of embedded systems is the interaction with their environment through hardware devices, the effects of this interaction should be fully included in component models for embedded systems. In this paper we present a framework that enables inclusion of hardware devices in different phases of the component-based development process, including system design, deployment, analysis and code synthesis. Our framework provides a way for software components to explicitly state their dependencies on hardware devices, promotes reuse of software components with such dependencies and provides a basis for including hardware devices in analysis of component based embedded systems. We evaluate the feasibility of our approach by applying it to the ProCom component model.

  • 17.
    Lednicki, Luka
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Petricic, Ana
    Mälardalen University, School of Innovation, Design and Engineering.
    Zagar, Mario
    Mälardalen University, School of Innovation, Design and Engineering.
    A Component-Based Technology for Hardware and Software Components2009In: 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2009, p. 450-453Conference paper (Refereed)
    Abstract [en]

    One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incompatibilities, different specifications and different approaches in their development. In this paper we present a component-based technology for building distributed embedded systems consisting of both embedded hardware devices and software components. To obtain a uniform view on hardware and software we have developed a new component model – UComp. Our technology consists of UComp component model that allows treating remote devices as components, and a run-time framework that supports this component model when the system is deployed. To evaluate the principles we have developed a prototype tool that implements the technology and uses Universal Plug and Play (UPnP) standard for communication between system parts, and demonstrated a feasibility of the approach.

  • 18.
    Maras, Josip
    et al.
    University of Split.
    Lednicki, Luka
    University of Zagreb.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    15 Years of CBSE Symposium: Impact onthe Research Community2012In: CBSE '12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, 2012, p. 61-70Conference paper (Refereed)
    Abstract [en]

    In 2012, the International Symposium on Component-based Software Engineering (CBSE) is being organized for the 15th time. This is a great opportunity to take a step back and reflect on the impact of the symposium over these 15 years. Several interesting questions immediately come to mind: What were the main topics of interest in the community? What is the maturity of the field? What is the research CBSE Symposia impact? Who are the mots involved researches and researchers centers? In order to answer these questions we have performed a systematic review of 318 papers published under CBSE. In this paper we provide answers about the impact of the event, list and categorize the most frequent topics, and give some statistical data about the event during this period.

  • 19.
    Petricic, Ana
    et al.
    Mälardalen University, School of Innovation, Design and Engineering.
    Lednicki, Luka
    Mälardalen University, School of Innovation, Design and Engineering.
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    An empirical comparison of SaveUML and SaveCCM technologies: Version 1.02009Report (Other academic)
  • 20.
    Petricic, Ana
    et al.
    University of Zagreb, Croatia .
    Lednicki, Luka
    University of Zagreb, Croatia .
    Crnkovic, Ivica
    Mälardalen University, School of Innovation, Design and Engineering.
    Using UML for Domain-Specific Component Models2009In: Fourteenth International Workshop on Component-Oriented Programming, 2009Conference paper (Refereed)
    Abstract [en]

    Over the recent years there is a tendency for using domain-specific languages which enable expressing design solutions in the idiom and level of abstraction appropriate for a specific problem domain. While this approach enables an efficient and accurate design, it suffers from problems of standardization, portability and transformation between the models. This paper addresses a challenge of tailoring UML, a widely used modelling language, for domain specific modelling. We discuss a possible solution for achieving interoperability between UML and the domain-specific language SaveComp Component Model (SaveCCM) intended for real-time embedded systems, by means of implementing a transformation between UML and SaveCCM models. The challenge of the transformation is to keep all necessary information including the domain specific semantics. The paper presents the strategy for the transformation, its implementation and an analysis. We also address the second challenge, a usability of the domain-specific language (i.e. SaveCCM) in comparison with usability of extended UML and by an experiment analyse its usability in comparison with SaveCCM.

1 - 20 of 20
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf