mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 20) Show all publications
Lednicki, L. (2015). Software and hardware models in component-based development of embedded systems. (Doctoral dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>Software and hardware models in component-based development of embedded systems
2015 (English)Doctoral 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.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2015
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 170
National Category
Computer Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-26822 (URN)978-91-7485-180-9 (ISBN)
Public defence
2015-01-27, Gamma, Högskoleplan 1, Västerås, 13:00 (English)
Opponent
Supervisors
Projects
RALF3PROGRESSASSISTDICES
Note

This is an international double degree doctoral thesis.

Available from: 2014-12-08 Created: 2014-12-03 Last updated: 2015-01-14Bibliographically approved
Lednicki, L. & Carlson, J. (2014). A framework for generation of inter-node communication in component-based distributed embedded systems. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014: . Paper presented at 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 16 September 2014 through 19 September 2014 (pp. Article number 7005222).
Open this publication in new window or tab >>A framework for generation of inter-node communication in component-based distributed embedded systems
2014 (English)In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 2014, p. Article number 7005222-Conference paper, Published 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.

Keywords
Factory automation, Standards, Automatic Generation, Communication components, Distributed applications, Distributed embedded system, Inter-node communication, Level of automations, Model driven development, Prototype generations, Embedded systems
National Category
Computer and Information Sciences Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-27938 (URN)10.1109/ETFA.2014.7005222 (DOI)000360999100173 ()2-s2.0-84946691750 (Scopus ID)9781479948468 (ISBN)
Conference
19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 16 September 2014 through 19 September 2014
Available from: 2015-04-30 Created: 2015-04-30 Last updated: 2018-01-11Bibliographically approved
Lednicki, L. & Carlson, J. (2014). Handling Cyclic Execution Paths in Timing Analysis of Component-based Software. In: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014): . Paper presented at 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (pp. 178-182). Verona, Italy: IEEE
Open this publication in new window or tab >>Handling Cyclic Execution Paths in Timing Analysis of Component-based Software
2014 (English)In: 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), Verona, Italy: IEEE , 2014, p. 178-182Conference paper, Published 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.

Place, publisher, year, edition, pages
Verona, Italy: IEEE, 2014
Keywords
timing analysis, analysis, timing, wcet, component-based, cbse, cbd, cycle, loop, model
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-26447 (URN)10.1109/SEAA.2014.59 (DOI)000358153200028 ()2-s2.0-84916623520 (Scopus ID)
Conference
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Projects
RALF3 - Software for Embedded High Performance Architectures
Available from: 2014-11-01 Created: 2014-10-31 Last updated: 2015-08-21Bibliographically approved
Lednicki, L., Carlson, J. & Sandström, K. (2013). Device Utilization Analysis for IEC 61499 Systems in Early Stages of Development. In: IEEE International Conference on Emerging Technologies and Factory Automation: . Paper presented at 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 10-13 Sept., Cagliari, Italy (pp. Article number 6647970). IEEE
Open this publication in new window or tab >>Device Utilization Analysis for IEC 61499 Systems in Early Stages of Development
2013 (English)In: IEEE International Conference on Emerging Technologies and Factory Automation, IEEE , 2013, p. Article number 6647970-Conference paper, Published 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.

Place, publisher, year, edition, pages
IEEE, 2013
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-22260 (URN)10.1109/ETFA.2013.6647970 (DOI)2-s2.0-84890631756 (Scopus ID)9781479908622 (ISBN)
Conference
2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 10-13 Sept., Cagliari, Italy
Projects
ASSIST - Analysis and Synthesis of Industrial Software SystemsRALF3 - Software for Embedded High Performance Architectures
Available from: 2013-11-03 Created: 2013-10-31 Last updated: 2014-01-10Bibliographically approved
Lednicki, L., Carlson, J. & Sandström, K. (2013). Model level worst-case execution time analysis for IEC 61499. In: CBSE - Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng.: . Paper presented at 16th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2013, 17 June 2013 through 21 June 2013, Vancouver, BC (pp. 169-178).
Open this publication in new window or tab >>Model level worst-case execution time analysis for IEC 61499
2013 (English)In: CBSE - Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng., 2013, p. 169-178Conference paper, Published 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. 

Series
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering
Keywords
Analysis, IEC 61499, Timing, WCET
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-20819 (URN)10.1145/2465449.2465455 (DOI)2-s2.0-84880526044 (Scopus ID)9781450321228 (ISBN)
Conference
16th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2013, 17 June 2013 through 21 June 2013, Vancouver, BC
Projects
RALF3 - Software for Embedded High Performance ArchitecturesASSIST - Analysis and Synthesis of Industrial Software Systems
Note

Sponsors: ACM SIGSOFT

Available from: 2013-08-02 Created: 2013-08-02 Last updated: 2013-12-06Bibliographically approved
Maras, J., Lednicki, L. & Crnkovic, I. (2012). 15 Years of CBSE Symposium: Impact onthe Research Community. In: CBSE '12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering: . Paper presented at 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE'12; Bertinoro; 25 June 2012 through 28 June 2012 (pp. 61-70).
Open this publication in new window or tab >>15 Years of CBSE Symposium: Impact onthe Research Community
2012 (English)In: CBSE '12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, 2012, p. 61-70Conference paper, Published 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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-17338 (URN)10.1145/2304736.2304748 (DOI)2-s2.0-84864037053 (Scopus ID)978-145031345-2 (ISBN)
Conference
15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE'12; Bertinoro; 25 June 2012 through 28 June 2012
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2015-02-04Bibliographically approved
Lednicki, L., Crnkovic, I. & Zagar, M. (2012). Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems. In: Proceedings of The Seventh International Conference on Software Engineering Advances: . Paper presented at CSEA 2012, The Seventh International Conference on Software Engineering Advances, November 18, 2012 to November 23, 2012, Lisbon (pp. 563-570).
Open this publication in new window or tab >>Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded Systems
2012 (English)In: Proceedings of The Seventh International Conference on Software Engineering Advances, 2012, p. 563-570Conference paper, Published 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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-17421 (URN)978-1-61208-230-1 (ISBN)
Conference
CSEA 2012, The Seventh International Conference on Software Engineering Advances, November 18, 2012 to November 23, 2012, Lisbon
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-12-03Bibliographically approved
Crnkovic, I., Maras, J. & Lednicki, L. (2012). CBSE symposium - complete reference list.
Open this publication in new window or tab >>CBSE symposium - complete reference list
2012 (English)Report (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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-17236 (URN)
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2015-02-04Bibliographically approved
Carlson, J. & Lednicki, L. (2012). Feasibility of migrating analysis and synthesis mechanisms from ProCom to IEC 61499. Västerås: Mälardalen Real-Time Research Centre, Mälardalen University
Open this publication in new window or tab >>Feasibility of migrating analysis and synthesis mechanisms from ProCom to IEC 61499
2012 (English)Report (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.

Place, publisher, year, edition, pages
Västerås: Mälardalen Real-Time Research Centre, Mälardalen University, 2012
Series
MRTC Report, ISSN 1404-3041
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-17342 (URN)MDH-MRTC-268/2012-1-SE (ISRN)
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-12-03Bibliographically approved
Lednicki, L., Crnkovic, I. & Zagar, M. (2012). Towards Automatic Synthesis of Hardware-Specific Code in Component-based Embedded Systems. In: Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012: . Paper presented at 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012; Cesme, Izmir; 5 September 2012 through 8 September 2012 (pp. 71-74).
Open this publication in new window or tab >>Towards Automatic Synthesis of Hardware-Specific Code in Component-based Embedded Systems
2012 (English)In: Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012, 2012, p. 71-74Conference paper, Published 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.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-17375 (URN)10.1109/SEAA.2012.57 (DOI)000310462600011 ()2-s2.0-84869801070 (Scopus ID)978-076954790-9 (ISBN)
Conference
38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012; Cesme, Izmir; 5 September 2012 through 8 September 2012
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-12-03Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-4035-8763

Search in DiVA

Show all publications