Unified System on Chip RESTAPI Service (USOCRS)

Abstract. This thesis investigates the development of a Unified System on Chip RESTAPI Service (USOCRS) to enhance the efficiency and effectiveness of SOC verification reporting. The research aims to overcome the challenges associated with the transfer, utilization, and interpretation of SoC verification reports by creating a unified platform that integrates various tools and technologies. The research methodology used in this study follows a design science approach. A thorough literature review was conducted to explore existing approaches and technologies related to SOC verification reporting, automation, data visualization, and API development. The review revealed gaps in the current state of the field, providing a basis for further investigation. Using the insights gained from the literature review, a system design and implementation plan were developed. This plan makes use of cutting-edge technologies such as FASTAPI, SQL and NoSQL databases, Azure Active Directory for authentication, and Cloud services. The Verification Toolbox was employed to validate SoC reports based on the organization’s standards. The system went through manual testing, and user satisfaction was evaluated to ensure its functionality and usability. The results of this study demonstrate the successful design and implementation of the USOCRS, offering SOC engineers a unified and secure platform for uploading, validating, storing, and retrieving verification reports. The USOCRS facilitates seamless communication between users and the API, granting easy access to vital information including successes, failures, and test coverage derived from submitted SoC verification reports. By automating and standardizing the SOC verification reporting process, the USOCRS eliminates manual and repetitive tasks usually done by developers, thereby enhancing productivity, and establishing a robust and reliable framework for report storage and retrieval. Through the integration of diverse tools and technologies, the USOCRS presents a comprehensive solution that adheres to the required specifications of the SOC schema used within the organization. Furthermore, the USOCRS significantly improves the efficiency and effectiveness of SOC verification reporting. It facilitates the submission process, reduces latency through optimized data storage, and enables meaningful extraction and analysis of report data

Study of Tools Interoperability

Interoperability of tools usually refers to a combination of methods and techniques that address the problem of making a collection of tools to work together. In this study we survey different notions that are used in this context: interoperability, interaction and integration. We point out relation between these notions, and how it maps to the interoperability problem. We narrow the problem area to the tools development in academia. Tools developed in such environment have a small basis for development, documentation and maintenance. We scrutinise some of the problems and potential solutions related with tools interoperability in such environment. Moreover, we look at two tools developed in the Formal Methods and Tools group1, and analyse the use of different integration techniques

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an integrated toolchain for tasks spanning the design process, including modeling, falsification, debugging, and ML component retraining. We evaluate all of these applications in an industrial case study on an experimental autonomous aircraft taxiing system developed by Boeing, which uses a neural network to track the centerline of a runway. We define runway scenarios using the Scenic probabilistic programming language, and use them to drive tests in the X-Plane flight simulator. We first perform falsification, automatically finding environment conditions causing the system to violate its specification by deviating significantly from the centerline (or even leaving the runway entirely). Next, we use counterexample analysis to identify distinct failure cases, and confirm their root causes with specialized testing. Finally, we use the results of falsification and debugging to retrain the network, eliminating several failure cases and improving the overall performance of the closed-loop system.Comment: Full version of a CAV 2020 pape

ImageJ2: ImageJ for the next generation of scientific image data

ImageJ is an image analysis program extensively used in the biological sciences and beyond. Due to its ease of use, recordable macro language, and extensible plug-in architecture, ImageJ enjoys contributions from non-programmers, amateur programmers, and professional developers alike. Enabling such a diversity of contributors has resulted in a large community that spans the biological and physical sciences. However, a rapidly growing user base, diverging plugin suites, and technical limitations have revealed a clear need for a concerted software engineering effort to support emerging imaging paradigms, to ensure the software's ability to handle the requirements of modern science. Due to these new and emerging challenges in scientific imaging, ImageJ is at a critical development crossroads. We present ImageJ2, a total redesign of ImageJ offering a host of new functionality. It separates concerns, fully decoupling the data model from the user interface. It emphasizes integration with external applications to maximize interoperability. Its robust new plugin framework allows everything from image formats, to scripting languages, to visualization to be extended by the community. The redesigned data model supports arbitrarily large, N-dimensional datasets, which are increasingly common in modern image acquisition. Despite the scope of these changes, backwards compatibility is maintained such that this new functionality can be seamlessly integrated with the classic ImageJ interface, allowing users and developers to migrate to these new methods at their own pace. ImageJ2 provides a framework engineered for flexibility, intended to support these requirements as well as accommodate future needs

Developing an Intervention Toolbox for the Common Health Problems in the Workplace

Development of the Health ↔ Work Toolbox is described. The toolbox aims to reduce the workplace impact of common health problems (musculoskeletal, mental health, and stress complaints) by focusing on tackling work-relevant symptoms. Based on biopsychosocial principles this toolbox supplements current approaches by occupying the zone between primary prevention and healthcare. It provides a set of evidence-informed principles and processes (knowledge + tools) for tackling work-relevant common health problems. The toolbox comprises a proactive element aimed at empowering line managers to create good jobs, and a ‘just in time’ responsive element for supporting individuals struggling with a work-relevant health problem. The key intention is helping people with common health problems to maintain work participation. The extensive conceptual and practical development process, including a comprehensive evidence review, produced a functional prototype toolbox that is evidence based and flexible in its use. End-user feedback was mostly positive. Moving the prototype to a fully-fledged internet resource requires specialist design expertise. The Health ↔ Work Toolbox appears to have potential to contribute to the goal of augmenting existing primary prevention strategies and healthcare delivery by providing a more comprehensive workplace approach to constraining sickness absence

On the treatment of uncertainty in Innovation Projects

The treatment of uncertainty in innovation projects is a critical aspect that must be addressed to improve project outcomes. This thesis focuses on identifying, measuring, and managing uncertainty in innovation projects, specifically emphasizing perspectives from innovation, risk management, and decision-making. The problematic aspects identified in the literature review include long incubation periods, standardized rules and procedures, non-existent market and market unfamiliarity, fuzziness in the fuzzy front end, team-based dynamic shifting capability, and selecting the right project leader. The research gap identified in the existing literature is the absence of a unified framework or toolbox that comprehensively addresses uncertainty in innovation projects. This thesis aims to fill this gap by proposing a unified toolbox to treat uncertainty effectively. The analytical direction of the research involves identifying the areas of uncertainty, measuring the impact on project outcomes, and developing a toolbox to manage and mitigate those. The research methodology adopted for this study is a qualitative case study approach, utilizing a multiple case study design. Two European Union projects – RESPONDRONE and ASSISTANCE, are selected for conducting a case study analysis. Thematic analysis is employed to derive meaningful insights and patterns from the data gathered during research. From the thematic analysis of the selected cases, five key themes are identified that significantly impact the uncertainty treatment of radical innovation projects. The key themes are- technology and innovation, communication and collaboration, adaptive project management, stakeholder engagement, and risk management. Each theme significantly impacts uncertainty treatment in the four critical areas of uncertainty- market, technological, organizational, and resource. These observations steer the study to see the treatment of uncertainty in innovation projects through the lens of existing literature. An impact assessment flowchart is developed, and a unified toolbox is proposed for better uncertainty treatment by putting things into different perspectives. This thesis concludes that the uncertainty paradigm in radical innovation projects is complex and nuanced. Rather than trying to pinpoint every aspect of it, a better approach for a project team is to understand the common areas of uncertainty generation, measure the impact of an unexpected event as soon as possible and equip themselves with a unified toolbox that can provide them the flexibility to use any tools necessary based on the context of the uncertainty

Organic Action Plans. Development, implementation and evaluation. A resource manual for the organic food and farming sector

In 2004, the European Action Plan for Organic Food and Farming was launched. Many European countries have also developed national Organic Action Plans to promote and support organic agriculture. As part of the EU funded ORGAP project (“European Action Plan of Organic Food and Farming - Development of criteria and procedures for the evaluation of the EU Action Plan for Organic Agriculture”) a toolbox to evaluate and monitor the implementation of national and European Action Plans has been developed. In order to communicate the results of this project as widely as possible, a practical manual for initiating and evaluating Organic Action Plans has been produced. This manual has been created to inspire the people, organisations and institutions involved, or with an interest, in the organic food and farming sector to engage in the initiation, review, revision and renewal of regional, national and European Organic Action Plans. The objectives of the manual are to provide: • a tool for stakeholder involvement in future Action Plan development and implementation processes at EU, national and regional level • a guide to the use of the Organic Action Plan Evaluation Toolbox (ORGAPET) developed through the project The manual summarises the key lessons learnt from more than 10 years experience of development, implementation and evaluation of Organic Action Plans throughout Europe. The Organic Action Plan Evaluation Toolbox (ORGAPET), which includes comprehensive information to support the Organic Action Plan development and evaluation process is included with the manual as a CD-ROM, and is also accessible on-line at www.orgap.org/orgapet. The ORGAP website www.orgap.org provides a further information on the project and the European and national organic action plans. Published by: Research Institute of Organic Agriculture (FiBL), Frick, Switzerland; IFOAM EU Group, Brussels Table of contents Foreword 1 1 Introduction 3 1.1 About this manual 3 1.2 Organic farming – origins, definition & principles 6 1.3 Development of organic food & farming in Europe 8 1.3.1 Organic food and farming regulation in Europe 10 1.3.2 Policy support for organic food and farming in Europe 11 2 Organic Action Plans – what are they about? 16 2.1 Why Organic Action Plans? 16 2.2 European Organic Action Plan 21 2.3 Overview of national and regional Organic Action Plans 23 3 Planning and implementing Organic Action Plans 28 3.1 Policy development 28 3.2 Defining organic sector development needs and potential 31 3.3 Defining policy goals and objectives 34 3.4 Involving stakeholders 40 3.4.1 The case for stakeholder involvement 40 3.4.2 Identifying relevant stakeholders 42 3.4.3 Participatory approaches for stakeholders involvement 44 3.5 Decision making: selecting, integrating and prioritising relevant measures 46 3.5.1 Deciding on policy instruments and action points 47 3.5.2 Priorities for action – allocating resources 50 3.6 Implementing Organic Action Plans 52 3.7 Including monitoring and evaluation of Organic Action Plans from outset 56 3.8 Managing communication 58 3.9 Development of Action Plans in countries that joined the EU in 2004 and later 59 4 Evaluating Organic Action Plans 61 4.1 Principles of evaluation 61 4.2 Conducting an evaluation 64 4.3 Evaluating Action Plan design and implementation 70 4.3.1 Evaluating programme design and implementation processes 70 4.3.2 Evaluating programme coherence 72 4.3.3 Evaluating stakeholder involvement 74 4.4 Evaluating Action Plan effects 78 4.4.1 Developing and using indicators for evaluation 78 4.5 Overall evaluation of Organic Action Plans – judging success 85 4.6 Evaluating Action Plans in countries that joined the EU in 2004 and later 89 5 Organic Action Plans – the Golden Rules 91 5.1 Key elements of Organic Action Plan development 91 5.2 The Golden rules for Organic Action Plan 93 References 96 Annex Detailed synopsis of ORGAPET 10

Europe ́s Coherence Gap in External Crisis and Conflict Management The EU’s Integrated Approach between Political Rhetoric and Institutional Practice. November 2019

The European Union (EU) aspires to play a part in conflict prevention, crisis management and post-conflict peace- building through civil and/or military operations, through stabilisation efforts, and by building resilience at home and abroad. To bring this ambition to fruition, EU institutions have gradually expanded their ‘comprehensive approach to external conflict and crisis’ (CA) to become a full-fledged ‘integrated approach to conflict and crisis’ (IA).1 In their most basic form, CAs seek coordination and coherence in responding to external conflicts and crises by adopting a system-wide ‘whole-of-government approach’ (WGA). In their more elaborate form, IAs have incorpo- rated non-traditional security concepts, variously known as conflict transformation, (non-liberal) peacebuilding and human-security approaches. In their most expansive form, IAs may even be understood to apply to external action writ large

Eco‐Holonic 4.0 Circular Business Model to Conceptualize Sustainable Value Chain Towards Digital Transition

The purpose of this paper is to conceptualize a circular business model based on an Eco-Holonic Architecture, through the integration of circular economy and holonic principles. A conceptual model is developed to manage the complexity of integrating circular economy principles, digital transformation, and tools and frameworks for sustainability into business models. The proposed architecture is multilevel and multiscale in order to achieve the instantiation of the sustainable value chain in any territory. The architecture promotes the incorporation of circular economy and holonic principles into new circular business models. This integrated perspective of business model can support the design and upgrade of the manufacturing companies in their respective industrial sectors. The conceptual model proposed is based on activity theory that considers the interactions between technical and social systems and allows the mitigation of the metabolic rift that exists between natural and social metabolism. This study contributes to the existing literature on circular economy, circular business models and activity theory by considering holonic paradigm concerns, which have not been explored yet. This research also offers a unique holonic architecture of circular business model by considering different levels, relationships, dynamism and contextualization (territory) aspects