عنوان

Languages and tools for hybrid systems design /

شابک

193301928X

شابک

1933019786

شابک

9781933019284

شابک

9781933019789

شماره

b796869

عنوان اصلي

Languages and tools for hybrid systems design /

نام عام مواد

[Book]

نام نخستين پديدآور

Luca P. Carloni [and others].

محل نشرو پخش و غیره

Hanover, Mass. :

نام ناشر، پخش کننده و غيره

Now Publishers,

تاریخ نشرو بخش و غیره

2006.

نام خاص و کميت اثر

1 online resource (ix, 194 pages) :

ساير جزييات

illustrations (some color)

عنوان فروست

Foundations and trends in electronic design automation,

مشخصه جلد

v. 1, issue 1/2

شاپا ي ISSN فروست

1551-3947 ;

متن يادداشت

Offprint of Foundations and trends in electronic design automation. Vol. 1, no. 1/2, p. 1-193, 2006.

متن يادداشت

Title from PDF title page (viewed July 10, 2008).

متن يادداشت

Includes bibliographical references (pages 183-194).

متن يادداشت

Abstract -- 1. Introduction -- 2. Foundations -- 3. Tools for simulation -- 4. Tools for formal verification -- 5. Comparative summary -- 6. The future : towards the development of a standard interchange format -- Acknowledgements -- References.

بدون عنوان

0

متن يادداشت

The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are safety-critical systems, such as transportation systems (e.g., airplanes, cars, and trains), industrial plants and health care monitoring. The difficulties reside in accommodating constraints both on functionality and implementation. The correct behavior must be guaranteed under diverse states of the environment and potential failures; implementation has to meet cost, size, and power consumption requirements. The design is therefore subject to extensive mathematical analysis and simulation. However, traditional models of information systems do not interface well to the continuous evolving nature of the environment in which these devices operate. Thus, in practice, different mathematical representations have to be mixed to analyze the overall behavior of the system. Hybrid systems are a particular class of mixed models that focus on the combination of discrete and continuous subsystems. There is a wealth of tools and languages that have been proposed over the years to handle hybrid systems. However, each tool makes different assumptions on the environment, resulting in somewhat different notions of hybrid system. This makes it difficult to share information among tools. Thus, the community cannot maximally leverage the substantial amount of work that has been directed to this important topic. In this paper, we review and compare hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. We conclude our review with a comparative summary, which suggests the need for a unifying approach to hybrid systems design. As a step in this direction, we make the case for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations.

منبع سفارش / آدرس اشتراک

01251032

عنوان

Languages and Tools for Hybrid Systems Design.

شماره استاندارد بين المللي کتاب و موسيقي

9781933019284

موضوع مستند نشده

Hybrid computers-- Programming.

موضوع مستند نشده

Hybrid systems-- Computer simulation.

موضوع مستند نشده

Hybrid systems-- Design-- Data processing.

موضوع مستند نشده

Hybrid systems-- Mathematical models.

موضوع مستند نشده

Programming languages (Electronic computers)

موضوع مستند نشده

System analysis-- Computer programs.

موضوع مستند نشده

Hybrid computers-- Programming.

موضوع مستند نشده

Programming languages (Electronic computers)

موضوع مستند نشده

System analysis-- Computer programs.

موضوع مستند نشده

TECHNOLOGY & ENGINEERING-- Automation.

موضوع مستند نشده

TEC-- 004000

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Carloni, Luca P.

تاريخ عمليات

20201207094100.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y