hh.sePublications
Change search
Link to record
Permanent link

Direct link
Gaspes, Veronica
Publications (10 of 16) Show all publications
Gebrewahid, E., Ul-Abdin, Z. & Gaspes, V. (2017). Cal2Many: A Framework to Compile Dataflow Programs for Manycores.
Open this publication in new window or tab >>Cal2Many: A Framework to Compile Dataflow Programs for Manycores
2017 (English)Manuscript (preprint) (Other academic)
Abstract [en]

The arrival of manycore platforms has imposed programming challenges for mainstream embedded system developers. In this paper, we discuss the significance of actor-oriented dataflow languages and present our compilation framework for CAL Actor Language that leads to increased portability and retargetability. We demonstrate the applicability of our approach with streaming applications targeting the Epiphany many-core architecture. We have performed an in-depth analysis of MPEG-4 SP implemented on Epiphany using our framework and studied the effects of actor composition. We have identified hardware aspects such as increased off-chip memory bandwidth and larger local memories that could result in further performance improvements.

Keywords
Design, Algorithms, Performance, dataflow languages, compilation framework, manycore, CAL
National Category
Embedded Systems
Identifiers
urn:nbn:se:hh:diva-34882 (URN)
Available from: 2017-09-05 Created: 2017-09-05 Last updated: 2017-12-06Bibliographically approved
Taha, W., Duracz, A., Zeng, Y., Atkinson, K., Bartha, F. Á., Brauner, P., . . . Grante, C. (2016). Acumen: An Open-source Testbed for Cyber-Physical Systems Research. In: Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu (Ed.), Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I. Paper presented at EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015 (pp. 118-130). Heidelberg: Springer, 169
Open this publication in new window or tab >>Acumen: An Open-source Testbed for Cyber-Physical Systems Research
Show others...
2016 (English)In: Internet of Things. IoT Infrastructures: Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / [ed] Benny Mandler, Johann Marquez-Barja, Miguel Elias Mitre Campista, Dagmar Cagáňová, Hakima Chaouchi, Sherali Zeadally, Mohamad Badra, Stefano Giordano, Maria Fazio, Andrey Somov & Radu-Laurentiu Vieriu, Heidelberg: Springer, 2016, Vol. 169, p. 118-130Conference paper, Published paper (Refereed)
Abstract [en]

Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorous-but-practical next-generation tools can deliver to developers of Cyber-Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously.

This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the "agile research method" taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2016.

Place, publisher, year, edition, pages
Heidelberg: Springer, 2016
Series
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, ISSN 1867-8211 ; 169
Keywords
Testbed, Cyber-Physical Systems (CPS), Modeling, Simulation, Hybrid Systems, Open Source Software
National Category
Computer Sciences
Identifiers
urn:nbn:se:hh:diva-29592 (URN)10.1007/978-3-319-47063-4_11 (DOI)000398616500011 ()2-s2.0-85000500985 (Scopus ID)978-3-319-47062-7 (ISBN)978-3-319-47063-4 (ISBN)
Conference
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks (CYCLONE '15), Rome, Italy, October 26, 2015
Funder
Knowledge FoundationVINNOVA, 2011-01819
Note

This work was supported by US NSF award CPS-1136099, the Swedish Knowledge Foundation (KK), The Center for Research on Embedded Systems (CERES), and VINNOVA (Dnr. 2011-01819).

Available from: 2015-10-08 Created: 2015-10-08 Last updated: 2021-05-11Bibliographically approved
Svensson, B., Ul-Abdin, Z., Ericsson, P. M., Åhlander, A., Hoang Bengtsson, H., Bengtsson, J., . . . Nordström, T. (2014). A Running Leap for Embedded Signal Processing to Future Parallel Platforms. In: WISE'14: Proceedings of the 2014 ACM International Workshop on Long-Term Industrial Collaboration on Software Engineering. Paper presented at ASE '14 – ACM/IEEE International Conference on Automated Software Engineering, Västerås, Sweden, September 15-19, 2014 (pp. 35-42). New York, NY: Association for Computing Machinery (ACM)
Open this publication in new window or tab >>A Running Leap for Embedded Signal Processing to Future Parallel Platforms
Show others...
2014 (English)In: WISE'14: Proceedings of the 2014 ACM International Workshop on Long-Term Industrial Collaboration on Software Engineering, New York, NY: Association for Computing Machinery (ACM), 2014, p. 35-42Conference paper, Published paper (Refereed)
Abstract [en]

This paper highlights the collaboration between industry and academia in research. It describes more than two decades of intensive development and research of new hardware and software platforms to support innovative, high-performance sensor systems with extremely high demands on embedded signal processing capability. The joint research can be seen as the run before a necessary jump to a new kind of computational platform based on parallelism. The collaboration has had several phases, starting with a focus on hardware, then on efficiency, later on software development, and finally on taking the jump and understanding the expected future. In the first part of the paper, these phases and their respective challenges and results are described. Then, in the second part, we reflect upon the motivation for collaboration between company and university, the roles of the partners, the experiences gained and the long-term effects on both sides. Copyright © 2014 ACM.

Place, publisher, year, edition, pages
New York, NY: Association for Computing Machinery (ACM), 2014
Keywords
Industry-academia collaboration, Embedded signal processing, Parallel computing platforms, Software development
National Category
Software Engineering
Identifiers
urn:nbn:se:hh:diva-27296 (URN)10.1145/2647648.2647653 (DOI)2-s2.0-84908651240 (Scopus ID)978-1-4503-3045-9 (ISBN)
Conference
ASE '14 – ACM/IEEE International Conference on Automated Software Engineering, Västerås, Sweden, September 15-19, 2014
Funder
VinnovaKnowledge FoundationSwedish Foundation for Strategic Research
Available from: 2014-12-16 Created: 2014-12-16 Last updated: 2020-10-02Bibliographically approved
Rögnvaldsson, T., Brink, J., Florén, H., Gaspes, V., Holmgren, N., Lutz, M., . . . Sandberg, M. (2014). ARC13 – Assessment of Research and Coproduction: Reports from the assessment of all research at Halmstad University 2013. Halmstad: Halmstad University Press
Open this publication in new window or tab >>ARC13 – Assessment of Research and Coproduction: Reports from the assessment of all research at Halmstad University 2013
Show others...
2014 (English)Report (Other (popular science, discussion, etc.))
Abstract [en]

During 2013, an evaluation of all the research conducted at Halmstad University was carried out. The purpose was to assess the quality of the research, coproduction, and collaboration in research, as well as the impact of the research. The evaluation was dubbed the Assessment of Research and Coproduction 2013, or ARC13. (Extract from Executive Summary)

Place, publisher, year, edition, pages
Halmstad: Halmstad University Press, 2014. p. 110
Keywords
Halmstad University, research evaluation, coproduction
National Category
Other Social Sciences not elsewhere specified
Identifiers
urn:nbn:se:hh:diva-24789 (URN)978-91-87045-06-6 (ISBN)978-91-87045-05-9 (ISBN)
Funder
Knowledge Foundation
Available from: 2014-03-10 Created: 2014-03-05 Last updated: 2021-05-11Bibliographically approved
Essayas, G., Yang, M., Cedersjö, G., Ul-Abdin, Z., Gaspes, V., Janneck, J. W. & Svensson, B. (2014). Realizing Efficient Execution of Dataflow Actors on Manycores. In: Randall Bilof (Ed.), Proceedings: 2014 International Conference on Embedded and Ubiquitous Computing: EUC 2014: August 2014, Milano, Italy. Paper presented at The 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2014), Milan, Italy, Aug. 26-28, 2014 (pp. 321-328). Los Alamitos, CA: IEEE Computer Society, Article ID 6962305.
Open this publication in new window or tab >>Realizing Efficient Execution of Dataflow Actors on Manycores
Show others...
2014 (English)In: Proceedings: 2014 International Conference on Embedded and Ubiquitous Computing: EUC 2014: August 2014, Milano, Italy / [ed] Randall Bilof, Los Alamitos, CA: IEEE Computer Society, 2014, p. 321-328, article id 6962305Conference paper, Published paper (Refereed)
Abstract [en]

Embedded DSP computing is currently shifting towards manycore architectures in order to cope with the ever growing computational demands. Actor based dataflow languages are being considered as a programming model. In this paper we present a code generator for CAL, one such dataflow language. We propose to use a compilation tool with two intermediate representations. We start from a machine model of the actors that provides an ordering for testing of conditions and firing of actions. We then generate an Action Execution Intermediate Representation that is closer to a sequential imperative language like C and Java. We describe our two intermediate representations and show the feasibility and portability of our approach by compiling a CAL implementation of the Two-Dimensional Inverse Discrete Cosine Transform on a general purpose processor, on the Epiphany manycore architecture and on the Ambric massively parallel processor array. © 2014 IEEE.

Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society, 2014
Keywords
dataflow languages, compilation framework, code generation, manycore, CAL
National Category
Embedded Systems
Identifiers
urn:nbn:se:hh:diva-26991 (URN)10.1109/EUC.2014.55 (DOI)000358149800046 ()2-s2.0-84908625634 (Scopus ID)978-0-7695-5249-1 (ISBN)978-1-4799-7609-6 (ISBN)
Conference
The 12th IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2014), Milan, Italy, Aug. 26-28, 2014
Projects
HiPEC
Funder
Knowledge FoundationSwedish Foundation for Strategic Research
Available from: 2014-11-05 Created: 2014-11-05 Last updated: 2020-03-20Bibliographically approved
Gebrewahid, E., Ul-Abdin, Z., Svensson, B., Gaspes, V., Jego, B., Lavigueur, B. & Robart, M. (2013). Programming Real-time Image Processing for Manycores in a High-level Language. In: Wu, Chenggang and Cohen, Albert (Ed.), Advanced Parallel Processing Technology: . Paper presented at 10th International Conference on Advanced Parallel Processing Technology, APPT 2013, Stockholm, August (pp. 381-395). Berlin Heidelberg: Springer Berlin/Heidelberg
Open this publication in new window or tab >>Programming Real-time Image Processing for Manycores in a High-level Language
Show others...
2013 (English)In: Advanced Parallel Processing Technology / [ed] Wu, Chenggang and Cohen, Albert, Berlin Heidelberg: Springer Berlin/Heidelberg, 2013, p. 381-395Conference paper, Published paper (Refereed)
Abstract [en]

Manycore architectures are gaining attention as a means to meet the performance and power demands of high-performance embedded systems. However, their widespread adoption is sometimes constrained by the need formastering proprietary programming languages that are low-level and hinder portability. We propose the use of the concurrent programming language occam-pi as a high-level language for programming an emerging class of manycore architectures. We show how to map occam-pi programs to the manycore architecture Platform 2012 (P2012). We describe the techniques used to translate the salient features of the language to the native programming model of the P2012. We present the results from a case study on a representative algorithm in the domain of real-time image processing: a complex algorithm for corner detectioncalled Features from Accelerated Segment Test (FAST). Our results show that the occam-pi program is much shorter, is easier to adapt and has a competitive performance when compared to versions programmed in the native programming model of P2012 and in OpenCL.

Place, publisher, year, edition, pages
Berlin Heidelberg: Springer Berlin/Heidelberg, 2013
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8299
Keywords
Parallel programming, occam-pi, Manycore architectures, Realtime image processing
National Category
Embedded Systems
Identifiers
urn:nbn:se:hh:diva-24018 (URN)10.1007/978-3-642-45293-2_29 (DOI)2-s2.0-84893040633 (Scopus ID)978-3-642-45292-5 (ISBN)
Conference
10th International Conference on Advanced Parallel Processing Technology, APPT 2013, Stockholm, August
Available from: 2013-11-27 Created: 2013-11-27 Last updated: 2018-03-22Bibliographically approved
Taha, W., Brauner, P., Zeng, Y., Cartwright, R., Gaspes, V., Ames, A. & Chapoutot, A. (2012). A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). In: : . Paper presented at The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012 (pp. 303-308). Piscataway, N.J.: IEEE Press
Open this publication in new window or tab >>A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
Show others...
2012 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Recently we showed that an expressive class of mathematical equations can be automatically translated into simulation codes. By focusing on the expressivity of equations formed from continuous functions, this work did not accommodate a wide range of discrete behaviors or a dynamic collection of components. However, the interaction between continuous and hybrid components in many cyber-physical domains is highly coupled, and such systems are often highly dynamic in both respects. This paper gives an overview of a proposed core language for capturing executable hybrid models of highly dynamic cyber-physical systems. © 2012 IEEE.

Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE Press, 2012
Series
IEEE International Conference on Distributed Computing Systems Workshops, ISSN 1545-0678
Keywords
Modeling, Simulation, Cyber-Physical Systems
National Category
Computer Systems
Identifiers
urn:nbn:se:hh:diva-20915 (URN)10.1109/ICDCSW.2012.72 (DOI)2-s2.0-84866395141 (Scopus ID)978-1-4673-1423-7 (ISBN)978-1-4673-1423-7 (ISBN)978-0-7695-4686-5 (ISBN)978-1-4799-1699-3 (ISBN)
Conference
The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012
Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2021-05-11Bibliographically approved
Wang, Y. & Gaspes, V. (2011). A Compositional Implementation of Modbus in Protege. In: 6th IEEE International Symposium on Industrial Embedded Systems (SIES), 2011. Paper presented at 6th IEEE International Symposium on Industrial Embedded Systems (SIES 2011)) (pp. 123-131). Piscataway, N.J.: IEEE Press
Open this publication in new window or tab >>A Compositional Implementation of Modbus in Protege
2011 (English)In: 6th IEEE International Symposium on Industrial Embedded Systems (SIES), 2011, Piscataway, N.J.: IEEE Press, 2011, p. 123-131Conference paper, Published paper (Refereed)
Abstract [en]

Network protocols today play a major role in embedded software for industrial automation, with constant efforts to adapt existing device software to new emerging standards. In earlier work, we have proposed a compilation-based approach using a domain-specific language, Protege, which automatically generates protocol stack implementations in C from modular high-level descriptions. In this paper, we provide a case study of the Protege language in an industrial setting. We have implemented the Modbus protocol over TCP/IP and over serial line, and tested it using an industrial gateway. Our implementation demonstrates Protege's advantages for software productivity, easy maintenance and code reuse, and it achieves many desirable properties of industrial embedded network software.

Place, publisher, year, edition, pages
Piscataway, N.J.: IEEE Press, 2011
Keywords
Domain specific language, communication protocol
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:hh:diva-16145 (URN)10.1109/SIES.2011.5953654 (DOI)2-s2.0-80052005794 (Scopus ID)978-1-61284-818-1 (ISBN)978-1-61284-819-8 (ISBN)
Conference
6th IEEE International Symposium on Industrial Embedded Systems (SIES 2011))
Projects
CERES - IPS
Available from: 2011-09-06 Created: 2011-09-06 Last updated: 2018-03-22Bibliographically approved
Taha, W., Brauner, P., Cartwright, R., Gaspes, V., Ames, A. & Chapoutot, A. (2011). A Core Language for Executable Models of Cyber Physical Systems: work in progress report. In: : . Paper presented at Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems, ICCPS'11 WIP, Chicago, IL, USA, April 12 - 14, 2011 (pp. 39-43). New York: Association for Computing Machinery (ACM)
Open this publication in new window or tab >>A Core Language for Executable Models of Cyber Physical Systems: work in progress report
Show others...
2011 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Recently we showed that an expressive class of mathemat-ical equations can be automatically translated into simula-tion codes. Focusing on the expressivity of equations oncontinuous functions, this work considered only minimal in-teraction with discrete behaviors and only a static numberof statically connected components. However, the interac-tion between continuous and hybrid components in manycyber physical domains is highly coupled, and such systemsare often highly dynamic in both respects. This paper givesan overview of a proposed core language for capturing ex-ecutable hybrid models of highly dynamic cyber physicalsystems.

Place, publisher, year, edition, pages
New York: Association for Computing Machinery (ACM), 2011
Series
ACM SIGBED Review, ISSN 1551-3688 ; Volume 8 Issue 2
Keywords
Modeling, Simulation, Cyber-Physical Systems
National Category
Computer Systems
Identifiers
urn:nbn:se:hh:diva-20941 (URN)10.1145/2000367.2000376 (DOI)
Conference
Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems, ICCPS'11 WIP, Chicago, IL, USA, April 12 - 14, 2011
Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2021-05-11Bibliographically approved
Wang, Y. & Gaspes, V. (2011). A Library for Processing Ad hoc Data in Haskell: Embedding a Data Description Language. In: Scholz, SB; Chitil, O (Ed.), Implementation and application of functional languages: . Paper presented at 20th International Symposium, Implementation and Application of Functional Languages, IFL 2008 (pp. 174-191). Springer
Open this publication in new window or tab >>A Library for Processing Ad hoc Data in Haskell: Embedding a Data Description Language
2011 (English)In: Implementation and application of functional languages / [ed] Scholz, SB; Chitil, O, Springer, 2011, , p. 16p. 174-191Conference paper, Published paper (Refereed)
Abstract [en]

Ad hoc data formats, i.e. semistructured non-standard dataformats, are pervasive in many domains that need software tools—bioinformatics,demographic surveys, geophysics and network software are justa few. Building tools becomes easier if parsing and other standard inputoutputprocessing can be automated. Modern approaches for dealingwith ad hoc data formats consist of domain specific languages based ontype systems. Compilers for these languages generate data structures andparsing functions in a target programming language in which tools andapplications are then written. We present a monadic library in Haskellthat implements a data description language. Using our library, Haskellprogrammers have access to data description primitives that can be usedfor parsing and that can be integrated with other libraries and applicationprograms without the need of yet another compiler.

Place, publisher, year, edition, pages
Springer, 2011. p. 16
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 5836
Keywords
Ad hoc Data, Haskell
National Category
Language Technology (Computational Linguistics)
Identifiers
urn:nbn:se:hh:diva-95 (URN)000307082400010 ()2-s2.0-80053964182 (Scopus ID)978-3-642-24451-3 (ISBN)
Conference
20th International Symposium, Implementation and Application of Functional Languages, IFL 2008
Projects
IPS
Available from: 2009-10-05 Created: 2009-09-17 Last updated: 2020-05-14Bibliographically approved
Organisations

Search in DiVA

Show all publications