The Community for Technology Leaders
2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) (2016)
Vienna, Austria
April 11, 2016 to April 11, 2016
ISBN: 978-1-5090-1154-4
TABLE OF CONTENTS

[Title page] (PDF)

pp. 1

Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case (Abstract)

Tobias Kafer , Institute AIFB, Karlsruhe Institute of Technology (KIT), Germany
Andreas Harth , Institute AIFB, Karlsruhe Institute of Technology (KIT), Germany
Sebastien Mamessier , Creative Design & Concepts Center, Airbus Group Innovations, Ottobrunn, Germany
pp. 1-6

Applying the BaaS reference architecture on different classes of devices (Abstract)

Bjorn Butzin , Institute of Applied Microelectronics and Computer Engineering, University of Rostock, Germany
Bjorn Konieczek , Institute of Applied Microelectronics and Computer Engineering, University of Rostock, Germany
Frank Golatowski , Institute of Applied Microelectronics and Computer Engineering, University of Rostock, Germany
Dirk Timmermann , Institute of Applied Microelectronics and Computer Engineering, University of Rostock, Germany
Christoph Fiehe , MATERNA GmbH, Information & Communications, Dortmund, Germany
pp. 1-6

Data-oriented abstraction of virtual sensors for embedded software systems (Abstract)

Kaliappa Ravindran , Dept. of Computer Science, CUNY Graduate Center & City College, New York, 10019 (USA)
Mohammad Rabby , Dept. of Computer Science, CUNY Graduate Center & City College, New York, 10019 (USA)
Michael Iannelli , Dept. of Computer Science, CUNY Graduate Center & City College, New York, 10019 (USA)
pp. 1-6

WUppaal: A web-service for the Uppaal model-checker (Abstract)

Peter Fogh , Dept. of Computer Science, Aalborg University, Denmark
Thomas C. Hald , Dept. of Computer Science, Aalborg University, Denmark
Brian Nielsen , Dept. of Computer Science, Aalborg University, Denmark
pp. 1-6

Towards the verification of temporal data consistency in Real-Time Data Management (Abstract)

Simin Cai , Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
Barbara Gallina , Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
Dag Nystrom , Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
Cristina Seceleanu , Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden
pp. 1-6

Dataflow-based modeling and performance analysis for online gesture recognition (Abstract)

Florian Grutzmacher , University of Rostock, Institute of Applied Microelectronics and Computer Engineering, 18051, Germany
Benjamin Beichler , University of Rostock, Institute of Applied Microelectronics and Computer Engineering, 18051, Germany
Christian Haubelt , University of Rostock, Institute of Applied Microelectronics and Computer Engineering, 18051, Germany
Bart Theelen , Embedded Systems Innovation by TNO, PO Box 6235, 5600 HE Eindhoven, Netherlands
pp. 1-8

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project (Abstract)

Peter Gorm Larsen , Department of Engineering, Aarhus University, Denmark
John Fitzgerald , School of Computing Science, Newcastle University, UK
Jim Woodcock , Department of Computer Science, University of York, UK
Peter Fritzson , Department of Computer and Information Science, Linköping University, Sweden
Jorg Brauer , Verified Systems International, Bremen, Germany
Christian Kleijn , Controllab Products, Enschede, The Netherlands
Thierry Lecomte , Clearsy SAS, Aix en Provence, France
Markus Pfeil , TWT Science & Innovation, Stuttgart, Germany
Ole Green , Agro Intelligence, Aarhus, Denmark
Stylianos Basagiannis , United Technologies Research Centre, Cork, Ireland
Andrey Sadovykh , Softeam, Paris, France
pp. 1-6

A security metric for structured security analysis of cyber-physical systems supporting SAE J3061 (Abstract)

Marco Steger , Virtual Vehicle Research Center, Graz, Austria
Michael Karner , Virtual Vehicle Research Center, Graz, Austria
Joachim Hillebrand , Virtual Vehicle Research Center, Graz, Austria
Werner Rom , Virtual Vehicle Research Center, Graz, Austria
Kay Romer , Institute for Technical Informatics, Graz University of Technology, Austria
pp. 1-6
90 ms
(Ver 3.3 (11022016))