Endre søk
Link to record
Permanent link

Direct link
BETA
Pietrzak, Pawel
Publikasjoner (10 av 18) Visa alla publikasjoner
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
Åpne denne publikasjonen i ny fane eller vindu >>A SOA approach to delay and jitter tolerant distributed real-time complex event processing
Vise andre…
2013 (engelsk)Inngår i: 2013 IEEE International Symposium on Industrial Electronics (ISIE 2013): Taipei, Taiwan, 28 - 31 May 2013; [proceedings], Piscataway, NJ: IEEE Communications Society, 2013Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Piscataway, NJ: IEEE Communications Society, 2013
Emneord
Information technology - Systems engineering, Informationsteknik - Systemteknik
HSV kategori
Forskningsprogram
Inbyggda system; Industriell elektronik
Identifikatorer
urn:nbn:se:ltu:diva-40064 (URN)10.1109/ISIE.2013.6563815 (DOI)2-s2.0-84881619662 (Scopus ID)f0af212f-e1ea-469a-883d-ca7cc1d7d53f (Lokal ID)978-1-4673-5193-5 (ISBN)f0af212f-e1ea-469a-883d-ca7cc1d7d53f (Arkivnummer)f0af212f-e1ea-469a-883d-ca7cc1d7d53f (OAI)
Konferanse
International Symposium on Industrial Electronics : 28/05/2013 - 31/05/2013
Prosjekter
Architecture for Service-Oriented Process – Monitoring and Control, ESIS
Merknad
Godkänd; 2013; Bibliografisk uppgift: Article number 6563815; 20130701 (pln)Tilgjengelig fra: 2016-10-03 Laget: 2016-10-03 Sist oppdatert: 2018-07-10bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Real-time complex event processing using concurrent reactive objects
2013 (engelsk)Inngår i: 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, s. 1994-1999Konferansepaper, Publicerat paper (Fagfellevurdert)
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

sted, utgiver, år, opplag, sider
Piscataway, NJ: IEEE Communications Society, 2013
HSV kategori
Forskningsprogram
Inbyggda system; Industriell elektronik
Identifikatorer
urn:nbn:se:ltu:diva-31183 (URN)10.1109/ICIT.2013.6505984 (DOI)84877604018 (Scopus ID)5498ca47-d1a6-4279-ab93-241c621f653d (Lokal ID)9781467345699 (ISBN)5498ca47-d1a6-4279-ab93-241c621f653d (Arkivnummer)5498ca47-d1a6-4279-ab93-241c621f653d (OAI)
Konferanse
IEEE International Conference on Industrial Technology : 25/02/2013 - 27/02/2013
Merknad
Godkänd; 2013; 20121116 (pawpie)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Towards a lightweight CEP engine for embedded systems
2012 (engelsk)Inngår i: IECON 2012: 38th Annual Conference of the IEEE Industrial Electronics Society, Piscataway, NJ: IEEE Communications Society, 2012, s. 5805-5810Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Piscataway, NJ: IEEE Communications Society, 2012
Serie
I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
HSV kategori
Forskningsprogram
Inbyggda system; Industriell elektronik
Identifikatorer
urn:nbn:se:ltu:diva-35424 (URN)10.1109/IECON.2012.6389134 (DOI)2-s2.0-84872914895 (Scopus ID)9f5d5586-822b-43a9-b56f-0c6797a5022c (Lokal ID)978-1-4673-2419-9 (ISBN)978-1-4673-2420-5 (ISBN)9f5d5586-822b-43a9-b56f-0c6797a5022c (Arkivnummer)9f5d5586-822b-43a9-b56f-0c6797a5022c (OAI)
Konferanse
Annual Conference of the IEEE Industrial Electronics Society : 25/10/2012 - 28/10/2012
Merknad
Validerad; 2012; 20121012 (pawpie)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2018-07-10bibliografisk kontrollert
Eliasson, J., Delsing, J., Lindgren, P., Pietrzak, P. & Kyusakov, R. (2011). Project: Architecture for Service-Oriented Process – Monitoring and Control. Paper presented at .
Åpne denne publikasjonen i ny fane eller vindu >>Project: Architecture for Service-Oriented Process – Monitoring and Control
Vise andre…
2011 (engelsk)Annet (Annet (populærvitenskap, debatt, mm))
HSV kategori
Forskningsprogram
Industriell elektronik; Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-36196 (URN)a6cf4080-ac53-47bc-b6fd-6b831ffe2662 (Lokal ID)a6cf4080-ac53-47bc-b6fd-6b831ffe2662 (Arkivnummer)a6cf4080-ac53-47bc-b6fd-6b831ffe2662 (OAI)
Merknad

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 → …

Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Roadmap for SOA event processing and service execution in real-time using Timber
2011 (engelsk)Inngår i: 2011 IEEE International Symposium on Industrial Electronics (ISIE 2011): Gdansk, Poland, 27 - 30 June 2011, Piscataway, NJ: IEEE Communications Society, 2011, s. 1727-1732Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Piscataway, NJ: IEEE Communications Society, 2011
HSV kategori
Forskningsprogram
Inbyggda system; Industriell elektronik
Identifikatorer
urn:nbn:se:ltu:diva-35922 (URN)10.1109/ISIE.2011.5984322 (DOI)2-s2.0-80052823968 (Scopus ID)aa799098-5988-4d24-8a66-207a75b26f44 (Lokal ID)978-1-4244-9310-4 (ISBN)978-1-4244-9311-1 (ISBN)aa799098-5988-4d24-8a66-207a75b26f44 (Arkivnummer)aa799098-5988-4d24-8a66-207a75b26f44 (OAI)
Konferanse
IEEE International Symposium on Industrial Electronics : 27/06/2011 - 30/06/2011
Merknad
Godkänd; 2011; 20111122 (andbra)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2018-07-10bibliografisk kontrollert
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.
Åpne denne publikasjonen i ny fane eller vindu >>Scheduling of CRO systems under SPR-DM
Vise andre…
2011 (engelsk)Konferansepaper, Oral presentation only (Fagfellevurdert)
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-35388 (URN)9e7d8669-d562-48f9-8742-f972866fdfca (Lokal ID)9e7d8669-d562-48f9-8742-f972866fdfca (Arkivnummer)9e7d8669-d562-48f9-8742-f972866fdfca (OAI)
Konferanse
Real-Time in Sweden : 13/06/2011 - 14/06/2011
Merknad
Godkänd; 2011; 20111122 (ysko)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert
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.
Åpne denne publikasjonen i ny fane eller vindu >>SRP-DM scheduling of component-based embedded real-time software
Vise andre…
2011 (engelsk)Konferansepaper, Oral presentation only (Fagfellevurdert)
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.

HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-34558 (URN)8c7a9196-a0ce-4944-83da-07d3add16d5f (Lokal ID)8c7a9196-a0ce-4944-83da-07d3add16d5f (Arkivnummer)8c7a9196-a0ce-4944-83da-07d3add16d5f (OAI)
Konferanse
International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011
Merknad
Godkänd; 2011; 20111215 (andbra)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Live heap space bounds for real-time systems
2010 (engelsk)Inngår i: Programming languages and systems: 8th Asian symposium, APLAS 2010, Shanghai, China, November28 - December 1 2010 : proceedings, Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2010, s. 287-303Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2010
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 6164
HSV kategori
Forskningsprogram
Inbyggda system; Kommunikations- och beräkningssystem
Identifikatorer
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 (Lokal ID)978-3-642-17163-5 (ISBN)5db77730-c1aa-11df-a707-000ea68e967b (Arkivnummer)5db77730-c1aa-11df-a707-000ea68e967b (OAI)
Konferanse
Asian Symposium on Programming Languages and Systems : 28/11/2010 - 01/12/2010
Merknad
Validerad; 2011; 20100916 (keero)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2018-07-10bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>A practical type analysis for verification of modular Prolog programs
2008 (engelsk)Inngår i: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, ACM Digital Library, 2008, s. 61-70Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
ACM Digital Library, 2008
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-31664 (URN)5e91e090-c117-11dd-a054-000ea68e967b (Lokal ID)978-1-595-93977-7 (ISBN)5e91e090-c117-11dd-a054-000ea68e967b (Arkivnummer)5e91e090-c117-11dd-a054-000ea68e967b (OAI)
Konferanse
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation : 07/01/2008 - 08/01/2008
Merknad
Upprättat; 2008; 20081203 (pawpie)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Automatic binding-related error diagnosis in logic programs
2007 (engelsk)Inngår i: 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, s. 333-347Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Berlin: Encyclopedia of Global Archaeology/Springer Verlag, 2007
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4670
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
urn:nbn:se:ltu:diva-29983 (URN)10.1007/978-3-540-74610-2_23 (DOI)3a156ee0-c076-11dd-875e-000ea68e967b (Lokal ID)978-3-540-74608-9 (ISBN)3a156ee0-c076-11dd-875e-000ea68e967b (Arkivnummer)3a156ee0-c076-11dd-875e-000ea68e967b (OAI)
Konferanse
International Conference on Logic Programming : 08/09/2007 - 13/09/2007
Merknad
Upprättat; 2007; 20081202 (ysko)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2017-11-25bibliografisk kontrollert
Organisasjoner