thematic series on verification and composition for the internet of services and things

Abstract ■■■ The Internet of Services and Things is characterized as a distributed computing environment that will be populated by a large number of software services and things. Within this context, software systems will increasingly be built by reusing and composing together software services and things distributed over the Internet. This calls for new integration paradigms and patterns, formal composition theories, integration architectures, as well as flexible and dynamic composition and verification mechanisms. In particular, service- and thing-based systems pose new challenges for software composition and verification techniques, due to changing requirements, emerging behaviors, uncertainty, and dynamicity

Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

IoT data processing pipeline in FoF perspective

With the development in the contemporary industry, the concepts of ICT and IoT are gaining more importance, as they are the foundation for the systems of the future. Most of the current solutions converge into transforming the traditional industry in new smart interconnected factories, aware of its context, adaptable to different environments and capable of fully using its resources. However, the full potential for ICT manufacturing has not been achieved, since there is not a universal or standard architecture or model that can be applied to all the existing systems, to tackle the heterogeneity of the existing devices. In a common factory, exists a large amount of information that needs to be processed into the system in order to define event rules accordingly to the related contextual knowledge, to later execute the needed actions. However, this information is sometimes heterogeneous, meaning that it cannot be accessed or understood by the components of the system. This dissertation analyses the existing theories and models that may lead to seamless and homogeneous data exchange and contextual interpretation. A framework based on these theories is proposed in this dissertation, that aims to explore the situational context formalization in order to adequately provide appropriate actions

Cyber-Physical Systems: a multi-criteria assessment for Internet-of-Things (IoT) systems

This research work was partially supported by funds provided by the European Commission in the scope of FoF/H2020-636909 C2NET, FoF/H2020-723710 vf-OS and ICT/H2020-825631 ZDMP.This article addresses a multi-criteria decision problem regarding the more suitable device (system) to perform a task for cyber-physical systems. New embedded systems provided everyday makes engineers’ decision very difficult. Components are proposed to formally describe solutions, criteria, constraints and priorities, taking into account users’ specific aspects. To materialise all formal descriptions, a model-driven approach is followed, allowing the design of enablers for interoperability with standards. It is enabled the use of different software languages and decision methods. Proposed framework enables a better Internet-of-Things system selection, and therefore stakeholders can perform a more suitable design of their cyber-physical enterprise systems.authorsversioninpres

Construction of the STEAM Learning Model with a Design Thinking Approach on Renewable Energy Materials

The industrial revolution 4.0 accelerates the need for resources with contextual skills that are relevant to technological advances. Renewable energy is a global issue that needs to be followed up as a concern in education. The concept of STEAM learning is seen as a learning innovation that accommodates the skills needed in the era of the industrial revolution 4.0. In addition, through a design thinking approach, students are facilitated to realize creativity or ideas in solving problems around them. This study aims to reconstruct the STEAM learning model with a combination of design thinking approaches in renewable energy learning materials. This study uses a descriptive qualitative approach with data sources from the literature. The analytical tool used is the Miles and Huberman interactive model data analysis. The expectation from this research is the formulation of a combination framework between the STEAM learning model and design thinking that can be applied to learning renewable energy materials. Keywords: Design Thinking, Renewable Energy, STEA

Problems of Designing Geoportal Interfaces

The manuscript is devoted to analysis of the problem of designing graphical geoportal interfaces. The support points for the problem solutions are formulated and rationale of each of them is given. The emphasis was placed on the following orientations: to a flexible process of interface development, the need to introduce adaptability, progressive development, the motivated abandonment of geospatial content management systems and the use of third-party libraries where necessary, problem-solving and achieving goals. The lists of basic functional and qualitative requirements for graphical geoportal interfaces are given. In the last segment, the authors share their experience in the development of geoportal solutions