The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Owing to the semantic ambiguities, it has hindered the promotion of IEC 61499 in the field of industrial automation. In order to solve the thorny problem, this paper proposes an implementation scheme for performing formal modeling and simulation verification of semantics of functional block networks. Based on the synchrony hypothesis, the formal execution model is defined according to the fixed point...
In this paper, a formal framework for component-based embedded systems is presented. Resorting to such a framework, the soundness, congruence and completeness of system structures and behaviors can be derived. The framework involves various MoCs reflecting interacting rules and operational semantics for system behaviors and a formal language specifying definitions, axioms, transition rules or equations/inequations...
For computer-controlled systems (CCSs), actual sampling intervals inevitably deviate from its nominal sampling period, called sampling interval jitter (SIJ), which may degrade control performance and even unstabilize control systems. So it should be accounted for at design time. The model of CCSs with SIJ is presented and its effects on CCSs is illustrated by simulation. The model developed costs...
As a typical complex embedded computer control system, computer numerical control(CNC) system development is confronted with a great challenge because of its specific requirements as well as some recent development trends such as ever more complex products while at lower prices and shorter develop cycle. In this paper, a model driven methodology for CNC system design and development is presented,...
With the complex function and high performance demands, the computer numerical control (CNC) system development faces great challenges. Transitional development methodology such as code-centric by hand, component based, model driven development (MDD) for CNC development were not suitable for nowadays CNC system development. A new development approach for CNC system development is necessary. Then aim...
A component-based model integration approach for the embedded computer control system (ECS) development is proposed in this paper. The three-layer architecture for modeling, verification as well as implementation is described. Model strategies such as multi-aspect & multi-view description method, DSML (domain specific modeling language) & FML(formal modeling language) description method as...
After analyzing the shortcomings of traditional code-centric development process for embedded computer numeric control (CNC), this paper presents a new approach: Embedded cNc Development based on modEl Driven (ENDED) which enjoys the advantages of model-driven development (MDD) and domain specific modeling (DSM). This approach is a model-based methodology which includes three parts: construction of...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.