Wiki source code of ALP4IoT 2017

Show last authors
1 >1st Workshop on Architectures, Languages and Paradigms for IoT
2
3 **Date:** September 18th, 2017
4
5 **Location:** Co-located with the [[13th International Conference on integrated Formal Methods (iFM 2017)>>http://ifm2017.di.unito.it/]], University of Torino, Turin, Italy
6
7 **Registration:** All attendees at the workshop must register for iFM 2017 through [[the conference website>>http://ifm2017.di.unito.it/]].
8
9 **Accepted papers:** [[papers.zip>>https://apice.unibo.it/xwiki/bin/download/ALP4IoT2016/WebHome/papers.zip]]
10
11 (% style="border: 1px solid #4682B4;padding:5px" %)
12 (((
13 === Scope ===
14
15 The Internet of Things is ushering a dramatic increase in number and variety of interconnected and smart objects. Communication capabilities and computational power are growingly embedded in everyday devices including personal smart devices, public displays, cars, drones and electronic tags. This state of the things opens an unprecedented range of research opportunities. Inherent distribution, mobility, situatedness, and heterogeneity of such devices calls for proper scientific understanding of the foundations of such systems as well as for novel software methods. The workshop aims at critically reviewing the state-of-the-art and the state-of-the-practice of formal techniques and software methods for the IoT. The presentation of open problems and challenges will trigger discussion between the participants with different views and backgrounds with the ultimate goal of identifying a common research agenda. This workshop solicits original contributions on architectures, languages, paradigms, and techniques with potential practical and theoretical impact on software systems targeting the IoT. We welcome inter-disciplinary approaches.
16
17 === Important Dates ===
18
19 * Abstract registration: June --5th-- --12th-- **22th**, 2017
20 * Paper submission: June --12th-- --16th-- **26th**, 2017
21 * Notification of Acceptance: July --10th-- --14th-- **21st**, 2017
22 * Camera-Ready Version: July --17th-- --21st-- **28th**, 2017
23
24 === Topics of interest ===
25
26 This workshop accepts both theoretical and practical contributions targeting the emerging field of the Internet of Things, and in particular:
27
28 * Engineering methodologies
29 * Formal models
30 * Novel paradigms
31 * Novel languages
32 * Programming tools
33 * Verification
34 * Distributed platforms
35 * Frameworks for the IoT
36 * Architectures for the IoT
37 * Case studies
38
39 === Submission and publication ===
40
41 We will accept two types of contributions:
42
43 * "regular papers" (between 5 and 15 pages), and
44 * "extended abstracts" (between 2 and 4 pages).
45
46 All papers should be submitted in PDF format using this Easychair [[login page>>https://easychair.org/conferences/?conf=alp4iot2017]]. We require the authors to follow the [[formatting rules of EPTCS>>http://info.eptcs.org/]], as such papers should be prepared in LaTeX using the [[EPTCS macro package>>http://style.eptcs.org/]].
47
48 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work.
49
50 Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality.
51
52 Accepted regular papers will be published in [[EPTCS - Electronic Proceedings in Theoretical Computer Science>>http://www.eptcs.org]]. Extended abstracts will be presented at the workshop, but will not appear in the proceedings: they will be published (according to the EPTCS publication policy), in HTML form on EPTCS online.
53
54 === Invited speakers ===
55
56 ==== Keynote 1 by **[[Einar Broch Johnsen>>http://einarj.at.ifi.uio.no/]], University of Oslo, Norway** ====
57
58 **Title:** Asynchronous Software Evolution: Obtaining Type Safety by Combining Type Checking and Runtime Constraints
59
60 **Abstract:** The Internet of Things connects devices ranging from every day objects to sensors and actuators, in order to enable data sensing, analysis, and interaction between devices. Deploying these "things" at scale leads to complex interconnected systems such as smart houses, condition-based maintenance of industrial installations, etc. It is a major challenge how to maintain and evolve software for these systems, in which things dynamically connect and disconnect, and in which interactions between devices are typically asynchronous, in order to fix bugs, add features, or improve analysis or performance. In this talk, we discuss this problem in terms of a model of asynchronous software evolution for active objects and propose language abstractions to program asynchronous evolution, which can guarantee type safety by combining type checking with runtime constraints.
61
62 **About the speaker:** Einar Broch Johnsen is Professor at the Department of Informatics, University of Oslo. His research interests are in the field of software development and analysis, spanning from programming languages and methodology, via system specification and modeling, to formal methods and associated theory. Johnsen is particularly interested in the analysis of concurrent and distributed systems, resource awareness and resource management, and mechanisms for software evolution and reuse. His research in the last years has increasingly focused on abstract behavioral specification formalisms and their use for model-based verification of real systems. Prof. Johnsen was the coordinator of the European research project Engineering Virtualized Services (Envisage) on model-based verification techniques to predict the behavior of services deployed on the cloud, and he is the deputy director of Sirius, a Norwegian Center for research-driven Innovation on scalable data access.
63
64 ==== Invited industrial talk by **[[Cristina Chesta>>https://www.linkedin.com/in/cristina-chesta-3623a66/?ppe=1]], REPLY** ====
65
66 **Title:** IoT Opportunities and Solutions
67
68 **Abstract:** The Internet of Things is becoming part of every aspect of our lives, enabling new use cases and creating value for consumers, companies, and economies. In this talk we introduce some relevant trends, challenges and opportunities related to IoT from an industry perspective, and we present some examples of solutions developed by Concept Reply in this area.
69
70 **About the speaker:** Cristina Chesta holds a PhD in Informatics and System Engineering and a MSc in Electronic Engineering both from Politecnico di Torino. She was a visiting scientist at Bell Labs and worked ten years in Motorola as software architect and project manager in different research and development projects related to human computer interaction and software engineering. She is currently a Senior Consultant in Concept Reply and her research interests in the last years have been focusing on the domain of Internet of Things. She is the coordinator of project HyVar, on hybrid variability to support continuous and highly individualized evolution of distributed software applications, and of project PersonAAL, about personalized web applications to improve quality of life and remote care for older adults.
71
72 ==== Keynote 2 by **[[Lars-Åke Fredlund>>http://babel.ls.fi.upm.es/fred/]], Universidad Politécnica de Madrid, Spain** ====
73
74 **Title:** Testing Shared Resources
75
76 **Abstract:** The talk describes an approach to testing a class of safety-critical concurrent systems implemented using shared resources. A shared resource based system consists of a number of processes (active objects) that interact through calls to a set of shared resources which control the amount of concurrency in the system. Shared resources are described using a declarative specification, from which both efficient implementations can be derived, and which serves as the first approximation of the state-based test model used for testing implementations. In the talk we will illustrate the testing methodology by applying it to the task of testing the safety-critical software that controls an automated shipping plant, initially specified as a shared resource, which fulfills shipping orders serviced by a set of autonomous robots. The operations of the robots are governed by a set of rules limiting the weight of robots, and their cargo, to ensure safe operations.
77
78 **About the speaker:** Dr. Lars-Ake Fredlund is an Associate Professor at the Universidad Politécnica de Madrid (Spain). His research interests focuses on reasoning formally about concurrent programs in programming languages such as Java or the actor-based Erlang programming language. In 2001, Fredlund received his PhD from the KTH Royal Institute of Technology (Sweden) on the topic of using theorem proving techniques to formally prove Erlang programs correct. Later research has focused on providing model checking support for concurrent functional programming languages, and on the application of property-based testing techniques to testing concurrent systems. Fredlund has participated in several EU research projects and has published over 50 papers in international journals and conferences.
79
80 === Program ===
81
82 **8:15 - 8:45 - [[Entrance, via Verdi 9>>http://ifm2017.di.unito.it/venue-viaVerdi9.php]]**
83
84 Registration
85
86 **8:45 - 9:00 - [[Sala Multifunzione 1, via Verdi 9>>http://ifm2017.di.unito.it/venue-viaVerdi9.php]]**
87
88 Plenary session, Paola Pisano (Deputy Mayor for Innovation and Smart City at the City of Turin)
89
90 **9:00 - 10:00 - [[Aula Magna del Rettorato, via Verdi 8, first floor>>http://ifm2017.di.unito.it/venue-viaVerdi8ff.php]]**
91
92 Keynote 1 by Einar Broch Johnsen - joint with ARVI
93
94 **10:00 - 10:30**
95
96 Coffee break
97
98 **10:30 - 12:10 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]**
99
100 Onoriode Uviase and Gerald Kotonya. //IoT Architectural Framework: A review of Connection and Integration Framework for IoT systems//
101
102 Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo and Filippo Ricca. //Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things//
103
104 Sven Linker and Michele Sevegnani. //Formalising Sensor Topologies for Target Counting//
105
106 **12:10 - 13:40**
107
108 Lunch
109
110 **13:40 - 14:20 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]**
111
112 Invited industrial talk by Cristina Chesta
113
114 **14:20 - 15:20 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]**
115
116 Giorgio Audrito, Ferruccio Damiani and Mirko Viroli. //Aggregate Graph Statistics//
117
118 Giorgio Audrito and Sergio Bergamini. //Resilient Blocks for Summarising Distributed Data//
119
120 **15:20 - 15:50**
121
122 Cofee break
123
124 **15:50 - 17:30 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]**
125
126 **WAO'17 Session**
127
128 Keynote 2 by Lars-Åke Fredlund
129 Eduard Kamburjan and Reiner Hähnle. //Prototyping Formal System Models with Active Objects//
130
131 Minas Charalambides, Karl Palmskog and Gul Agha. //Types for Progress in Actor Programs//
132
133 **17:30 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]**
134
135 Closing
136
137 **19:30**
138
139 ARVI, ALP4IoT and WAO Social dinner **not included in the registration**. Details can be found [[here>>http://ifm2017.di.unito.it/ARVIdinner.php]].
140
141 === Program Chairs ===
142
143 * [[Danilo Pianini>>mailto:danilo.pianini@unibo.it]], University of Bologna, Italy
144 * [[Guido Salvaneschi>>mailto:salvaneschi@unimore.it]], Technical University of Darmstadt, Germany
145
146 === Program Committee ===
147
148 * [[Marco Aiello>>http://www.cs.rug.nl/aiellom]], University of Groningen, Netherlands
149 * [[Giorgio Audrito>>http://www.unito.it/persone/gaudrito]], University of Torino, Italy
150 * [[Ezio Bartocci>>http://www.eziobartocci.com/]], Vienna University of Technology, Austria
151 * [[Jacob Beal>>http://web.mit.edu/jakebeal/www/]], Raytheon BBN Technologies, USA
152 * [[Christian Becker>>https://becker.bwl.uni-mannheim.de/en/staff/prof_dr_christian_becker/]], Unversity of Mannheim, Germany
153 * [[Tomas Bures>>http://d3s.mff.cuni.cz/bures]], Charles University, Czech Republic
154 * [[Siobhán Clarke>>https://www.scss.tcd.ie/Siobhan.Clarke/]], Trinity College Dublin, Ireland
155 * [[Simon Dobson>>http://www.simondobson.org/]], University of St Andrews, UK
156 * [[David Eyers>>http://www.cl.cam.ac.uk/dme26/]], University of Otago, New Zealand
157 * [[Cheng Feng>>http://www.imperial.ac.uk/people/c.feng]], Imperial College London, UK
158 * [[Ilias Gerostathopoulos>>http://www4.in.tum.de/gerostat/]], Technical University Munich, Germany
159 * [[Ernst Moritz Hahn>>http://lcs.ios.ac.cn/hahn/]], Chinese Academy of Sciences, China
160 * [[Salima Hassas>>https://liris.cnrs.fr/membres?idn=shassas]], Claude Bernard-Lyon1, France
161 * [[Jane Hillston>>http://homepages.inf.ed.ac.uk/jeh/]], University of Edinburgh, UK
162 * [[Christian Johansen>>http://www.mn.uio.no/its/english/people/aca/cristi/index.html]], University of Oslo, Norway
163 * [[Einar Johnsen>>http://einarj.at.ifi.uio.no/]], University of Oslo, Norway
164 * [[Alberto Lluch Lafuente>>http://www.albertolluch.com/]], Technical University of Denmark, Denmark
165 * [[Stefano Mariani>>http://stefanomariani.apice.unibo.it/]], University of Bologna, Italy
166 * [[Julie McCann>>http://wp.doc.ic.ac.uk/aese/person/julie-a-mccann/]], Imperial College London, UK
167 * [[Michele Sevegnani>>http://www.dcs.gla.ac.uk/michele/]], University of Glasgow, UK
168 * [[Franco Zambonelli>>http://personale.unimore.it/rubrica/dettaglio/zambonelli]], University of Modena and Reggio Emilia
169
170 === Steering Committee ===
171
172 * [[Tomas Bures>>https://d3s.mff.cuni.cz/bures/]], Charles University, Czech Republic
173 * [[Siobhán Clarke>>https://www.scss.tcd.ie/Siobhan.Clarke/]], Trinity College Dublin, Ireland
174 * [[Ferruccio Damiani>>http://www.di.unito.it/damiani/]] (chair), University of Torino, Italy
175 * [[Schahram Dustdar>>http://www.infosys.tuwien.ac.at/staff/sd/]], TU Wien, Austria
176 * [[Jane Hillston>>http://homepages.inf.ed.ac.uk/jeh/]], University of Edinburgh, UK
177 * [[Michele Loreti>>http://www.micheleloreti.com/]], University of Firenze, Italy
178 * [[Julie McCann>>http://wp.doc.ic.ac.uk/aese/person/julie-a-mccann/]], Imperial College London, UK
179 * [[Guido Salvaneschi>>http://www.stg.tu-darmstadt.de/staff/guido_salvaneschi/index.en.jsp]], Technical University of Darmstadt, Germany
180 * [[Mirko Viroli>>http://apice.unibo.it/xwiki/bin/view/MirkoViroli/WebHome]], University of Bologna, Italy
181 )))