Model-Driven Design Using IEC 61499: A Synchronous Approach by Li Hsien Yoong, Partha S. Roop, Zeeshan E. Bhatti, Matthew

By Li Hsien Yoong, Partha S. Roop, Zeeshan E. Bhatti, Matthew M. Y. Kuo

This e-book describes a singular method for the layout of embedded structures and business automation platforms, utilizing a unified model-driven procedure that's acceptable in either domain names. The authors illustrate their method, utilizing the IEC 61499 normal because the major automobile for specification, verification, static timing research and automatic code synthesis. the well known synchronous process is used because the major car for outlining an unambiguous semantics that guarantees determinism and impasse freedom. The proposed process additionally guarantees very effective implementations both on small-scale embedded units or on industry-scale programmable automation controllers (PACs). it may be used for either centralized and dispensed implementations. considerably, the proposed procedure can be utilized with no the necessity for any run-time aid. This method, for the 1st time, blurs the space among embedded platforms and automation structures and will be utilized in wide-ranging functions in car, robotics, and commercial regulate structures. a number of real looking examples are used to illustrate for readers how the technique can allow them to lessen the time-to-market, whereas bettering the layout caliber and productivity.

Show description

Read or Download Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems PDF

Similar microprocessors & system design books

Microprocessor Design: A Practical Guide from Design Planning to Manufacturing

This specific step by step advisor is an entire creation to fashionable microprocessor layout, defined in basic nontechnical language with out advanced arithmetic. a fantastic primer for these operating in or learning the semiconductor undefined, Microprocessor layout explains the entire key techniques, phrases, and acronyms had to comprehend the stairs required to layout and manufacture a microprocessor.

Logic Synthesis Using Synopsys®

Common sense Synthesis utilizing Synopsys®, moment variation is for an individual who hates studying manuals yet may nonetheless prefer to study good judgment synthesis as practised within the actual international. Synopsys layout Compiler, the top synthesis software within the EDA industry, is the first concentration of the booklet. The contents of this ebook are in particular equipped to help designers conversant in schematic capture-based layout to boost the mandatory services to successfully use the Synopsys layout Compiler.

Computational Intelligence: Methods and Techniques

This booklet makes a speciality of numerous options of computational intelligence, either unmarried ones and people which shape hybrid equipment. these strategies are this present day typically utilized problems with synthetic intelligence, e. g. to technique speech and usual language, construct professional structures and robots. the 1st a part of the booklet offers equipment of data illustration utilizing diversified strategies, particularly the tough units, type-1 fuzzy units and type-2 fuzzy units.

Time-Triggered Communication

Time-Triggered communique is helping readers construct an figuring out of the conceptual beginning, operation, and alertness of time-triggered conversation, that's widespread for embedded platforms in a various variety of industries. This publication assembles contributions from specialists that study the variations and commonalities of the main major protocols together with: TTP, FlexRay, TTEthernet, SAFEbus, TTCAN, and LIN.

Extra resources for Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems

Sample text

The subsequent execution may generate other events, which may, in turn, trigger the execution of other function blocks. In the presence of multiple events, usually a queuing mechanism is used to service events one at a time. Thus, the behaviour of the overall system depends on the event queue and its management. IEC 61499 run-time environments that adopt this execution approach are FBRT [42], FORTE [1] and FUBER [29]. The alternate approach for scheduling function blocks is the cyclic execution model, which resembles the PLC scan cycle.

6 Formal Model for Function Block Systems The IEC 61499’s rich notations—consisting of block diagrams, graphical state machines and conventional textual algorithms—enable system-level designs to be intuitively done. Automated verification and code synthesis are possible side effects of such system-level designs. However, in order for this to be realized, a formal definition of function block semantics is necessary so that everything that manipulates a function block program, including the designer, may clearly envisage the meaning of the program.

12) can be expected to provide the desired outcome. This section provides an overview of the semantic concepts, which will be further elaborated in Chap. 4. e. rules defining how to execute ECCs and their interconnections. The execution semantics can be realized via a run-time environment (which is analogous to a scheduler in an OS kernel) that takes on the responsibility of scheduling events, function blocks and the data transfer between them. An alternate approach embeds these semantics within the generated code, thus making the execution independent of any run-time environment.

Download PDF sample

Rated 4.02 of 5 – based on 42 votes