Информация о книге

0792399366

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Прикладное программное обеспечение » Системы автоматического проектирования » Hardware-Software Co-Design of Embedded Systems: The Polis Approach (Kluwer International Series in Engineering and Computer Science, 404)

Balarin F., Chiodo M., Giusto P., Hsieh H., Jurecska A., Lavagno L., Passerone C., Sangiovanni-Vincentelli A., Sentovich E., Suzuki K., Hardware-Software Co-Design of Embedded Systems: The Polis Approach (Kluwer International Series in Engineering and Computer Science, 404)

, 0792399366


Описание книги

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). Embedded systems are often used in life-critical situations, where reliability and safety are more important criteria than performance. Today, embedded systems are designed with an ad hoc approach that is heavily based on earlier experience with similar products and on manual design. Use of higher-level languages such as C helps structure the design somewhat, but with increasing complexity it is not sufficient. Formal verification and automatic synthesis of implementations are the surest ways to guarantee safety. Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the...

Ключевые слова


  Suzuki 


Поделиться ссылкой на книгу




Об авторе

Balarin F.

Chiodo M.

Giusto P.

Hsieh H.

Jurecska A.

Lavagno L.

Passerone C.

Sangiovanni-Vincentelli A.

Sentovich E.

Suzuki K.


Последние поступления в рубрике "Системы автоматического проектирования"



КОМПАС-3D для школьников. Черчение и компьютерная графика. Учебник КОМПАС-3D для школьников. Черчение и компьютерная графика. Учебник Баранова И.В.

Учебное пособие предназначено для учащихся общеобразовательных учебных заведений, изучающих черчение и компьютерную графику. Учебная версия системы КОМПАС-ЗDLT входит в состав Стандартного базового пакета программного обеспечения Первая Помощь,......

AutoCAD 2020. Полное руководство AutoCAD 2020. Полное руководство Жарков Н.В.

Данная книга представляет собой превосходное практическое руководство по AutoCAD 2020. Предназначена всем, кто хочет освоить работу с этой программой и научиться чертить и проектировать на компьютере. Написана известным автором-профессионалом, имеющим......

AutoCAD AutoCAD Полещук Н.К.

Книга предназначена для освоения методики создания двумерных объектов и трехмерных моделей в системе AutoCAD. Охвачены все последние версии, начиная с 2015-й. Продемонстрированы подходы к созданию графических документов и технология стилей (текста,......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Balarin F., Chiodo M., Giusto P., Hsieh H., Jurecska A., Lavagno L., Passerone C., Sangiovanni-Vincentelli A., Sentovich E., Suzuki K., Hardware-Software Co-Design of Embedded Systems: The Polis Approach (Kluwer International Series in Engineering and Computer Science, 404) в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.