mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 44) Show all publications
Urvantsev, A., Johansson, M. E., Muellner, N. & Seceleanu, T. (2019). Experiencing technology independence. In: Proceedings - International Computer Software and Applications Conference: . Paper presented at 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019; Milwaukee; United States; 15 July 2019 through 19 July 2019 (pp. 153-158). IEEE Computer Society
Open this publication in new window or tab >>Experiencing technology independence
2019 (English)In: Proceedings - International Computer Software and Applications Conference, IEEE Computer Society , 2019, p. 153-158Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present an embedded systems design flow, supporting variations in technology — hardware vs. software — at implementation time. The work builds on seasoned and new approaches, tools and techniques, such as software production lines, FPGA design, and high level synthesis. We define the necessary context for such a design flow to succeed, and introduce supporting tools and interfaces to enable the designer to take decisions, which are further automatically transferred into the synthesis phases. We exemplify our solutions on a motor controller design, considering several features that are potentially required to be implemented, and where all the elements are possible to be implemented either as hardware or software modules.

Place, publisher, year, edition, pages
IEEE Computer Society, 2019
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-45366 (URN)10.1109/COMPSAC.2019.10199 (DOI)2-s2.0-85072682659 (Scopus ID)9781728126074 (ISBN)
Conference
43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019; Milwaukee; United States; 15 July 2019 through 19 July 2019
Available from: 2019-10-03 Created: 2019-10-03 Last updated: 2019-10-03Bibliographically approved
Salimi, M., Majd, A., Loni, M., Seceleanu, T., Seceleanu, C., Sirjani, M., . . . Troubitsyna, E. (2019). Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. In: 6th Conference on the Engineering of Computer Based Systems ECBS 2019: . Paper presented at 6th Conference on the Engineering of Computer Based Systems ECBS 2019, 02 Sep 2019, Bucharest, Romania.
Open this publication in new window or tab >>Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments
Show others...
2019 (English)In: 6th Conference on the Engineering of Computer Based Systems ECBS 2019, 2019Conference paper, Published paper (Refereed)
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45052 (URN)978-1-4503-7636-5 (ISBN)
Conference
6th Conference on the Engineering of Computer Based Systems ECBS 2019, 02 Sep 2019, Bucharest, Romania
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2019-08-23 Created: 2019-08-23 Last updated: 2019-08-23Bibliographically approved
Danielsson, J., Marcus, J., Behnam, M., Sjödin, M. & Seceleanu, T. (2018). Measurement-based evaluation of data-parallelism for OpenCV feature-detection algorithms. In: Staying Smarter in a Smartening World COMPSAC'18: . Paper presented at 42nd IEEE Computer Software and Applications Conference, COMPSAC 2018; Tokyo; Japan; 23 July 2018 through 27 July 2018 (pp. 701-710).
Open this publication in new window or tab >>Measurement-based evaluation of data-parallelism for OpenCV feature-detection algorithms
Show others...
2018 (English)In: Staying Smarter in a Smartening World COMPSAC'18, 2018, p. 701-710Conference paper, Published paper (Refereed)
Abstract [en]

We investigate the effects on the execution time, shared cache usage and speed-up gains when using data-partitioned parallelism for the feature detection algorithms available in the OpenCV library. We use a data set of three different images which are scaled to six different sizes to exercise the different cache memories of our test architectures. Our measurements reveal that the algorithms using the default settings of OpenCV behave very differently when using data-partitioned parallelism. Our investigation shows that the executions of the algorithms SURF, Dense and MSER correlate to L3-cache usage and they are therefore not suitable for data-partitioned parallelism on multi-core CPUs. Other algorithms: BRISK, FAST, ORB, HARRIS, GFTT, SimpleBlob and SIFT, do not correlate to L3-cache in the same extent, and they are therefore more suitable for data-partitioned parallelism. Furthermore, the SIFT algorithm provides the most stable speed-up, resulting in an execution between 3 and 3.5 times faster than the original execution time for all image sizes. We also have evaluated the hardware resource usage by measuring the algorithm execution time simultaneously with the L3-cache usage. We have used our measurements to conclude which algorithms are suitable for parallelization on hardware with shared resources.

Keywords
Multi-core, OpenCV, Cache
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-40855 (URN)10.1109/COMPSAC.2018.00105 (DOI)2-s2.0-85055434865 (Scopus ID)9781538626665 (ISBN)
Conference
42nd IEEE Computer Software and Applications Conference, COMPSAC 2018; Tokyo; Japan; 23 July 2018 through 27 July 2018
Projects
DPAC - Dependable Platforms for Autonomous systems and Control
Available from: 2018-09-20 Created: 2018-09-20 Last updated: 2019-01-04Bibliographically approved
Gaetana, S., Sentilles, S., Crnkovic, I. & Seceleanu, T. (2016). Extra-Functional Properties Composability for Embedded Systems Partitioning. In: Proceedings - 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016: . Paper presented at 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, 5 April 2016 through 8 April 2016 (pp. 69-78).
Open this publication in new window or tab >>Extra-Functional Properties Composability for Embedded Systems Partitioning
2016 (English)In: Proceedings - 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, 2016, p. 69-78Conference paper, Published paper (Refereed)
Abstract [en]

Modern embedded systems utilize the advances in heterogeneous platforms that enable implementing functions in software (SW) and hardware (HW) components. A proper configuration of SW and HW components can significantly improve the values of the extra-functional properties such as performance and energy savings. However, due to increasing application complexity, it is difficult to find the best combination of HW and SW components. The problem basically boils down to calculate, for a given architecture, the system properties from the components' ones. In this paper, we address the problem of composability of EFPs at system level. Although in general this is not a solvable problem, we present that, under strictly specified constraints, it is possible to compose the system EFPs starting from the component ones. We start by detailing constraints related to the system architecture, platform and process development and, based on these constraints, we provide composition rules for different types of EFPs. We demonstrate the results through an industrial example.

Keywords
Composability, Embedded Systems, Extra-Functional Properties, Partitioning, Computer architecture, Energy conservation, Problem solving, Software engineering, Application complexity, Heterogeneous platforms, Modern embedded systems, System architectures, Systems partitioning
National Category
Embedded Systems
Identifiers
urn:nbn:se:mdh:diva-32912 (URN)10.1109/CBSE.2016.19 (DOI)000390946500009 ()2-s2.0-84981485900 (Scopus ID)9781509025695 (ISBN)
Conference
19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, 5 April 2016 through 8 April 2016
Available from: 2016-08-25 Created: 2016-08-25 Last updated: 2017-01-26Bibliographically approved
Seceleanu, T. (2015). Complex Systems: Simply, Improve Life. In: Proceedings - International Computer Software and Applications Conference: . Paper presented at 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, 1 July 2015 through 5 July 2015 (pp. 49-49).
Open this publication in new window or tab >>Complex Systems: Simply, Improve Life
2015 (English)In: Proceedings - International Computer Software and Applications Conference, 2015, p. 49-49Conference paper, Published paper (Other academic)
Abstract [en]

Cyber-Physical Systems, building on embedded systems and ICT are large complex systems that pose challenges at multiple stages, out of which we mention here design, ownership and utilization. These systems are more and more penetrating our every-day life, impacting on multiple aspects of our activities. In spite of their complexity, or due to that, these systems are offering new opportunities for improving the quality of our lives, simplify our work while helping us to improve the results, and provide support for longer life-spans. 

National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-31465 (URN)10.1109/COMPSAC.2015.339 (DOI)000380584300012 ()2-s2.0-84962162164 (Scopus ID)9781467365635 (ISBN)
Conference
39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, 1 July 2015 through 5 July 2015
Available from: 2016-04-22 Created: 2016-04-22 Last updated: 2016-12-29Bibliographically approved
Seceleanu, T., Subramanyan, R., Seceleanu, C. & McMillin, B. (2015). Message from ECpE Symposium Organizing Committee. In: Proceedings - International Computer Software and Applications ConferenceVolume 2: . Paper presented at 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015; Taichung; Taiwan; 1 July 2015 through 5 July 2015 (pp. 4-4). , Article ID 7273589.
Open this publication in new window or tab >>Message from ECpE Symposium Organizing Committee
2015 (English)In: Proceedings - International Computer Software and Applications ConferenceVolume 2, 2015, p. 4-4, article id 7273589Conference paper, Published paper (Other academic)
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-31466 (URN)10.1109/COMPSAC.2015.189 (DOI)2-s2.0-84962195654 (Scopus ID)9781467365635 (ISBN)
Conference
39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015; Taichung; Taiwan; 1 July 2015 through 5 July 2015
Available from: 2016-04-22 Created: 2016-04-22 Last updated: 2016-04-22Bibliographically approved
Ciccozzi, F., Corcoran, D., Seceleanu, T. & Scholle, D. (2015). SMARTCore: Boosting Model-Driven Engineering of Embedded Systems for Multicore. In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015: . Paper presented at 12th International Conference on Information Technology : New Generations ITNG 2015, 13-15 Apr 2015, Las Vegas, United States (pp. 89-94). , Article number 7113454
Open this publication in new window or tab >>SMARTCore: Boosting Model-Driven Engineering of Embedded Systems for Multicore
2015 (English)In: Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015, 2015, Vol. Article number 7113454, p. 89-94Conference paper, Published paper (Refereed)
Abstract [en]

Thanks to continuous advances in both software and hardware technologies the power of modern embedded systems is ever increasing along with their complexity. Among the others, Model-Driven Engineering has grown consideration for mitigating this complexity through its ability to shift the focus of the development from hand-written code to models from which correct-by-construction implementation is automatically generated. However, the path towards correctness-by-construction is often twisted by the inability of current MDE approaches to preserve certain extra-functional properties such as CPU and memory usage, execution time and power consumption. With SMARTCore we address open challenges, described in this paper together with an overview of possible solutions, in modelling, generating code from models, and exploiting back-propagated extra-functional properties observed at runtime for deployment optimisation of embedded systems on multicore. SMARTCore brings together world leading competence in software engineering, model-driven engineering for embedded systems (Mälardalen University), and market leading expertise in the development of these systems in different business areas (ABB Corporate Research, Ericsson AB, Alten Sweden AB).

National Category
Software Engineering Embedded Systems
Identifiers
urn:nbn:se:mdh:diva-28125 (URN)10.1109/ITNG.2015.20 (DOI)000380407500015 ()2-s2.0-84936817008 (Scopus ID)978-1-4799-8827-3 (ISBN)
External cooperation:
Conference
12th International Conference on Information Technology : New Generations ITNG 2015, 13-15 Apr 2015, Las Vegas, United States
Projects
SMARTCore: Model-driven support for deployment optimization of embedded systems on multicore
Available from: 2015-06-09 Created: 2015-06-08 Last updated: 2018-01-11Bibliographically approved
Zakupszki, A., Pichetpongsa, N. & Seceleanu, T. (2014). Scheduling and simulating wireless HART systems. In: Proceedings: 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014. Paper presented at 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, 27 August 2014 through 29 August 2014 (pp. 318-319).
Open this publication in new window or tab >>Scheduling and simulating wireless HART systems
2014 (English)In: Proceedings: 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, 2014, p. 318-319Conference paper, Published paper (Refereed)
Abstract [en]

Control processes and the communication between them must be scheduled appropriately, such that the I/O data is correlated. Here, we illustrate the design and realization of a Wireless HART system development tool, meant to support design decisions in communication and processing scheduling.

Keywords
industrial control, simulation, Wireless HART, Application programs, Software engineering, Control process, Industrial controls, Processing scheduling, Support design, System development, Wireless harts, Scheduling
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-31618 (URN)10.1109/SEAA.2014.66 (DOI)000358153200048 ()2-s2.0-84916608241 (Scopus ID)9781479957941 (ISBN)
Conference
40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, 27 August 2014 through 29 August 2014
Available from: 2016-05-23 Created: 2016-05-23 Last updated: 2017-10-25Bibliographically approved
Suryadevara, J., Sapienza, G., Seceleanu, C., Seceleanu, T., Elleveseth, S.-E. & Pettersson, P. (2014). Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. In: Communications in Computer and Information Science, Volume 419 CCIS: . Paper presented at 2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013; Queenstown; New Zealand; 29 October 2013 through 30 October 2013 (pp. 229-245).
Open this publication in new window or tab >>Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
Show others...
2014 (English)In: Communications in Computer and Information Science, Volume 419 CCIS, 2014, p. 229-245Conference paper, Published paper (Refereed)
Abstract [en]

In the development of embedded systems, the formal analysis of system artifacts, such as structural and behavioral models, helps the system engineers to understand the overall functional and timing behavior of the system. In this case study paper, we present our experience in applying formal verification and validation (V&V) techniques, we had earlier proposed, for an industrial wind turbine system (WTS). We demonstrate the complementary benefits of formal verification in the context of existing V&V practices largely based on simulation and testing. We also discuss some modeling trade-offs and challenges we have identified with the case-study, which are worth being emphasized. One issue is related, for instance, to the expressiveness of the system artifacts, in view of the known limitations of rigorous verification, e.g. model-checking, of industrial systems.

Keywords
Formal Modeling, Case Study
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-22326 (URN)10.1007/978-3-319-05416-2_15 (DOI)2-s2.0-84904627849 (Scopus ID)9783319054155 (ISBN)
Conference
2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013; Queenstown; New Zealand; 29 October 2013 through 30 October 2013
Projects
ARROWS
Available from: 2013-11-01 Created: 2013-11-01 Last updated: 2015-02-05Bibliographically approved
Niazi, M. F., Seceleanu, T. & Tenhunen, H. (2013). A development and verification framework for the SegBus platform. Journal of systems architecture, 59(10 PART C), 1015-1031
Open this publication in new window or tab >>A development and verification framework for the SegBus platform
2013 (English)In: Journal of systems architecture, ISSN 1383-7621, E-ISSN 1873-6165, Vol. 59, no 10 PART C, p. 1015-1031Article in journal (Refereed) Published
Abstract [en]

We describe the creation of a development framework for a platform-based design approach, in the context of the SegBus platform. The work intends to provide automated procedures for platform build-up and application mapping. The solution is based on a model-based process and heavily employs the UML. We develop a Domain Specific Language to support the platform modeling. An emulator is consequently introduced to allow an as much as possible accurate performance estimation of the solution, at high abstraction levels. Automated execution schedule generation is also featured. The resulting framework is applied to build actual design solutions for a MP3-decoder application. 

Keywords
Code generation, Domain-specific languages, Model-based engineering, System emulation, System-on-chip
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-23510 (URN)10.1016/j.sysarc.2013.07.005 (DOI)000330090400002 ()2-s2.0-84888364708 (Scopus ID)
Available from: 2013-12-13 Created: 2013-12-13 Last updated: 2017-12-06Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-1996-1234

Search in DiVA

Show all publications