Nowadays, when we face with numerous data, when data cannot be classified into regular relational databases and new solutions are required, and data are generated and processed rapidly, we need powerful platforms and infrastructure as support. Extracting valuable information from raw data is especially difficult considering the velocity of growing data from year to year and the fact that 80% of data is unstructured. In addition, data sources are heterogeneous (various sensors, users with different profiles, etc.) and are in different situations or contexts. Cloud Computing, which concerns large-scale interconnected systems with the main purpose of aggregation and efficient exploiting the power of widely distributed resources, represent one viable solution. Resource Management and Task Scheduling play an essential role, in cases where one is concerned with the optimized use of resources. Therefore, Cloud Computing infrastructures run reliably and permanently to provide the context as a “public utility” to different services.

The vision of Edge Computing considers that tasks are not exclusively allocated on centralized Cloud platforms, but are distributed towards the edge of the network (as in the Internet-of-Things and Fog Computing paradigms), and transferred closer to the business thanks to Content Delivery Networks. The traditional gateway becomes a set-top-box machine, with additional computation and storage capabilities, where micro-tasks can be offloaded first, instead of directly to the cloud. Mobile Edge Computing can also be a more suitable approach to extract knowledge also from privacy sensitive data, which are not to be transferred to third party entities (global cloud operators) for processing. The proliferation of networking connectivity and the progressive miniaturization of the computing devices have paved the way to the sensor networks and their success in the automation of the several monitoring & control applications. Such networks are built in an ad hoc manner and deployed in an unsupervised manner, without an a-priori design. The consequent availability of long-range communication means at certain nodes of those networks has enabled the possibility of the Internet connection of the sensor network, to make use of cloud-based services.

As a major goal of the workshop is to explore new directions and approaches for reasoning about smart services for Edge and Cloud Computing, based on novel models, methods and algorithms, and to encourage the submission of ongoing work, as well as position papers and case studies of existing verification projects. Also, the workshop offers a forum for both academics and practitioners to share their experience and identify new and emerging trends in this area.

Call for Papers

You are invited to submit a paper (please select SSeCC 2019 entry) containing unpublished original work for the SSeCC 2019 Workshop. We would like to especially encourage submissions from young scientists (postdocs, Ph.D. students, master students supervised by a senior researcher and involved in research projects).