mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Alternative names
Publications (10 of 28) Show all publications
Mahmud, N., Sandström, K. & Vulgarakis, A. (2014). Evaluating industrial applicability of virtualization on a distributed multicore platform. 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 7005062).
Open this publication in new window or tab >>Evaluating industrial applicability of virtualization on a distributed multicore platform
2014 (English)In: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, 2014, p. Article number 7005062-Conference paper, Published paper (Refereed)
Abstract [en]

Adoption of virtualization technology has been limited in industrial automation due to unavailability of mature solutions, and strict timing requirements of control systems. However, current advancement in Virtual Monitoring Machine, multicore technology, virtualization extension and network virtualization has led to increased interest of virtualization in industrial automation. So far, many related research are focused on maximizing CPU and I/O utilization, and optimization applicable to soft realtime systems (i.e., outside industrial automation domain), e.g., multimedia applications. In this research, we make use of QoS for CPU, memory and network bandwidth in pursuit of high speed and predictability on a distributed multicore platform which is constructed entirely from open source products. We evaluate the platform for latency and jitter, network throughput and CPU computation load. Finally, we analyze the result for applicability in industrial control domain. 

Keywords
Automation, Distributed computer systems, Factory automation, Industrial plants, Virtual reality, Industrial automation, Multi-core platforms, Multicore technology, Multimedia applications, Network virtualization, Open source products, Soft real-time systems, Virtualization technologies, Industrial research
National Category
Computer Sciences Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-27934 (URN)10.1109/ETFA.2014.7005062 (DOI)000360999100013 ()2-s2.0-84946689459 (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
Vulgarakis, A., Shooja, R., Monot, A., Carlson, J. & Behnam, M. (2014). Task synthesis for control applications on multicore platforms. In: ITNG 2014 - Proceedings of the 11th International Conference on Information Technology: New Generations: . Paper presented at 11th International Conference on Information Technology: New Generations, ITNG 2014, 7 April 2014 through 9 April 2014, Las Vegas, NV (pp. 229-234).
Open this publication in new window or tab >>Task synthesis for control applications on multicore platforms
Show others...
2014 (English)In: ITNG 2014 - Proceedings of the 11th International Conference on Information Technology: New Generations, 2014, p. 229-234Conference paper, Published paper (Refereed)
Abstract [en]

Multicore processors promise to improve the performance of systems, by integrating more and more cores onto a single chip. Existing software systems, such as control software from the automation domain, need adjustments to be adapted on multicores. To exploit the concurrency offered by multicore processors, appropriate algorithms have to be used to divide the control application software into tasks, and tailored task partitioning and scheduling approaches are required to increase the overall performance. In this paper we present a model-driven approach for automatic synthesis and deployment of control applications on multicore processors. The approach is centeredaround a system model, which describes the control applications, the multicore platform, as well as the mapping between the two. We apply the approach on a number of control applications out of which we synthesize tasks and present their run-time behavior in a real-time operating system.

Series
ITNG 2014 - Proceedings of the 11th International Conference on Information Technology: New Generations
Keywords
Control applications, Model-based deployment, Multicore processors, Partitioned scheduling, Task synthesis
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-25680 (URN)10.1109/ITNG.2014.61 (DOI)000355981200037 ()2-s2.0-84903453150 (Scopus ID)9781479931873 (ISBN)
Conference
11th International Conference on Information Technology: New Generations, ITNG 2014, 7 April 2014 through 9 April 2014, Las Vegas, NV
Available from: 2014-07-14 Created: 2014-07-14 Last updated: 2018-01-11Bibliographically approved
Sandström, K., Vulgarakis, A., Lindgren, M. & Nolte, T. (2013). Virtualization Technologies in Embedded Real-Time Systems. In: : . Paper presented at 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA13), 10-13 September 2013, Cagliari, Italy.
Open this publication in new window or tab >>Virtualization Technologies in Embedded Real-Time Systems
2013 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Virtualization is a promising solution to develop complex embedded systems with real-time requirements. This paper discusses the current state-of-the-art in virtualization technologies, with a particular focus on solutions for embedded real-time systems. Several such solutions have been developed over the past decade, and in this paper we give an overview of the more well known technologies and we provide a comparative assessment of key virtualization techniques available in these solutions. Gaps and lacking pieces are identified and further development and research is suggested.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-21388 (URN)10.1109/ETFA.2013.6648012 (DOI)978-1-4799-0862-2 (ISBN)
Conference
18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA13), 10-13 September 2013, Cagliari, Italy
Projects
PREMISE - Predictable Multicore Systems
Available from: 2013-09-17 Created: 2013-09-11 Last updated: 2018-01-03Bibliographically approved
Vulgarakis, A. (2012). A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems. (Doctoral dissertation). Västerås: Mälardalen University
Open this publication in new window or tab >>A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems
2012 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Managing complexity is an increasing challenge in the development of embedded systems (ES). Some of the factors contributing to the increase in complexity are the growing complexity of hardware and software, and the increased pressure to deliver full-featured products with reduced time-to-market. An attractive approach to manage the software complexity, reduce time-to-market and decrease development costs lies in the adoption of component-based development that has been proven as a successful approach in other domains. Another raising challenge, due to complexity increase, in ES, is predictability, i.e., the ability to anticipate the behavior of a system at run-time. The particular predictability requirements of ES call for a development framework equipped with techniques and tools that can be applied to deal with requirements, such as timing, and resource utilization, already at early-stage of development. Modeling and formal analysis play increasingly important roles in achieving predictability, since they can help us to understand how systems function, validate the design and verify some important properties.

In this thesis, we present a resource-aware framework for designing predictable component-based ES. The proposed framework consists of (i) the formally specified ProCom component model that takes into account the characteristics of control-intensive ES, and (ii) the resource-aware timed behavioral language - REMES for modeling and reasoning about components’ and systems’ functional and extra-functional behavior that includes relevant resource types for ES, associated analysis techniques for various resource-wise properties, and a set of associated tools. To demonstrate the potential application of our framework, we present a number of case studies, out of which one is an industrial research prototype, where ProCom and REMES are applied.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2012
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 122
Keywords
component-based development, formal analysis, embedded systems, resource prediction, behavioral modeling, architectural modeling, tools, resource-aware framework
National Category
Software Engineering
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-14558 (URN)978-91-7485-068-0 (ISBN)
Public defence
2012-06-15, Kappa, Mälardalen University, Västerås, 14:00 (English)
Opponent
Supervisors
Projects
PROGRESS
Available from: 2012-05-03 Created: 2012-05-03 Last updated: 2018-01-12Bibliographically approved
Crnkovic, I., Sentilles, S., Vulgarakis, A. & Chaudron, M. (2011). A Classification Framework for Software Component Models. IEEE Transactions on Software Engineering, 37(5), 593-615
Open this publication in new window or tab >>A Classification Framework for Software Component Models
2011 (English)In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 37, no 5, p. 593-615Article in journal (Refereed) Published
Abstract [en]

In the last decade a large number of different software component models have been developed, with different aims and using different principles and technologies. This has resulted in a number of models which have many similarities, but also principal differences, and in many cases unclear concepts. Component-based development has not succeeded in providing standard principles, as has, for example, object-oriented development. In order to increase the understanding of the concepts, and to differentiate component models more easily, this paper identifies, discusses and characterises fundamental principles of component models, and provides a Component Model Classification Framework based on these principles. Further, the paper classifies a large number of component models using this framework.

Identifiers
urn:nbn:se:mdh:diva-11052 (URN)10.1109/TSE.2010.83 (DOI)000295162900001 ()2-s2.0-80053615106 (Scopus ID)
Available from: 2010-11-11 Created: 2010-11-11 Last updated: 2017-12-12Bibliographically approved
Vulgarakis, A., Seceleanu, C., Pettersson, P., Skuliber, I. & Huljenić, D. (2011). Validation of embedded systems behavioral models on a component-based Ericsson Nikola Tesla demonstrator. In: Proceedings - International Conference on Quality Software. Paper presented at 11th International Conference on Quality Software, QSIC 2011, 13 July 2011 through 14 July 2011, Madrid (pp. 156-165).
Open this publication in new window or tab >>Validation of embedded systems behavioral models on a component-based Ericsson Nikola Tesla demonstrator
Show others...
2011 (English)In: Proceedings - International Conference on Quality Software, 2011, p. 156-165Conference paper, Published paper (Refereed)
Abstract [en]

Embedded systems are challenging to design, due to the implementation platform constraints that have to be considered, preferably from early stages of design, next-by system functionality. Hence, embedded system models need to be timing and resource-aware, to make formal verification of extra functional properties applicable at high levels of abstraction. In most cases, a frequent obstacle to the successful application of such rigorous techniques is the lack of the proposed models'validation against real-world application measurements. In this paper, we show how to model extra-functional behavior, and verify the resulted behavioral models of a component-based Ericsson Nikola Tesla prototype telecommunications system. The models are described in our recently introduced REMES language, with Priced Timed Automata semantics that allows us to apply UPPAAL -based tools for model-checking the system'sresponse time and compute optimal resource usage traces. The validation of our models is ensured by using actual values of timing, CPU, and memory usage in our models, measured by Ericsson researchers on the prototype's source code. © 2011 IEEE.

Series
Proceedings - International Conference on Quality Software, ISSN 1550-6002
Keywords
behavioral models, embedded systems, extra-funcational verification, priced timed automata, validation, Behavioral model, Component based, Ericsson, Formal verifications, Functional properties, Implementation platforms, Levels of abstraction, Memory usage, Real-world application, Resource aware, Resource usage, Source codes, System functionality, Timed Automata, Automata theory, Behavioral research, Embedded software, Model checking, Semantics, Mathematical models
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-16022 (URN)10.1109/QSIC.2011.11 (DOI)2-s2.0-80053032134 (Scopus ID)9780769544687 (ISBN)
Conference
11th International Conference on Quality Software, QSIC 2011, 13 July 2011 through 14 July 2011, Madrid
Note

Sponsors: Computer Science School of the Universidad Complutense de Madrid; Madrid Convention Bureau of the Madrid City Council

Available from: 2012-11-02 Created: 2012-10-29 Last updated: 2018-01-12Bibliographically approved
Crnkovic, I., Vulgarakis, A., Zagar, M., Petricic, A., Feljan, J., Lednicki, L. & Maras, J. (2010). Classification and Survey of Component Models. In: : . Paper presented at DICES workshop at the 19th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2011). Bol, Croatia
Open this publication in new window or tab >>Classification and Survey of Component Models
Show others...
2010 (English)Conference paper, Published 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.

Place, publisher, year, edition, pages
Bol, Croatia: , 2010
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-10909 (URN)
Conference
DICES workshop at the 19th International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2011)
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2015-02-04Bibliographically approved
Vulgarakis, A., Sentilles, S., Carlson, J. & Seceleanu, C. (2010). Connecting ProCom and REMES.
Open this publication in new window or tab >>Connecting ProCom and REMES
2010 (English)Report (Other academic)
Abstract [en]

When component-based development is applied in the domain of distributed embedded systems, where applications are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extra-functional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This allows modeling the behavior of individual components, in terms of functionality, timing and resource usage. In turn, this permits analysis of system level properties, while also supporting reuse of behavioral models when components are reused.

Publisher
p. 9
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-11071 (URN)
Available from: 2010-11-12 Created: 2010-11-12 Last updated: 2014-01-30Bibliographically approved
Vulgarakis, A., Sentilles, S., Carlson, J. & Seceleanu, C. (2010). Integrating Behavioral Descriptions into a Component Model for Embedded Systems. In: Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010: . Paper presented at 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010; Lille; France; 1 September 2010 through 3 September 2010 (pp. 113-118).
Open this publication in new window or tab >>Integrating Behavioral Descriptions into a Component Model for Embedded Systems
2010 (English)In: Proceedings - 36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, 2010, p. 113-118Conference paper, Published paper (Refereed)
Abstract [en]

When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extrafunctional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This permits analysis of system properties, while also supporting reuse of behavioral models when components are reused.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-11026 (URN)10.1109/SEAA.2010.48 (DOI)000395720700013 ()2-s2.0-78449277208 (Scopus ID)978-076954170-9 (ISBN)
Conference
36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010; Lille; France; 1 September 2010 through 3 September 2010
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2013-12-19Bibliographically approved
Ivanov, D., Orlic, M., Seceleanu, C. & Vulgarakis, A. (2010). REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems. In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010): . Paper presented at 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10; Antwerp; Belgium; 20 September 2010 through 24 September 2010 (pp. 361-362).
Open this publication in new window or tab >>REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems
2010 (English)In: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), 2010, p. 361-362Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present a tool-chain for the REMES language, which can be used for the construction and analysis of embedded system behavioral models. The tool-chain consists of the following tools: (i) a REMES editor for modeling behaviors of embedded components, (ii) a REMES simulator to test timing and resource behavior prior to formal analysis, and (iii) an automated transformation from REMES to Priced Timed Automata, needed for formal analysis.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-10787 (URN)10.1145/1858996.1859076 (DOI)2-s2.0-78649802365 (Scopus ID)9781450301169 (ISBN)
Conference
25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10; Antwerp; Belgium; 20 September 2010 through 24 September 2010
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2013-12-19Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-2383-7981

Search in DiVA

Show all publications