Desen: Specification of Sociotechnical Systems via Patterns of Regulation and Control

We address the problem of engineering a sociotechnical system (STS) with respect to its stakeholders’ requirements. We motivate a two-tier STS conception comprising a technical tier that provides control mechanisms and describes what actions are allowed by the software components, and a social tier that characterizes the stakeholders’ expectations of each other in terms of norms. We adopt agents as computational entities, each representing a different stakeholder. Unlike previous approaches, our framework, Desen, incorporates the social dimension into the formal verification process. Thus, Desen supports agents potentially violating applicable norms—a consequence of their autonomy. In addition to requirements verification, Desen supports refinement of STS specifications via design patterns to meet stated requirements. We evaluate Desen at three levels. We illustrate how Desen carries out refinement via the application of patterns on a hospital emergency scenario. We show via a human-subject study that a design process based on our patterns is helpful for participants who are inexperienced in conceptual modeling and norms. We provide an agent-based environment to simulate the hospital emergency scenario to compare STS specifications (including participant solutions from the human-subject study) with metrics indicating social welfare and norm compliance, and other domain dependent metrics

Modeling forward base camps as complex adaptive sociotechnical systems

Work for this thesis focuses on managing complexity within complex adaptive sociotechnical systems by using model based systems engineering and virtual engineering tools. The hypothesis of the work is that integrated virtual models can be used to increase the understanding of these complex adaptive sociotechnical systems, resulting in a reduction in the perceived complexity. This was tested by the use of a two factor survey given to experts of a system (the customer and members of the model design team) and to a target user-group. This group received a demonstration and had hands on experience with a preliminary model of the same system. Results of the survey show that new system designers using an integrated virtual modeling tool view the system as less complex than experts involved with designing the same system without using a tool. Further data is required to support this conclusion, and a plan for gathering more data is described. The application of this method to an emergency response system is then discussed to show how it can be applied to other complex sociotechnical systems and guidelines for applying this methodology are proposed

Reclaiming human machine nature

Extending and modifying his domain of life by artifact production is one of the main characteristics of humankind. From the first hominid, who used a wood stick or a stone for extending his upper limbs and augmenting his gesture strength, to current systems engineers who used technologies for augmenting human cognition, perception and action, extending human body capabilities remains a big issue. From more than fifty years cybernetics, computer and cognitive sciences have imposed only one reductionist model of human machine systems: cognitive systems. Inspired by philosophy, behaviorist psychology and the information treatment metaphor, the cognitive system paradigm requires a function view and a functional analysis in human systems design process. According that design approach, human have been reduced to his metaphysical and functional properties in a new dualism. Human body requirements have been left to physical ergonomics or "physiology". With multidisciplinary convergence, the issues of "human-machine" systems and "human artifacts" evolve. The loss of biological and social boundaries between human organisms and interactive and informational physical artifact questions the current engineering methods and ergonomic design of cognitive systems. New developpment of human machine systems for intensive care, human space activities or bio-engineering sytems requires grounding human systems design on a renewed epistemological framework for future human systems model and evidence based "bio-engineering". In that context, reclaiming human factors, augmented human and human machine nature is a necessityComment: Published in HCI International 2014, Heraklion : Greece (2014

Dynamic Certification for Autonomous Systems

Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave predictably in varying "open world" environmental contexts that cannot be fully specified formally. As a result, assurance about autonomous systems requires us to develop new certification methods and mathematical tools that can bound the uncertainty engendered by these diverse deployment scenarios, rather than relying on static tools

Combining Green Metrics and Digital Twins for Sustainability Planning and Governance of Smart Buildings and Cities

Creating a more sustainable world will require a coordinated effort to address the rise of social, economic, and environmental concerns resulting from the continuous growth of cities. Supporting planners with tools to address them is pivotal, and sustainability is one of the main objectives. Modeling and simulation augmenting digital twins can play an important role to implement these tools. Although various green best practices have been utilized over time and there are related attempts at measuring green success, works in the published literature tend to focus on addressing a single problem (e.g., energy efficiency), and a comprehensive approach that takes the multiple facets of sustainable urban planning into consideration has not yet been identified. This paper begins with a review of recent research efforts in green metrics and digital twins. This leads to developing an approach that evaluates organizational green best practices to derive metrics, which are used for computational decision support by digital twins. Furthermore, it leverages these research results and proposes a metric-driven framework for sustainability planning that understands a city as a sociotechnical complex system. Such a framework allows the practitioner to take advantage of recent developments and provides computational decision support for the complex challenge of sustainability planning at the various levels of urban planning and governance

EXPLOITING KASPAROV'S LAW: ENHANCED INFORMATION SYSTEMS INTEGRATION IN DOD SIMULATION-BASED TRAINING ENVIRONMENTS

Despite recent advances in the representation of logistics considerations in DOD staff training and wargaming simulations, logistics information systems (IS) remain underrepresented. Unlike many command and control (C2) systems, which can be integrated with simulations through common protocols (e.g., OTH-Gold), many logistics ISs require manpower-intensive human-in-the-loop (HitL) processes for simulation-IS (sim-IS) integration. Where automated sim-IS integration has been achieved, it often does not simulate important sociotechnical system (STS) dynamics, such as information latency and human error, presenting decision-makers with an unrealistic representation of logistics C2 capabilities in context. This research seeks to overcome the limitations of conventional sim-IS interoperability approaches by developing and validating a new approach for sim-IS information exchange through robotic process automation (RPA). RPA software supports the automation of IS information exchange through ISs’ existing graphical user interfaces. This “outside-in” approach to IS integration mitigates the need for engineering changes in ISs (or simulations) for automated information exchange. In addition to validating the potential for an RPA-based approach to sim-IS integration, this research presents recommendations for a Distributed Simulation Engineering and Execution Process (DSEEP) overlay to guide the engineering and execution of sim-IS environments.Major, United States Marine CorpsApproved for public release. Distribution is unlimited

Defining the methodological challenges and opportunities for an effective science of sociotechnical systems and safety

An important part of the application of sociotechnical systems theory (STS) is the development of methods, tools and techniques to assess human factors and ergonomics workplace requirements. We focus in this paper on describing and evaluating current STS methods for workplace safety, as well as outlining a set of six case studies covering the application of these methods to a range of safety contexts. We also describe an evaluation of the methods in terms of ratings of their ability to address a set of theoretical and practical questions (e.g. the degree to which methods capture static/dynamic aspects of tasks and interactions between system levels). The outcomes from the evaluation highlight a set of gaps relating to the coverage and applicability of current methods for STS and safety (e.g. coverage of external influences on system functioning; method usability). The final sections of the paper describe a set of future challenges, as well as some practical suggestions for tackling these. Practitioner Summary: We provide an up-to-date review of STS methods, a set of case studies illustrating their use and an evaluation of their strengths and weaknesses. The paper concludes with a ‘roadmap’ for future work

Defining the methodological challenges and opportunities for an effective science of sociotechnical systems and safety

An important part of the application of sociotechnical systems theory (STS) is the development of methods, tools and techniques to assess human factors and ergonomics workplace requirements. We focus in this paper on describing and evaluating current STS methods for workplace safety, as well as outlining a set of six case studies covering the application of these methods to a range of safety contexts. We also describe an evaluation of the methods in terms of ratings of their ability to address a set of theoretical and practical questions (e.g. the degree to which methods capture static/dynamic aspects of tasks and interactions between system levels). The outcomes from the evaluation highlight a set of gaps relating to the coverage and applicability of current methods for STS and safety (e.g. coverage of external influences on system functioning; method usability). The final sections of the paper describe a set of future challenges, as well as some practical suggestions for tackling thes

Framing the FRAM: A literature review on the functional resonance analysis method

The development of the Functional Resonance Analysis Method (FRAM) has been motivated by the perceived limitations of fundamentally deterministic and probabilistic approaches to understand complex systems’ behaviour. Congruent with the principles of Resilience Engineering, over recent years the FRAM has been progressively developed in scientific terms, and increasingly adopted in industrial environments with reportedly successful results. Nevertheless, a wide literature review focused on the method is currently lacking. On these premises, this paper aims to summarise all available published research in English about FRAM. More than 1700 documents from multiple scientific repositories were reviewed through a protocol based on the PRISMA review technique. The paper aims to uncover a number of characteristics of the FRAM research, both in terms of the method's application and of the authors contributing to its development. The systematic analysis explores the method in terms of its methodological aspects, application domains, and enhancements in qualitative and quantitative terms, as well as proposing potential future research directions

Multiparametric Optimization of Complex System Management Scenarios Based on Simulation Models

This work is devoted to the development of a multiparametric optimization module for a digital management decision support tool based on simulation models. It is noted that the optimization of simulation models of complex socioeconomic and sociotechnical systems involves the generation of multiple scenarios of system development, their calculation, and further comparison, which imposes additional requirements on the optimization algorithms used. Moreover, complex socioeconomic and sociotechnical systems are characterized by a multiplicity of goals, which leads to multiparametric optimization.  The result of the work is the algorithm for solving the problem of optimization of multiparametric scenario calculations using the example of a two-parameter optimization problem. The scope of the calculation optimization problem is to form the optimal set of scenarios that will ensure satisfactory computing time and, at the same time, give a representative scenario calculation result. Thus, the contribution of the current research is to formalize the processes of optimizing the parameters of simulation models of complex systems. In the course of the study, existing approaches to process optimization are considered. Based on the analysis of existing approaches to the formation of an optimal set of scenarios, ways to improve the algorithm type using approaches to scenario reduction or the introduction of genetic algorithms for the formation of an optimal set of scenarios are proposed. This work is carried out within a project to develop a digital tool to support managerial decision-making in sociotechnical and socioeconomic systems