@inproceedings{Horst:EWBfOCRwGA:2017, author = {Horst, Oliver and Baumgarten, Uwe and Prehofer, Christian}, editor = {Nelis, Vincent and Chantem, Tam}, title = {Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms}, booktitle = {Proceedings of the 8th Real-Time Scheduling Open Problems Seminar (RTSOPS) held in conjunction with the 29th Euromicro Conference on Real-Time Systems (ECRTS)}, year = {2017}, month = jun, timestamp = 2017.06.14, owner = {horst}, organization = {CISTER, ISEP, Portugal}, } @inproceedings{Ruhland:eAAfSFIiES:2016, author = {Ruhland, Andreas and Prehofer, Christian and Horst, Oliver}, editor = {V{\"{o}}lp, Marcus and Esteves-Verissimo, Paulo and Casimiro, Antonio and Pellizzoni, Rodolfo}, title = {{embSFI}: An Approach for Software Fault Isolation in Embedded Systems}, booktitle = {1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems}, pages = {6--11}, year = {2016}, month = dec, owner = {horst}, organization = {{IEEE}}, address = {Porto, Portugal}, note = {co-located with the {IEEE} {R}eal-{T}ime {S}ystems {S}ymposium 2016}, url = {https://certs2016.uni.lu/Program}, crossref = {certs2016}, } @inproceedings{Napier:CECPwMS:2016, author = {Napier, Keegan and Horst, Oliver and Prehofer, Christian}, title = {Comparably Evaluating Communication Performance within Mixed-Criticality Systems}, booktitle = {4th International Workshop on Mixed Criticality Systems {(WMC)}}, year = {2016}, month = nov, owner = {horst}, address = {Porto, Portugal}, url = {https://hal.archives-ouvertes.fr/hal-01417283}, } @inproceedings{Prehofer:TTApfoC:2016, author = {Prehofer, Christian and Horst, Oliver and Dodi, Riccardo and Geven, Arjan and Kornaros, George and Montanari, Eleonora and Paolino, Michele}, title = {Towards Trusted Apps platforms for open {CPS}}, booktitle = {3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems {(EITEC)}}, pages = {23--28}, year = {2016}, month = apr, owner = {horst}, abstract = {For many cyber-physical systems, there is a strong trend towards open systems, which can be extended during operation by instantly adding functionalities on demand. We discuss this trend in the context of automotive and medical systems. The goal of this paper is to elaborate the research challenges of new platforms for such open systems. A main problem is that such CPS apps shall be able to access and modify safety critical device internals. We present results of the TAPPS (Trusted Apps for open CPS) project, which develops an end-to-end solution for development and deployment of trusted apps. The main approach is to devise different execution environments for highly-trusted CPS apps. We present the architecture approach and its key components, and methods for CPS apps, including tool chain and development support.}, doi = {10.1109/EITEC.2016.7503692}, keywords = {cyber-physical systems;open systems;safety-critical software;CPS apps;TAPPS;automotive systems;cyberphysical systems;medical systems;open CPS;open systems;safety critical device internals;tool chain;trusted apps platforms;Automotive engineering;Computer architecture;Electronic mail;Hardware;Real-time systems;Security;Vehicles;architecture;cyber-physical-systems;open-source;real-time systems;trusted apps}, } @inproceedings{, author = {Prehofer, Christian and Chiarabini, Luca}, title = {From Internet of Things Mashups to Model-based Development}, booktitle = {The 2nd IEEE International Workshop on Big Data Management for the Internet of Things}, publisher = {IEEE}, year = {2015}, month = jul, } @inproceedings{KrBrPrRuKr:LT:2015, author = {Kro{\ss}, Johannes and Brunnert, Andreas and Prehofer, Christian and Runkler, Thomas A. and Krcmar, Helmut}, title = {Model-based Performance Evaluation of Large-Scale Smart Metering Architectures}, booktitle = {Proceedings of the 4th International Workshop on Large-Scale Testing}, publisher = {ACM}, series = {LT '15}, pages = {9--12}, year = {2015}, month = feb, address = {New York, NY, USA}, location = {Austin, Texas, USA}, abstract = {Smart meter devices are used to monitor and control energy consumption and are interlinked with smart grids. Their growing use leads to an extensive amount of available data to be processed and causes smart grids to evolve to large-scale systems of systems. Guaranteeing appropriate scalability and performance characteristics is a tremendous challenge. In this paper, we focus on the provisioning of sufficient computing capacity to efficiently analyze the produced data in such a distributed system. For this purpose, we show the use of performance models to plan and simulate this distributed computation in smart grid systems. It demonstrates how different system architectures can be evaluated and required capacities can be estimated to cope with the occurring data volume. We analyze response times for time-critical tasks and assess the scalability of smart grid systems.}, isbn = {978-1-4503-3337-5}, doi = {10.1145/2693182.2693184}, keywords = {Advanced Metering Infrastructure, Evaluation, performance, Smart grid, Smart meter}, url = {http://doi.acm.org/10.1145/2693182.2693184}, } @inbook{KrBrPrRuKr:EPEW:2015, author = {Kro{\ss}, Johannes and Brunnert, Andreas and Prehofer, Christian and Runkler, Thomas A. and Krcmar, Helmut}, title = {Stream Processing on Demand for Lambda Architectures}, booktitle = {Computer Performance Engineering}, publisher = {Springer International Publishing}, series = {Lecture Notes in Computer Science}, volume = {9272}, pages = {243-257}, year = {2015}, abstract = {Growing amounts of data and the demand to process them within time constraints have led to the development of big data systems. A generic principle to design such systems that allows for low latency results is called the lambda architecture. It defines that data is analyzed twice by combining batch and stream processing techniques in order to provide a real time view. This redundant processing of data makes this architecture very expensive. In cases where process results are not continuously required to be low latency or time constraints lie within several minutes, a clear decision whether both processing layers are inevitable is not possible yet. Therefore, we propose stream processing on demand within the lambda architecture in order to efficiently use resources and reduce hardware investments. We use performance models as an analytical decision-making solution to predict response times of batch processes and to decide when to additionally deploy stream processes. By the example of a smart energy use case we implement and evaluate the accuracy of our proposed solution.}, isbn = {978-3-319-23266-9}, doi = {10.1007/978-3-319-23267-6_16}, keywords = {Lambda architecture; Big data; Performance; Model; Evaluation}, url = {http://dx.doi.org/10.1007/978-3-319-23267-6_16}, } @inproceedings{, author = {Jucheng, Jin and Prehofer, Christian and Dang, Chi-Tai and Andr{\'{e}}, Elisabeth}, title = {A Multi-Display System for Deploying and Controlling Home Automation}, booktitle = {Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces}, publisher = {ACM}, pages = {399-402}, year = {2014}, month = nov, } @inproceedings{, author = {Mituca, Andrei and Moin, Amir H. and Prehofer, Christian}, title = {Access Control for Apps Running on Constrained Devices in the Internet of Things}, booktitle = {International Workshop on Secure Internet of Things (SIOT) 2014}, year = {2014}, month = sep, location = {Wroclaw, Poland}, } @inproceedings{, author = {Matthias, Kowal and Legat, Christoph and Lorefice, David and Prehofer, Christian and Schaefer, Ina and Vogel-Heuser, Birgit}, title = {Delta modeling for variant-rich and evolving manufacturing systems}, booktitle = {Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation}, publisher = {ACM}, pages = {32-41}, year = {2014}, month = may, } @inproceedings{, author = {Prehofer, Christian and Schorp, Konstantin and Clarke, Daniel and Kugele, Stefan and Duchon, Markus}, title = {Towards a 3-tier architecture for connected vehicles}, booktitle = {Proceedings of the 1st International Conference on Connected Vehicles and Expo (ICCVE)}, year = {2014}, doi = {10.1109/ICCVE.2014.7297634}, } @inproceedings{prehofer2014towards, author = {Prehofer, Christian and Zoitl, Alois}, title = {Towards flexible and adaptive productions systems based on virtual cloud-based control}, booktitle = {Emerging Technology and Factory Automation (ETFA), 2014 IEEE}, pages = {1--4}, year = {2014}, organization = {IEEE}, } @inproceedings{, author = {Prehofer, Christian}, title = {Feature-based Development of State Transition Diagrams with Property Preservation}, booktitle = {10 th Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013}, publisher = {CEUR-WS}, pages = {21-30}, year = {2013}, month = oct, } @inproceedings{, author = {Prehofer, Christian}, title = {From the Internet of Things to Trusted Apps for Things}, booktitle = {Green Computing and Communications (GreenCom), 2013 IEEE and Internet of Things (iThings/CPSCom), IEEE International Conference on and IEEE Cyber, Physical and Social Computing}, publisher = {IEEE}, pages = {2037-2042}, year = {2013}, month = aug, }