Agricultural traceability model based on IoT and Blockchain: Application in industrial hemp production

Facilities based on the Internet of Things and embedded systems along with the application of ambient intelligence paradigms offer new scenarios for optimization services in agronomic processes, specifically in the hemp industry. The traceability of products and activities demonstrates the scope of these technologies. However, the technologies themselves introduce integration-related problems that can affect the planned benefits. This article proposes a model that balances agricultural expert knowledge (user-centered design), value chain planning (through blockchain implementation), and digital technology (Internet of Things protocols) for providing tamper proof, transparent, and secure traceability in this agricultural sector. The proposed approach is backed by a proof-of-concept implementation in a realist scenario, using embedded devices and a permissioned blockchain. The model and its deployment fully integrate a set of services that other proposals only partially integrate. On one hand, the design creates a permissioned blockchain that contemplates the different actors in the value chain, and on the other hand, it develops services that use applications with human-machine interfaces. Finally, it deploys a network of embedded devices with Internet of Things protocols and control algorithms with automated access to the blockchain for traceability services. Combining digital systems with interoperable human tasks it has been possible to deploy a model that provides a new approach for the development of value-added services

Formal Compositional Semantics for Yakindu Statecharts

Many of today’s safety-critical systems are reactive, embedded systems. Their internal behavior is usually represented by state-based models. Furthermore, as the tasks carried out by such systems are getting more and more complex, there is a strong need for compositional modeling languages. Such modeling formalisms start from the component-level and use composition to build the system-level model as a collection of simple modules. There are a number of solutions supporting the model-based development of safety-critical embedded systems. One of the popular open-source tools is Yakindu, a statechart editor with a rich language and code generation capabilities. However, Yakindu so far lacks support for compositional modeling. This paper proposes a formal compositional language tailored to the semantics of Yakindu statecharts. We propose precise semantics for the composition to facilitate formal analysis and precise code generation. Based on the formal basis laid out here, we plan to build a complete tool-chain for the design and verification of component- based reactive systems

Digitizing the field: designing ERP systems for Triple-A humanitarian supply chains

Purpose: The purpose of this study is to explore what design principles need to be considered in Enterprise Resource Planning (ERP) systems for humanitarian organizations (HOs) to enable agile, adaptive and aligned (Triple-A) humanitarian supply chain capabilities and digitize humanitarian operations. Design/methodology/approach: This study follows an embedded case study approach with ahumanitarian medical relief organization, Medecins Sans Frontieres (MSF), which engaged in a multiyear ERP design at its humanitarian field missions. Findings: This research shows that ERP systems for humanitarian organizations should be designed asunique systems addressing humanitarian organizations' challenges and unique missions, their valuegeneration processes, and resource base in an effort to improve organizational performance. This study presents 12 general design principles that are unique for humanitarian organizations. These design principle sprovide a high-level structure of guidance under which specific requirements can be further defined and engineered to achieve success. Research limitations/implications: The results of this study are based on a single case study limiting generalizability. However, the case study was analyzed and presented as an embedded case study with five autonomous subunits using different business processes and following different adoption and implementation approaches. Therefore, the findings are derived based on considerable variance reflective of humanitarian organizations beyond MSF. Practical implications: This study recognizes that HOs have unique routines that standard commercial ERP packages do not address easily at the field level. The primary contribution of this research is a set of design principles that consider these unique routines and guide ERP development in practice. National and international HOs that are planning to implement information systems, private companies that are trading partners of HOs as well as vendors of ERP systems that are looking for new opportunities would all benefitfrom this research. Originality/value: This study fills the gap in the humanitarian literature regarding the design of ERPsystems for humanitarian organizations that enable Triple–A supply chain capabilities and it advances the knowledge of the challenges of ERP design by HOs in the context of humanitarian operations

AADLib, A Library of Reusable AADL Models

The SAE Architecture Analysis and Design Language is now a well-established language for the description of critical embedded systems, but also cyber-physical ones. A wide range of analysis tools is already available, either as part of the OSATE tool chain, or separate ones. A key missing elements of AADL is a set of reusable building blocks to help learning AADL concepts, but also experiment already existing tool chains on validated real-life examples. In this paper, we present AADLib, a library of reusable model elements. AADLib is build on two pillars: 1/ a set of ready-to- use examples so that practitioners can learn more about the AADL language itself, but also experiment with existing tools. Each example comes with a full description of available analysis and expected results. This helps reducing the learning curve of the language. 2/ a set of reusable model elements that cover typical building blocks of critical systems: processors, networks, devices with a high level of fidelity so that the cost to start a new project is reduced. AADLib is distributed under a Free/Open Source License to further disseminate the AADL language. As such, AADLib provides a convenient way to discover AADL concepts and tool chains, and learn about its features

Sequence-Based Specification of Embedded Systems

Software has become integral to the control mechanism of modern devices. From transportation and medicine to entertainment and recreation, embedded systems integrate fundamentally with time and the physical world to impact our lives; therefore, product dependability and safety are of paramount importance. Model-based design has evolved as an effective way to prototype systems and to analyze system function through simulation. This process mitigates the problems and risks associated with embedding software into consumer and industrial products. However, the most difficult tasks remain: Getting the requirements right and reducing them to precise specifications for development, and providing compelling evidence that the product is fit for its intended use. Sequence-based specification of discrete systems, using well-chosen abstractions, has proven very effective in exposing deficiencies in requirements, and then producing precise specifications for good requirements. The process ensures completeness, consistency, and correctness by tracing each specification decision precisely to the requirements. Likewise, Markov chain based testing has proven effective in providing evidence that systems are fit for field use. Model-based designs integrate discrete and continuous behavior; models have both hybrid and switching properties. In this research, we extend sequence-based specification to explicitly include time, continuous functions, nondeterminism, and internal events for embedded real-time systems. The enumeration is transformed into an enumeration hybrid automaton that acts as the foundation for an executable model-based design and an algebraic hybrid I/O automaton with valuable theoretical properties. Enumeration is a step-wise problem solving technique that complements model-based design by converting ordinary requirements into precise specifications. The goal is a complete, consistent, and traceably correct design with a basis for automated testing

FPGA implementation of embedded fuzzy controllers for robotic applications

Fuzzy-logic-based inference techniques provide efficient solutions for control problems in classical and emerging applications. However, the lack of specific design tools and systematic approaches for hardware implementation of complex fuzzy controllers limits the applicability of these techniques in modern microelectronics products. This paper discusses a design strategy that eases the implementation of embedded fuzzy controllers as systems on programmable chips. The development of the controllers is carried out by means of a reconfigurable platform based on field-programmable gate arrays. This platform combines specific hardware to implement fuzzy inference modules with a general-purpose processor, thus allowing the realization of hybrid hardware/soffivare solutions. As happens to the components of the processing system, the specific fuzzy elements are conceived as configurable intellectual property modules in order to accelerate the controller design cycle. The design methodology and tool chain presented in this paper have been applied to the realization of a control system for solving the navigation tasks of an autonomous vehicle

Multi - mechanism coalescence design and matrix expression of logic action sequences of the over-turn nursing robot Part I: Functions and coalescence design

In order to effectively solve the problem in over-turn of a bedridden person with the assistance of external force, a double bed face- three embedded leave over-turn nursing robot with the flexible compensation was put forward, with the abstraction of the bedridden person as an organism. This robot, on the basis of concept gesture of the person in bed and the state of the robot supporting and proving the gesture with the actions and combination of the two bed faces, held the complete function of over-turn nursing with 7 states corresponding to 5 gestures of the bedridden person obeying the fundamental requirements of safety, rapidity, and comport. The design method of "PS-MM-KD" was proposed for multi-mechanism coalescent system with related specific tasks induced from the original problems with Systems Engineering. Mechanics and Mechanisms, then applied in the concrete sub-system design followed by analysis and verification of both the scheme and the sub-systems in the design, using the Kinematics and Dynamics, implementing the gears, chain wheel, slewing mechanism, screw nut and mortise and tenon joint type clutch mechanism design successfully. Based on those above, a "two-bed face/three-leaf embedded flexible compensation nursing robot" was designed adopting to all ages, people of various kinds of body geometry. PLC, sensor and logic algorithm were used to carry out the control and operation of 7 state-5 posture sequences for realization of the automation and intelligent over-turning in safety, comfort, and convenience

FPGA Implementation of Embedded Fuzzy Controllers for Robotic Applications

Fuzzy-logic-based inference techniques provide efficient solutions for control problems in classical and emerging applications. However, the lack of specific design tools and systematic approaches for hardware implementation of complex fuzzy controllers limits the applicability of these techniques in modern microelectronics products. This paper discusses a design strategy that eases the implementation of embedded fuzzy controllers as systems on programmable chips. The development of the controllers is carried out by means of a reconfigurable platform based on field-programmable gate arrays. This platform combines specific hardware to implement fuzzy inference modules with a general-purpose processor, thus allowing the realization of hybrid hardware/software solutions. As happens to the components of the processing system, the specific fuzzy elements are conceived as configurable intellectual property modules in order to accelerate the controller design cycle. The design methodology and tool chain presented in this paper have been applied to the realization of a control system for solving the navigation tasks of an autonomous vehicle. © 2007 IEEE.Ministerio de Educación y Ciencia TEC2005-04359/MIC y DPI2005-02293Junta de Andalucía TIC2006-635 y TEP2006-37