Introduction to the Special Section on FM 2021

Formal methods have been used in a wide range of domains, including software, cyber-physical systems, and integrated computer-based systems. In recent years, we have seen in particular the application of formal methods in a wide range of areas, such as systems-of-systems, security, artificial intelligence, human-computer interaction, manufacturing, sustainability, power, transport, smart cities, healthcare, and biology. Formal methods also get used more and more in industry. All of these developments are supported by the design and validation of various formal method tools

Introduction to the Special Section on Social Computing and Social Internet of Things

The papers in this special section focus on social computing and the social Internet of Things (SIoT). SIoT is a new and latest paradigm that extends Internet of Things. This provides an ideal platform for interconnected devices and objects to effectively interact across social platforms for the betterment of the community on a whole. Any Social Internet of things based system means that the data is distributed in nature and focuses on the interest of a larger group of people than a particular individual. Thus social Internet of things have a wide scope and can be used to develop a wide range of applications that involves a group of people or community working towards accomplishing a common objective such as joint ventures, office setup, co-ownerships and so on. Social Computing may be defined as the study of the collaborative behavior of a group of computer users working on some common objectives

Emerging Ideas and Topics in IS: Introduction to the Special Section

This essay provides a discussion of the original and evolving notions of what constitutes an “emerging” idea and describes the processes by which we organized this special section. We also discuss each of the ten selected articles in terms of what we see that makes the article “emerging” and how we see it fitting into the larger framework of IS knowledge

Introduction to the Special Section on Business and Climate Change

We are pleased to present this special section of Management Science on 'Business and Climate Change'. We launched the call for papers in 2019 to draw more scholarly attention to the major risks and opportunities that climate change poses for a wide array of companies and industries and for society at large. In the four years since then, we have seen a growing number of examples o the physical manifestations of climate change that scientists had been forecasting for decades, including intensive heat waves, wildfires, hurricanes, and floodin

Energy efficiency in discrete-manufacturing systems: insights, trends, and control strategies

Since the depletion of fossil energy sources, rising energy prices, and governmental regulation restrictions, the current manufacturing industry is shifting towards more efficient and sustainable systems. This transformation has promoted the identification of energy saving opportunities and the development of new technologies and strategies oriented to improve the energy efficiency of such systems. This paper outlines and discusses most of the research reported during the last decade regarding energy efficiency in manufacturing systems, the current technologies and strategies to improve that efficiency, identifying and remarking those related to the design of management/control strategies. Based on this fact, this paper aims to provide a review of strategies for reducing energy consumption and optimizing the use of resources within a plant into the context of discrete manufacturing. The review performed concerning the current context of manufacturing systems, control systems implemented, and their transformation towards Industry 4.0 might be useful in both the academic and industrial dimension to identify trends and critical points and suggest further research lines.Peer ReviewedPreprin

Survey on Additive Manufacturing, Cloud 3D Printing and Services

Cloud Manufacturing (CM) is the concept of using manufacturing resources in a service oriented way over the Internet. Recent developments in Additive Manufacturing (AM) are making it possible to utilise resources ad-hoc as replacement for traditional manufacturing resources in case of spontaneous problems in the established manufacturing processes. In order to be of use in these scenarios the AM resources must adhere to a strict principle of transparency and service composition in adherence to the Cloud Computing (CC) paradigm. With this review we provide an overview over CM, AM and relevant domains as well as present the historical development of scientific research in these fields, starting from 2002. Part of this work is also a meta-review on the domain to further detail its development and structure

Innovation Policies for Small and Medium Size Enterprises in Asia: An Innovation Systems Perspective

The point of departure for this chapter is that in developing countries SMEs2 are responsible for the largest part of employment and a significant share of added value. And that innovation policy supporting the particularities of SMEs has been widely ignored (occasionally SMEs have even been discriminated). This chapter aims at shedding soe light on the immensely complicated issue of innovation policy for SMEs in developing countries, or more specifically Asian SMEs. The chapter applies the so-called regional innovation systems approach. In this paper, we analyze four clusters of SMEs that have been especially successful in entering the global market; special attention is paid to the so-called soft infrastructure, the industry specific needs for cluster (e.g. interaction) and RIS dynamics/polices (e.g. needs for devolution; industry specific needs for building knowledge creating institutions).The chapter is structured as follows. After introducing stylized facts on SMEs innovative performance attention is turned to the theoretical framework. Taking into account the localized nature of SMEs economic activity, our level of analysis is the regional system of innovation (RIS). We provide a general introduction, contextualize this to Asian situation, and introduce the industry differences (inspired by Pietrobelli and Rabelotti’s typology). Then we turn to the empirical section where special attention is paid to the four cases. Finally, we turn to drawing general conclusions on innovation policies and need for restructuring of Asian innovation systems (the accent is on the former).Innovation Policy; Developing countries; Innovation systems

Autonomic computing meets SCADA security

© 2017 IEEE. National assets such as transportation networks, large manufacturing, business and health facilities, power generation, and distribution networks are critical infrastructures. The cyber threats to these infrastructures have increasingly become more sophisticated, extensive and numerous. Cyber security conventional measures have proved useful in the past but increasing sophistication of attacks dictates the need for newer measures. The autonomic computing paradigm mimics the autonomic nervous system and is promising to meet the latest challenges in the cyber threat landscape. This paper provides a brief review of autonomic computing applications for SCADA systems and proposes architecture for cyber security

An investigation into the cloud manufacturing based approach towards global high value manufacturing for smes

Considering the high labour costs and intensive competitions in the global market, improving the effective deployment of innovative design and manufacturing and utilisation of all existing technical information, for the full life cycle of the product, is essential and much needed for manufacturing Small and Medium sized Enterprises (SMEs) in particular. Cloud Manufacturing , as a powerful tool supported with ‘big data’, will likely enable SMEs to move towards using dynamic scalability and ‘free’ available data resources in a virtual manner and to provide solution-based, value-added, digital-driven manufacturing service over the Internet. The research presented in this paper aims to develop a cloud manufacturing based approach towards value-added, knowledge/solution driven manufacturing for SMEs, where there are many constraints in engaging responsive high value manufacturing. The paper will present the framework, architecture and key moderator technologies for implementing cloud manufacturing and the associated application perspectives. The paper concludes with further discussion on the potential and application of the approach