Change search
Link to record
Permanent link

Direct link
BETA
Pietrzak, Pawel
Publications (10 of 18) Show all publications
Lindgren, P., Kyusakov, R., Eliasson, J., Mäkitaavola, H. & Pietrzak, P. (2013). A SOA approach to delay and jitter tolerant distributed real-time complex event processing (ed.). In: (Ed.), (Ed.), 2013 IEEE International Symposium on Industrial Electronics (ISIE 2013): Taipei, Taiwan, 28 - 31 May 2013; [proceedings]. Paper presented at International Symposium on Industrial Electronics : 28/05/2013 - 31/05/2013. Piscataway, NJ: IEEE Communications Society
Open this publication in new window or tab >>A SOA approach to delay and jitter tolerant distributed real-time complex event processing
Show others...
2013 (English)In: 2013 IEEE International Symposium on Industrial Electronics (ISIE 2013): Taipei, Taiwan, 28 - 31 May 2013; [proceedings], Piscataway, NJ: IEEE Communications Society, 2013Conference paper, Published paper (Refereed)
Abstract [en]

The combination of Service Oriented Architectures (SOAs) and Complex Event Processing (CEP) is gaining momen- tum for event centric management and processing of informa- tion in complex distributed systems (e.g., business automation). Whereas systems for factory automation have traditionally been deployed using dedicated buses and proprietary (often scan based) protocols, a recent trend in process automation is towards adopting open internet based technologies and event based communication. This trend is driven by the increasing number and capabilities of devices used for monitoring and control, and the increased flexibility, maintainability and price/performance gains expected from IP (potentially SOA/CEP) enabled systems.In this paper we discuss the challenges involved to apply SOA and CEP to the field of factory automation. In particular, real- time aspects are highlighted, both w.r.t. to accurate time-stamping of physical events in a distributed system, as well as end-to-end timing including communication and CEP processing.We approach the challenges by an architecture combining state-of-the-art synchronisation mechanisms for wired and wire- less networks together with real-time communication and dis- tributed query processing based on the notion of time constrained reactions. We discuss the impact of synchronisation inaccuracies and delays introduced by processing and communication, and present a method for implementation of safe potential- and certain matches.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2013
Keywords
Information technology - Systems engineering, Informationsteknik - Systemteknik
National Category
Embedded Systems Other Electrical Engineering, Electronic Engineering, Information Engineering
Research subject
Embedded System; Industrial Electronics
Identifiers
urn:nbn:se:ltu:diva-40064 (URN)10.1109/ISIE.2013.6563815 (DOI)2-s2.0-84881619662 (Scopus ID)f0af212f-e1ea-469a-883d-ca7cc1d7d53f (Local ID)978-1-4673-5193-5 (ISBN)f0af212f-e1ea-469a-883d-ca7cc1d7d53f (Archive number)f0af212f-e1ea-469a-883d-ca7cc1d7d53f (OAI)
Conference
International Symposium on Industrial Electronics : 28/05/2013 - 31/05/2013
Projects
Architecture for Service-Oriented Process – Monitoring and Control, ESIS
Note
Godkänd; 2013; Bibliografisk uppgift: Article number 6563815; 20130701 (pln)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2018-07-10Bibliographically approved
Lindgren, P., Pietrzak, P. & Mäkitaavola, H. (2013). Real-time complex event processing using concurrent reactive objects (ed.). In: (Ed.), (Ed.), Proceedings of the IEEE International Conference on Industrial Technology: ICIT 2013, Cape Town, South Africa 25 February 2013 - 28 February 2013. Paper presented at IEEE International Conference on Industrial Technology : 25/02/2013 - 27/02/2013 (pp. 1994-1999). Piscataway, NJ: IEEE Communications Society
Open this publication in new window or tab >>Real-time complex event processing using concurrent reactive objects
2013 (English)In: Proceedings of the IEEE International Conference on Industrial Technology: ICIT 2013, Cape Town, South Africa 25 February 2013 - 28 February 2013, Piscataway, NJ: IEEE Communications Society, 2013, p. 1994-1999Conference paper, Published paper (Refereed)
Abstract [en]

Service Oriented Architectures (SOAs) and Complex Event Processing (CEP) are established technologies in the area of business automation. In combination, SOA and CEP allow for event centric management and processing of information in complex distributed systems. Whereas systems for process monitoring and control traditionally have been deployed using dedicated buses and proprietary (often scan-based) protocols, a recent trend in process automation is towards adopting open Internet-based technologies. This trend is driven by the increasing number and capabilities of devices used for monitoring and control

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2013
National Category
Embedded Systems Other Electrical Engineering, Electronic Engineering, Information Engineering
Research subject
Embedded System; Industrial Electronics
Identifiers
urn:nbn:se:ltu:diva-31183 (URN)10.1109/ICIT.2013.6505984 (DOI)84877604018 (Scopus ID)5498ca47-d1a6-4279-ab93-241c621f653d (Local ID)9781467345699 (ISBN)5498ca47-d1a6-4279-ab93-241c621f653d (Archive number)5498ca47-d1a6-4279-ab93-241c621f653d (OAI)
Conference
IEEE International Conference on Industrial Technology : 25/02/2013 - 27/02/2013
Note
Godkänd; 2013; 20121116 (pawpie)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved
Pietrzak, P., Lindgren, P. & Mäkitaavola, H. (2012). Towards a lightweight CEP engine for embedded systems (ed.). In: (Ed.), (Ed.), IECON 2012: 38th Annual Conference of the IEEE Industrial Electronics Society. Paper presented at Annual Conference of the IEEE Industrial Electronics Society : 25/10/2012 - 28/10/2012 (pp. 5805-5810). Piscataway, NJ: IEEE Communications Society
Open this publication in new window or tab >>Towards a lightweight CEP engine for embedded systems
2012 (English)In: IECON 2012: 38th Annual Conference of the IEEE Industrial Electronics Society, Piscataway, NJ: IEEE Communications Society, 2012, p. 5805-5810Conference paper, Published paper (Refereed)
Abstract [en]

Industrial process automation systems are adopting event based communication. Pushing control loops towards low- level devices implies a need for lightweight embedded devices that are able to recognize and to react to events. Atomic events however, such as a value read by an individual sensor exceeding certain value, do not separately suffice to capture scenarios where a reaction should occur to a sequence of low-level events matching certain pattern, rather than to a single atomic event. Therefore, it becomes desirable that resource-constrained low- level devices are equipped with some, possibly lightweight, form of event filtering and processing. In this paper we propose to implement a lightweight complex event processing using the concurrent reactive objects (CRO) model. A core feature of the CRO model is its s ability to react to atomic events. Between the reactions, which basically are function executions, the system remains idle, and thus does not occupy the CPU and is energy-efficient. Additionally, CRO models can be executed in an efficient and predictable manner onto resource constrained platforms and offers low-overhead real-time scheduling through exploiting underlying interrupt hardware according to given time constraints.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2012
Series
I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
National Category
Embedded Systems Other Electrical Engineering, Electronic Engineering, Information Engineering
Research subject
Embedded System; Industrial Electronics
Identifiers
urn:nbn:se:ltu:diva-35424 (URN)10.1109/IECON.2012.6389134 (DOI)2-s2.0-84872914895 (Scopus ID)9f5d5586-822b-43a9-b56f-0c6797a5022c (Local ID)978-1-4673-2419-9 (ISBN)978-1-4673-2420-5 (ISBN)9f5d5586-822b-43a9-b56f-0c6797a5022c (Archive number)9f5d5586-822b-43a9-b56f-0c6797a5022c (OAI)
Conference
Annual Conference of the IEEE Industrial Electronics Society : 25/10/2012 - 28/10/2012
Note
Validerad; 2012; 20121012 (pawpie)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Eliasson, J., Delsing, J., Lindgren, P., Pietrzak, P. & Kyusakov, R. (2011). Project: Architecture for Service-Oriented Process – Monitoring and Control. Paper presented at .
Open this publication in new window or tab >>Project: Architecture for Service-Oriented Process – Monitoring and Control
Show others...
2011 (English)Other (Other (popular science, discussion, etc.))
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems
Research subject
Industrial Electronics; Embedded System
Identifiers
urn:nbn:se:ltu:diva-36196 (URN)a6cf4080-ac53-47bc-b6fd-6b831ffe2662 (Local ID)a6cf4080-ac53-47bc-b6fd-6b831ffe2662 (Archive number)a6cf4080-ac53-47bc-b6fd-6b831ffe2662 (OAI)
Note

Publikationer: Efficient structured data processing for web service enabled shop floor devices; A SOA approach to delay and jitter tolerant distributed real-time complex event processing; Integration of wireless sensor and actuator nodes with IT infrastructure using service-oriented architecture; Towards application of service oriented architecture in wireless sensor networks; Efficient XML interchange in factory automation systems; Emerging energy management standards and technologies: challenges and application prospects; A SOA-based framework for integration of intelligent rock bolts with internet of things; A formal engineering approach for industrial SoA-based systems of systems; Enabling cloud-connectivity for mobile internet of things applications; EXIP: A Framework for Embedded Web Development; Migration of a legacy plant lubrication system to SOA; An internet of things approach for intelligent monitoring of conveyor belt rollers; Efficient Web Services for End-To-End Interoperability of Embedded Systems; Status: Pågående; Period: 01/10/2010 → …

Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved
Pietrzak, P., Kyusakov, R., Eliasson, J. & Lindgren, P. (2011). Roadmap for SOA event processing and service execution in real-time using Timber (ed.). In: (Ed.), (Ed.), 2011 IEEE International Symposium on Industrial Electronics (ISIE 2011): Gdansk, Poland, 27 - 30 June 2011. Paper presented at IEEE International Symposium on Industrial Electronics : 27/06/2011 - 30/06/2011 (pp. 1727-1732). Piscataway, NJ: IEEE Communications Society
Open this publication in new window or tab >>Roadmap for SOA event processing and service execution in real-time using Timber
2011 (English)In: 2011 IEEE International Symposium on Industrial Electronics (ISIE 2011): Gdansk, Poland, 27 - 30 June 2011, Piscataway, NJ: IEEE Communications Society, 2011, p. 1727-1732Conference paper, Published paper (Refereed)
Abstract [en]

The introduction of Service Oriented Architectures for monitoring and control involves the deployment of SOA onto lightweight devices (e.g., embedded controllers for sensors and actuators). For the use of SOA in applications where timing and dependability are important, it becomes crucial that SOA event processing and service implementations are robust and time bound for a given platform. To this end, formalisms and tools aiding the design is instrumental. In this paper, we present a roadmap for a SOA based on components using the modeling and programming paradigm of Timber. Our vision is to present Timber based software components as services. By using current standards for service descriptions and eventing we will facilitate interoperability with legacy systems. We will develop a compiler tool suit allowing Timber based services to be deployable onto lightweight resource constrained platforms (e.g., sensors and actuators for industrial use). Our goal is to provide design time guarantees on e.g., robustness (safety and liveness), timing properties, and resource utilization for the complete embedded system comprising SOA event communication, event processing together with the service implementations.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2011
National Category
Embedded Systems Other Electrical Engineering, Electronic Engineering, Information Engineering
Research subject
Embedded System; Industrial Electronics
Identifiers
urn:nbn:se:ltu:diva-35922 (URN)10.1109/ISIE.2011.5984322 (DOI)2-s2.0-80052823968 (Scopus ID)aa799098-5988-4d24-8a66-207a75b26f44 (Local ID)978-1-4244-9310-4 (ISBN)978-1-4244-9311-1 (ISBN)aa799098-5988-4d24-8a66-207a75b26f44 (Archive number)aa799098-5988-4d24-8a66-207a75b26f44 (OAI)
Conference
IEEE International Symposium on Industrial Electronics : 27/06/2011 - 30/06/2011
Note
Godkänd; 2011; 20111122 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Lindgren, P., Eriksson, J., Aittamaa, S., Pietrzak, P. & Wiklander, J. (2011). Scheduling of CRO systems under SPR-DM (ed.). Paper presented at Real-Time in Sweden : 13/06/2011 - 14/06/2011. Paper presented at Real-Time in Sweden : 13/06/2011 - 14/06/2011.
Open this publication in new window or tab >>Scheduling of CRO systems under SPR-DM
Show others...
2011 (English)Conference paper, Oral presentation only (Refereed)
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
urn:nbn:se:ltu:diva-35388 (URN)9e7d8669-d562-48f9-8742-f972866fdfca (Local ID)9e7d8669-d562-48f9-8742-f972866fdfca (Archive number)9e7d8669-d562-48f9-8742-f972866fdfca (OAI)
Conference
Real-Time in Sweden : 13/06/2011 - 14/06/2011
Note
Godkänd; 2011; 20111122 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved
Eriksson, J., Aittamaa, S., Wiklander, J., Pietrzak, P. & Lindgren, P. (2011). SRP-DM scheduling of component-based embedded real-time software (ed.). Paper presented at International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011. Paper presented at International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011.
Open this publication in new window or tab >>SRP-DM scheduling of component-based embedded real-time software
Show others...
2011 (English)Conference paper, Oral presentation only (Refereed)
Abstract [en]

Model and component based design is an established means for the development of large software systems, and is starting to get momentum in the realm of embedded software development. In case of safety critical (dependable systems) it is crucial that the underlying model and its realization captures the requirements on the timely behavior of the system, and that these requirements can be preserved and validated throughout the design process (from specification to actual code execution). To this end, we base the presented work on the notion of Concurrent Reactive Objects (CRO) and their abstraction into Reactive Components.In many cases, the execution platform puts firm resource limitations on available memory and speed of computations that must be taken into consideration for the validation of the system.In this paper, we focus on code synthesis from the model, and we show how specified timing requirements are preserved and translated into scheduling information. In particular, we present how ceiling levels for Stack Resources Policy (SRP) scheduling and analysis can be extracted from the model. Additionally, to support schedulability analysis, we detail algorithms that for a CRO model derives periods (minimum inter-arrival times) and offsets of tasks/jobs. Moreover, the design of a micro-kernel supporting cooperative hardware- and software-scheduling of CRO based systems under Deadline Monotonic SRP is presented.

National Category
Embedded Systems
Research subject
Embedded System
Identifiers
urn:nbn:se:ltu:diva-34558 (URN)8c7a9196-a0ce-4944-83da-07d3add16d5f (Local ID)8c7a9196-a0ce-4944-83da-07d3add16d5f (Archive number)8c7a9196-a0ce-4944-83da-07d3add16d5f (OAI)
Conference
International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011
Note
Godkänd; 2011; 20111215 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved
Kero, M., Pietrzak, P. & Nordlander, J. (2010). Live heap space bounds for real-time systems (ed.). In: (Ed.), (Ed.), Programming languages and systems: 8th Asian symposium, APLAS 2010, Shanghai, China, November28 - December 1 2010 : proceedings. Paper presented at Asian Symposium on Programming Languages and Systems : 28/11/2010 - 01/12/2010 (pp. 287-303). Berlin: Encyclopedia of Global Archaeology/Springer Verlag
Open this publication in new window or tab >>Live heap space bounds for real-time systems
2010 (English)In: Programming languages and systems: 8th Asian symposium, APLAS 2010, Shanghai, China, November28 - December 1 2010 : proceedings, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2010, p. 287-303Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2010
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6164
National Category
Embedded Systems Computer Sciences
Research subject
Embedded System; Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-31616 (URN)10.1007/978-3-642-17164-2_20 (DOI)2-s2.0-78650753664 (Scopus ID)5db77730-c1aa-11df-a707-000ea68e967b (Local ID)978-3-642-17163-5 (ISBN)5db77730-c1aa-11df-a707-000ea68e967b (Archive number)5db77730-c1aa-11df-a707-000ea68e967b (OAI)
Conference
Asian Symposium on Programming Languages and Systems : 28/11/2010 - 01/12/2010
Note
Validerad; 2011; 20100916 (keero)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Pietrzak, P., Correas, J., Puebla, G. & Hermenegildo, M. (2008). A practical type analysis for verification of modular Prolog programs (ed.). In: (Ed.), (Ed.), Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation: . Paper presented at ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation : 07/01/2008 - 08/01/2008 (pp. 61-70). : ACM Digital Library
Open this publication in new window or tab >>A practical type analysis for verification of modular Prolog programs
2008 (English)In: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, ACM Digital Library, 2008, p. 61-70Conference paper, Published paper (Refereed)
Abstract [en]

Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of reallife, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency. In this paper we propose a combination of techniques aimed at improving analysis efficiency in this context. As a first technique we allow optionally reducing the accuracy of inferred types by using only the types defined by the user or present in the libraries. We claim that, for the purpose of verifying type signatures given in the form of assertions the precision obtained using this approach is sufficient, and show that analysis times can be reduced significantly. Our second technique is aimed at dealing with situations where we would like to limit the amount of reanalysis performed, especially for library modules. Borrowing some ideas from polymorphic type systems, we show how to solve the problem by admitting parameters in type specifications. This allows us to compose new call patterns with some precomputed analysis info without losing any information. We argue that together these two techniques contribute to the practical and scalable analysis and verification of types in Prolog programs.

Place, publisher, year, edition, pages
ACM Digital Library, 2008
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
urn:nbn:se:ltu:diva-31664 (URN)5e91e090-c117-11dd-a054-000ea68e967b (Local ID)978-1-595-93977-7 (ISBN)5e91e090-c117-11dd-a054-000ea68e967b (Archive number)5e91e090-c117-11dd-a054-000ea68e967b (OAI)
Conference
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation : 07/01/2008 - 08/01/2008
Note
Upprättat; 2008; 20081203 (pawpie)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved
Pietrzak, P. & Hermenegildo, M. (2007). Automatic binding-related error diagnosis in logic programs (ed.). In: (Ed.), Verónica Dahl; Ilkka Neimelä (Ed.), Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings. Paper presented at International Conference on Logic Programming : 08/09/2007 - 13/09/2007 (pp. 333-347). Berlin: Encyclopedia of Global Archaeology/Springer Verlag
Open this publication in new window or tab >>Automatic binding-related error diagnosis in logic programs
2007 (English)In: Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / [ed] Verónica Dahl; Ilkka Neimelä, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2007, p. 333-347Conference paper, Published paper (Refereed)
Abstract [en]

This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result in abstract symptoms during compile-time checking of assertions based on abstract interpretation. The diagnoser analyzes the graph generated by the abstract interpreter, which is a provably safe approximation of the program semantics. The proposed algorithm traverses this graph to find the point where the actual error originates (a reason of the symptom), leading to the point the error has been reported (the symptom). The procedure is fully automatic, not requiring any interaction with the user. A prototype diagnoser has been implemented and preliminary results are encouraging.

Place, publisher, year, edition, pages
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2007
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4670
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
urn:nbn:se:ltu:diva-29983 (URN)10.1007/978-3-540-74610-2_23 (DOI)3a156ee0-c076-11dd-875e-000ea68e967b (Local ID)978-3-540-74608-9 (ISBN)3a156ee0-c076-11dd-875e-000ea68e967b (Archive number)3a156ee0-c076-11dd-875e-000ea68e967b (OAI)
Conference
International Conference on Logic Programming : 08/09/2007 - 13/09/2007
Note
Upprättat; 2007; 20081202 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved
Organisations

Search in DiVA

Show all publications