mdh.sePublikasjoner
Endre søk
Begrens søket
1 - 20 of 20
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Borde, Etienne
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Carlson, Jan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Feljan, Juraj
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Lednicki, Luka
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Leveque, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Maras, Josip
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Petricic, Ana
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Sentilles, Séverine
    Mälardalens högskola, Akademin för innovation, design och teknik.
    PRIDE - an Environment for Component-based Development of Distributed Real-time Embedded Systems2011Inngår i: 9th Working IEEE/IFIP Conference on Software Architecture, Los Alamitos: IEEE Computer Society, 2011, s. 351-354Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Lednicki, Luka
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Feasibility of migrating analysis and synthesis mechanisms from ProCom to IEC 614992012Rapport (Annet vitenskapelig)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Maras, Josip
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Lednicki, Luka
    Mälardalens högskola, Akademin för innovation, design och teknik.
    CBSE symposium - complete reference list2012Rapport (Annet vitenskapelig)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Sentilles, Séverine
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Leveque, Thomas
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    Petricic, Ana
    Feljan, Juraj
    Lednicki, Luka
    Maras, Josip
    PRIDE2010Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Vulgarakis, Aneta
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    Petricic, Ana
    Feljan, Juraj
    Lednicki, Luka
    Maras, Josip
    Classification and Survey of Component Models2010Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Lednicki, Luka
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Maras, Josip
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Petricic, Ana
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Crnkovic, Ivica
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Classification and survey of component models2009Rapport (Annet vitenskapelig)
    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älardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. University of Zagreb.
    Software and hardware models in component-based development of embedded systems2015Doktoravhandling, monografi (Annet vitenskapelig)
    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 Systems2011Inngår i: International Doctoral Symposium on Software Engineering and Advanced Applications, Oulu, Finland, 2011Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Carlson, Jan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    A framework for generation of inter-node communication in component-based distributed embedded systems2014Inngår i: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 2014, s. Article number 7005222-Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Carlson, Jan
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Handling Cyclic Execution Paths in Timing Analysis of Component-based Software2014Inngår i: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), Verona, Italy: IEEE , 2014, s. 178-182Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Carlson, Jan
    Mälardalens högskola, Akademin för hälsa, vård och välfärd.
    Sandström, K.
    ABB Corporate Research.
    Model level worst-case execution time analysis for IEC 614992013Inngår i: CBSE - Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng., 2013, s. 169-178Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Carlson, Jan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Sandström, Kristian
    ABB Corporate Research Västerås, Sweden.
    Device Utilization Analysis for IEC 61499 Systems in Early Stages of Development2013Inngår i: IEEE International Conference on Emerging Technologies and Factory Automation, IEEE , 2013, s. Article number 6647970-Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Carlson, Jan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    University of Zagreb, Croatia.
    Uniform treatment of hardware- and software components2008Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Crnkovic, Ivica
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    University of Zagreb.
    Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems2012Inngår i: Proceedings of The Seventh International Conference on Software Engineering Advances, 2012, s. 563-570Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Crnkovic, Ivica
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    University of Zagreb.
    Towards Automatic Synthesis of Hardware-Specific Code in Component-based Embedded Systems2012Inngår i: Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 2012, s. 71-74Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Carlson, Jan
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    University of Zagreb, Croatia.
    Adding Support for Hardware Devices to Component Models for Embedded Systems2011Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Petricic, Ana
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Zagar, Mario
    Mälardalens högskola, Akademin för innovation, design och teknik.
    A Component-Based Technology for Hardware and Software Components2009Inngår i: 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2009, s. 450-453Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    15 Years of CBSE Symposium: Impact onthe Research Community2012Inngår i: CBSE '12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, 2012, s. 61-70Konferansepaper (Fagfellevurdert)
    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älardalens högskola, Akademin för innovation, design och teknik.
    Lednicki, Luka
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Crnkovic, Ivica
    Mälardalens högskola, Akademin för innovation, design och teknik.
    An empirical comparison of SaveUML and SaveCCM technologies: Version 1.02009Rapport (Annet vitenskapelig)
  • 20.
    Petricic, Ana
    et al.
    University of Zagreb, Croatia .
    Lednicki, Luka
    University of Zagreb, Croatia .
    Crnkovic, Ivica
    Mälardalens högskola, Akademin för innovation, design och teknik.
    Using UML for Domain-Specific Component Models2009Inngår i: Fourteenth International Workshop on Component-Oriented Programming, 2009Konferansepaper (Fagfellevurdert)
    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
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf