Controller Area Network Discrete-Event System Specification For Independent Node Testing

Discrete Event Systems Specification (DEVS) formalism supports the specification of discrete event models in a hierarchical and modular manner. Efforts have been made to develop the simulation environments for the modeling and simulation (M&S) of systems using DEVS formalism, particularly in defense M&S domains. This paper introduces the DEVSim++ toolset and its applications. The Object-Analysis Index (OAI) matrix is a tabular form of objects and analysis indices for requirements analysis. DEVSim++ is a realization of DEVS formalism in C++ for M&S. VeriTool is a DEVS model verification tool. DEVSimHLA is a library to support High-level Architecture (HLA) in DEVSim++. Other tools, including KComLib, FOM2CPPClass, and KHLAAdaptor, are used to develop a smart adaptor that allows for the interoperation of simulators of any kind. PlugSim is a distributed simulation framework using plug-in methods. These tools are utilized in every stage of the M&S development process, as well as in every application of the M&S missions to the military domain. Accordingly, the applications implemented by the toolset are used in the training, analytic, and acquisition missions of the Republic of Korea military branches. We expect the DEVS applications to become more prolific as M&S demands grow, and our toolset is already proven as complete and efficient in the domain of defense M&S.

시뮬레이션 프레임워크는 시뮬레이션 응용 프로그램의 개발을 지원하는 기반 소프트웨어이다. 본 논문은 공학용 프로그래밍 언어로 광범위하게 사용되는 매트랩을 이용하여 개발된 이산사건시뮬레이션 프레임워크의 개발 과정을 기술하고 있다. 매트랩 객체지향프로그래밍을 토대로 새롭게 개발된 프레임워크는 매트랩 언어의 편리성과 이산사건시뮬레이션 형식론(DEVS: Discrete EVent System Specification Formalism)이 가지는 뛰어난 개발 방법론을 결합시킴으로써 무기체계 교전 시뮬레이션 프로그램 개발에서 요구되는 생산성, 유연성, 확장성을 제공한다. 더불어 매트랩의 병렬컴퓨팅 기술을 적용한 배치(Batch) 시뮬레이션 기능을 제공함으로써 몬테카를로 시뮬레이션 수행시 컴퓨터 환경에서 지원되는 CPU 코어의 수에 비례하여 응용 프로그램의 연산성능을 향상시킨다. Simulation Framework is a basic software tool used to develop simulation applications. This paper describes the development of a discrete event simulation framework based on DEVS(Discrete EVent System Specification) formalism, using MATLAB language which is widely used in technical computing and engineering disciplines. The newly developed framework utilizing MATLAB object oriented programming combines the convenience of MATLAB language and the sophisticated architecture of the DEVS formalism. Hence, it supports the productivity, flexibility, extensibility that are required for the simulation application software development of the weapon systems engagement. Moreover, it promises a simulation application the increased the computation speed proportional to the number of CPU of a multi-core processor, providing the batch simulation functionality based on MATLAB parallel computing technology.

In this chapter, we formalize the multi-perspective architecture framework using the system-theoretic paradigm provided by the discrete event system specification (DEVS) formalism. The developed integration approach that allows linking up the isolated perspectives has been formalized through a concept based upon DEVS formalism called parameterized DEVS, whereby concurrent simulation processes cause live update through output-to-parameter integration. This sets up the basis for development of DEVS-based holistic models for efficient management of healthcare systems. Results of real case-based simulations are presented to show how holistic models provide new insights not heretofore attainable with unit and facility specific models.

The Routed Discrete Event System Specification (RDEVS) is a modular and hierarchical Modeling and Simulation (M&S) formalism based on the Discrete Event System Specification (DEVS) formalism that provides a set of design models for dealing with routing problems over DEVS. At the formal level, RDEVS models (as DEVS models themselves) are defined mathematically. However, software implementations of both formalisms are based on an object-oriented paradigm. Furthermore, at the implementation design level, the RDEVS formalism is represented by a conceptual model that uses DEVS simulators as execution engines. Even when RDEVS models can be executed with DEVS simulators, the resulting data (obtained as execution outputs) remains DEVS-based, restricting the study of event flows between models influenced by routing policies. This paper shows how the RDEVS formalism design was enhanced to include event tracking in the models without altering their expected behavior during simulation. Such an improvement is based on adding new features to existing RDEVS components. These features are defined as trackers, which are responsible for getting structured data from events exchanged during RDEVS executions. The proposed solution employs the Decorator pattern as a software engineering option to achieve the required goal. It was deployed as a Java package attached to the RDEVS library, devoted to collecting structured event flow data using JavaScript Object Notation (JSON). The results highlight the modeling benefits of adding event tracking to the original capabilities of the RDEVS formalism. For the M&S community, the novel contribution is an advance in understanding how best modeling practices of software engineering can be used to enhance their software tools in general and the RDEVS formalism in particular.

<span lang="EN-US">Real-time communication is important in control network. In real-time communication, message need to be delivered from source to destination within specification. Embedded Ethernet and Controller Area Network (CAN) protocol can be used in control network to achieve hard real-time communication. For embedded Ethernet protocol, Carrier Sense Multiple Access with Collision Detection (CSMA/CD) is the media access control (MAC) used to control data transmission between nodes in network. Back-off algorithm in CSMA/CD is used to handle packet collisions and retransmission. For CAN protocol, it is communication protocol developed mainly for automotive application. It has priority arbitration to handle collisions and retransmission. In this project, embedded Ethernet network models and CAN network models are developed and simulated in MATLAB Simulink software. Several back-off algorithms, which are Binary Exponential Backoff (BEB), Linear Back-off Algorithm, Exponential-Linear back-off Algorithm and Logarithm Back-off Algorithm are proposed and implemented into Embedded Ethernet network model to evaluate the performance. Both embedded Ethernet and CAN network models are extended to 3 nodes, 10 nodes, and 15 nodes to evaluate performance at different network condition. The performance criteria evaluated and discussed are average delay and jitter of packets. The results show that in network with high number of nodes, Linear Back-off Algorithm and Exponential-Linear back-off Algorithm shows improvement in packets delay and jitter. For CAN network, the packet jitter is relatively low.</span>

<div class="section abstract"><div class="htmlview paragraph">The amount of data communicated in automotive networks is increasing rapidly, leading to more complex systems alongside the rising number of Electronic Control Units (ECUs) in modern vehicles. As the number of ECUs has risen, Controller Area Network (CAN) communication bandwidth has been pushed to its limit. Existing solutions - such as using multiple CAN buses, sending multiple CAN frames or switching to another protocol - require a significant system-design effort and replacement of hardware and software. This has paved the way for CAN Flexible Data-rate (CAN FD), which extends the CAN standard and permits significantly higher data rates, enabling faster firmware upgrades. However, some changes must be made like: exchange the classical CAN microcontroller with a CAN FD microcontroller and also a CAN FD transceiver must be used.</div><div class="htmlview paragraph">This article will explore the benefits of CAN FD, how it compares with the classical CAN protocol, requirements for systems and how to introduce CAN FD into existing CAN networks.</div></div>

DEVS-C++, a high-performance environment for modeling large-scale systems at high resolution, uses the DEVS (Discrete-EVent system Specification) formalism to represent both continuous and discrete processes. A prototype suggests that the DEVS formalism can be combined with genetic algorithms running in parallel to serve as the basis of a very general, very fast class of simulation environments.

The industry has experienced significant advancements in recent years, primarily focusing on smart manufacturing, culminating in the Industry 4.0 (I4.0) revolution I4.0 emphasizes interconnectivity, real time data capture and transmission among machines, autonomy, and machine learning, providing manufacturing companies numerous growth opportunities. The Industrial Internet of Things (IIoT) is a core component of this revolution, becoming integral to each system and increasing complexity due to the vast number of interconnected devices and diverse physical components. The variety of virtual services distributed across the architectural layers of industrial systems (cloud, fog, edge) and the various connection types between IIoT devices introduce security and privacy challenges, which are critical issues for any system incorporating IIoT. To fully leverage IIoT’s potential, addressing these security and privacy concerns is essential. Research and design in this domain are challenging, particularly when creating a simulation environment to study a system’s behavior over time. Despite the extensive research in IoT and the significant benefits of simulation based approaches, there remains a challenge in creating detailed representations from the underlying IoT nodes to the application layer in the cloud, along with the underlying networking infrastructure. To assist researchers and practitioners in overcoming these challenges, we propose the Discrete Event System Specification (DEVS) formalism. DEVS provides a mathematical framework for modeling systems, whether discrete or continuous events, allowing for the simulation of these systems within the DEVS environment. Every system, whether real or conceptual, has a time base, inputs, outputs, and functions to determine the next state, as well as outputs that reflect the current state and inputs. Simulating the system within the DEVS environment allows one to study its behavior to predict and optimize performance patterns.

Controller area network (CAN) data-reduction techniques have been developed to reduce CAN bus loads, which have increased due to the large number of electronic control units in modern automobiles. Automotive communication uses various in-vehicle network. These techniques make it possible that same information to be sent using less bandwidth. However, the existing CAN DR algorithms only consider the CAN network. Automotive communication uses various in-vehicle network (IVN) protocols such as CAN, FlexRay, and Ethernet. The use of DR techniques may cause compatibility issue in heterogenous IVNs. This paper proposes a gateway system for data-reduced communication between Ethernet and CAN systems with data-reduction. The proposed gateway system receives a compressed CAN message, decompresses it, and transmits it to the Ethernet network. Additionally, the gateway receives a normal Ethernet message, compresses it, and transmits it to the CAN protocol. An evaluation of the performance of the developed gateway system is also presented.

A hybrid model is a combination of models developed in various simulation development environments. A war game model is a kind of hybrid model and consists of multiple level models. Engineering level models are interested in the change of values via time and process mathematical equations, and most of them are developed in MALTAB/Simulink. Engagement level models are concerned about state transitions by events and modeled using the Discrete Event Systems Specification (DEVS) formalism. This paper proposes a framework for interoperation of simulation tools for engineering and engagement level models simulation. The framework employs the High Level Architecture (HLA) to reuse existing models and suggests specific interfaces for MATLAB/Simulink. The proposed framework is demonstrated through simulation of a simple war game model including heterogenous models.

선박에 현대화된 다양한 항해장비들이 설치됨에도 불구하고 여전히 해양사고가 자주 일어나는데, 이런 사고의 주요 형태 중 하나가 충돌 사고이다. 우리나라 해양사고의 약 1/4이 충돌에 의한 사고이고, 이 중 대부분이 인적오류가 원인인 것으로 알려져 있다. 따라서, 항해사의 의사결정을 도울 수 있는 지능적인 지원 도구가 필요한데, 이와 관련하여 충돌위험을 추정하는 다양한 방식들이 꾸준히 소개되어 왔으며 충돌위험 상황에 대해 사람에게 친숙한 언어적 표현을 반영하여 추론하기 위해 퍼지를 활용한 연구 결과들이 많다. 이런 기존 연구들의 충돌위험도는 현재시점에서 선박들의 속도나 방향 상태가 유지되는 것을 기준으로 충돌위험도를 추정한다. 그러나, 실제 선박에서는 충분히 피항 가능 상황임에도 불구하고 충돌 위험으로 판단되어 잦은 경고를 울리는 시스템들에 대해 항해사들이 느끼는 불편함이 적지 않아 보조 장치들의 알람 기능을 꺼놓은 경우도 많은 것으로 알려져 있다. 이 연구는 선박들의 일반적인 피항 패턴을 반영한 가까운 미래 시점의 충돌위험도 예측에 관한 것으로서, 퍼지추론과 DEVS 형식론에 기반한 충돌 위험 예측 모델을 제안한다. Even thought modernized marine navigation devices help navigators, marine accidents has been often occurred and ship collision is one of the main types of the accidents. Various studies on the assessment method of collision risk have been reported, and studies using fuzzy theory are remarkable for the reason that reflect linguistic and ambiguous criteria for real situations. In these studies, collision risks were assessed on the assumption that the current state of navigation ship would be maintained. However, navigators ignore or turn off frequent alarms caused by the devices predicting collision risk, because they think that they can avoid the collisions in the most of situations. This paper proposes a model of predicting ship collision risk considering the general patterns of collision avoidance, and the approach is based on fuzzy inference and discrete event system specification (DEVS) formalism.

Employing Modeling and Simulation (M&S) extensively to analyze and develop complex systems is the norm today. The use of robust M&S formalisms and rigorous methodologies is essential to deal with complexity. Among them, the Discrete Event System Specification (DEVS) provides a solid framework for modeling structural, behavior and information aspects of any complex system. This gives several advantages to analyze and design complex systems: completeness, verifiability, extensibility, and maintainability. DEVS formalism has been implemented in many programming languages and executable on multiple platforms. In this paper, we describe the features of an M&S framework called xDEVS that builds upon the prevalent DEVS Application Programming Interface (API) for both modeling and simulation layers, promoting interoperability between the existing platform‐specific (C++, Java, Python) DEVS implementations. Additionally, the framework can simulate the same model using sequential, parallel, or distributed architectures. The M&S engine has been reinforced with several strategies to improve performance, as well as tools to perform model analysis and verification. Finally, xDEVS also facilitates systems engineers to apply the vision of model‐based systems engineering (MBSE), model‐driven engineering (MDE), and model‐driven systems engineering (MDSE) paradigms. We highlight the features of the proposed xDEVS framework with multiple examples and case studies illustrating the rigor and diversity of application domains it can support.

DISCRETE EVENT BASED APPROACH TO THE SIMULATION OF A CONTINUOUS NAVAL SYSTEM

In manufacturing systems, Controller Area Network (CAN) based systems has been widely used. Hence the reliability of the Controller Area Network has become increasingly important. In order to ensure production safety and reduce unnecessary maintenance costs, evaluating the reliability of a CAN network becomes necessary. The reliability of the CAN network can be assessed by determining the status of nodes and predicting the times of each node reaching its bus off states using node transmit error counter (TEC) values. However, the TEC values of the nodes cannot be accessible online in most industrial applications. This paper presents a novel method for node TEC value estimation based on the segmented discrete time Markov chains using network error information. We also consider the special scenario where data frame arbitration area is damaged by the error so that node identifier (ID) information of the interrupted data frame cannot be identified. Case studies are carried out to demonstrate the effectiveness of proposed method. Experiment results show that the estimation results using the proposed method agree well with actual observations.

Virtual instrumentation has experienced significant advancements in recent decades, providing efficient and reliable solutions for the connection and communication of electronic devices in various applications. This article explores the most relevant developments in the field, focusing on the integration of Controller Area Network (CAN) networks and microcontrollers in distributed sensor projects. The article also presents a case study in which a CAN network is implemented along with the ESPWroom32 microcontroller in a distributed sensor project for alcoholic beverage production. The sensors used in each stage of the process, such as ultrasonic, load, water level, and motion sensors, are described, highlighting the importance of redundancy in monitoring critical parameters to ensure safety and proper process operation.