@inproceedings{Schneider2017, author = {Schneider, Ben and Zoitl, Alois and Wenger, Monika and Blech, Jan Olaf}, title = {Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems}, booktitle = {IEEE International Conference on Emerging Technologies And Factory Automation (ETFA)}, year = {2017}, abstract = {As networks continuously grow (keyword Internet of Things) the configuration and management of industrial networks gets more complex. Additionally the trend towards Ethernet networks in the domain of industrial automation leads to the adoption of new Ethernet based technologies for factory automation. One of these technologies is Software Defined Networking (SDN), which provides a programmable and more flexible method for network control through an abstract network view. This work focuses on the evaluation of SDN in the field of industrial automation. It provides the implementation of a prototype SDN controller for direct multicast routing of industrial traffic in a cyclic switched Ethernet network using the Ryu SDN framework. For evaluation, experiments about the performance penalty introduced by switch-controller-communication are performed. An IEC 61499 compliant development environment is used for the experiment definition. The experiment results and the prototype implementation of the SDN controller showed that SDN provides great opportunities for a flexible and reliable network setup in the automation industry and is suited for real-time traffic.}, keywords = {software defined networking, SDN, UDP multicast routing, Ryu, IEC 61499, switched industrial Ethernet}, language = {english}, url = {https://ieeexplore.ieee.org/document/8247594}, } @inproceedings{, author = {Wenger, Monika and Blech, Jan Olaf and Peake, Ian and Zoitl, Alois}, title = {Remote Monitoring Infrastructure for IEC 61499 Based Control Software}, booktitle = {The 8th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT)}, year = {2016}, } @inproceedings{, author = {Wenger, Monika and Zoitl, Alois and Blech, Jan Olaf and Peake, Ian and Fernando, Lasith}, title = {Cloud Based Monitoring of Timed Events for Industrial Automation - Short Paper}, booktitle = {International Workshop on Automated Testing of Cyber-Physical Systems in the Cloud (cpsATcloud)}, year = {2015}, month = dec, location = {Melbourne}, abstract = {This paper presents ideas towards automatic monitoring of industrial automation devices by using a cloud based monitoring infrastructure. We are in particular aiming at fine grained timed properties that can be described using formal specification techniques such as behavioral types. We describe possible applications in the areas of remote maintenance and servicing as well as commissioning and testing.}, } @inproceedings{, author = {Wenger, Monika and Blech, Jan Olaf and Zoitl, Alois}, title = {Behavioral Type-based Monitoring for IEC 61499}, booktitle = {20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}, year = {2015}, month = sep, location = {Luxembourg}, } @article{DBLP:journals/corr/BlechRS13, author = {Blech, Jan Olaf and Rue{\ss}, Harald and Sch{\"{a}}tz, Bernhard}, title = {On Behavioral Types for OSGi: From Theory to Implementation}, journal = {CoRR}, volume = {abs/1306.6115}, year = {2013}, url = {http://arxiv.org/abs/1306.6115}, } @inproceedings{Blech2012, author = {Blech, Jan Olaf and Falcone, Yli{\`{e}}s and Becker, Klaus}, title = {Towards Certified Runtime Verification}, booktitle = {Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012)}, publisher = {ACM}, year = {2012}, month = nov, timestamp = 2013.07.23, owner = {jeraj}, address = {Kyoto, Japan}, abstract = {Runtime verification (RV) is a successful technique to monitor system behavior at runtime and potentially take compensating actions in case of deviation from a specification. For the usage in safety critical systems the question of reliability of RV components arises since in existing approaches RV components are not verified and may themselves be erroneous. In this paper, we present work towards a framework for certified RV components. We present a solution for implementations of transition functions of RV monitors and prove them correct using the Coq proof assistant. We extract certified executable OCaml code and use it inside RV monitors. We investigate an application scenario in the domain of automotive embedded systems and present performance evaluation for some monitored properties.}, doi = {10.1007/978-3-642-34281-3_34}, keywords = {Model-based Systems Engineering, MbSE}, } @inproceedings{, author = {Blech, Jan Olaf and Mou, Dongyue and Ratiu, Daniel}, title = {Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool}, booktitle = {Proceedings 7th Workshop on Model-Based Testing ({MBT})}, series = {{EPTCS}}, pages = {13--27}, year = {2012}, month = mar, timestamp = 2012.03.25, address = {Tallinn, Estonia}, abstract = {Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing abstraction levels: during requirements engineering component models are rather abstract high-level and underspecified, while during implementation the component models are rather concrete and fully specified in order to enable code generation. An important issue that arises is assuring that the concrete models correspond to abstract models. In this paper, we propose a method to assure that concrete models for system components refine more abstract models for the same components. In particular we advocate a framework for reusing testcases at different abstraction levels. Our approach, even if it cannot completely prove the refinement, can be used to ensure confidence in the development process. In particular we are targeting the refinement of requirements which are represented as very abstract models. Besides a formal model of our approach, we discuss our experiences with the development of an Adaptive Cruise Control (ACC) system in a model driven development process. This uses extensions which we implemented for our model-based development tool and which are briefly presented in this paper.}, doi = {10.4204/EPTCS.80.2}, keywords = {AutoFOCUS3, model-based testing, model-based systems engineering, MbSE}, } @incollection{Blech2012a, author = {Blech, Jan Olaf and Falcone, Yli{\`{e}}s and Rue{\ss}, Harald and Sch{\"{a}}tz, Bernhard}, title = {Behavioral specification based runtime monitors for OSGi services}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change}, publisher = {Springer}, pages = {405-419}, year = {2012}, timestamp = 2013.08.20, owner = {jeraj}, } @inproceedings{DBLP:conf/isola/BlechFRS12, author = {Blech, Jan Olaf and Falcone, Yli{\`{e}}s and Rue{\ss}, Harald and Sch{\"{a}}tz, Bernhard}, title = {Behavioral Specification Based Runtime Monitors for OSGi Services}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P}, pages = {405--419}, year = {2012}, doi = {10.1007/978-3-642-34026-0_30}, url = {http://dx.doi.org/10.1007/978-3-642-34026-0_30}, crossref = {DBLP:conf/isola/2012-1}, } @inproceedings{Huang2012a, author = {Huang, Jia and Blech, Jan Olaf and Raabe, Andreas and Buckl, Christian and Knoll, Alois}, title = {Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving}, booktitle = {Design, Automation and Test in Europe (DATE)}, year = {2012}, address = {Dresden, Germany}, url = {Huang2012a.pdf}, } @inproceedings{Huang2011e, author = {Huang, Jia and Blech, Jan Olaf and Raabe, Andreas and Buckl, Christian and Knoll, Alois}, editor = {Chen, Xiaoping and Stone, Peter and Sucar, LuisEnrique and van der Zant, Tijn}, title = {Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems}, booktitle = {International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week}, year = {2011}, address = {Taipei, Taiwan}, doi = {10.1145/2039370.2039409}, url = {Huang2011e.pdf}, } @inproceedings{Huang2011d, author = {Huang, Jia and Blech, Jan Olaf and Raabe, Andreas and Buckl, Christian and Knoll, Alois}, title = {Reliability-Aware Design Optimization for Multiprocessor Embedded Systems}, booktitle = {14th Euromicro International Conference on Digital System Design (DSD)}, year = {2011}, address = {Oulu, Finland}, doi = {10.1109/dsd.2011.34}, url = {Huang2011d.pdf}, }