Real-Time Systems

Olderog Ernst-Rudiger (EN)
Рейтинг 0
  • Понравилось: 0
  • В библиотеках: 0
  • 31
  • 0
  • 0

Скачать книгу в формате:

Аннотация

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.

ЕЩЕ



Отзывы

Популярные книги

Здравствуй уважаемый читатель. Книга "Real-Time Systems" Olderog Ernst-Rudiger (EN) относится к разряду тех, которые стоит прочитать. Данная история - это своеобразная загадка, поставленная читателю, и обычной логикой ее не разгадать, до самой последней страницы. В процессе чтения появляются отдельные домыслы и догадки, но связать все воедино невозможно, и лишь в конце все становится и на свои места. Периодически возвращаясь к композиции каждый раз находишь для себя какой-то насущный, волнующий вопрос и незамедлительно получаешь на него ответ. Отличительной чертой следовало бы обозначить попытку выйти за рамки основной идеи и существенно расширить круг проблем и взаимоотношений. Главный герой моментально вызывает одобрение и сочувствие, с легкостью начинаешь представлять себя не его месте и сопереживаешь вместе с ним. Основное внимание уделено сложности во взаимоотношениях, но легкая ирония, сглаживает острые углы и снимает напряженность с читателя. Умеренное уделение внимания мелочам, создало довольно четкую картину, но и не лишило читателя места для его личного воображения. Создатель не спешит преждевременно раскрыть идею произведения, но через действия при помощи намеков в диалогах постепенно подводит к ней читателя. Место событий настолько детально и красочно описано, что у читающего невольно возникает эффект присутствия. Умелое использование зрительных образов писателем создает принципиально новый, преобразованный мир, энергичный и насыщенный красками. "Real-Time Systems" Olderog Ernst-Rudiger (EN) читать бесплатно онлайн можно с восхищением, можно с негодованием, но невозможно с равнодушием.

Читать Real-Time Systems

Новинки

Обрученные магией
  • 1
  • 0
  • 0

Аннотация:

Волей судьбы я оказалась связанной со своим истинным магическими узами. Но он не считал меня взросло...

Полный текст — 67 стр.

Волей судьбы я оказалась связанной со своим истинным магическими узами. Но он не считал меня взросло...

В аду нам не рады
  • 3
  • 0
  • 0

Аннотация:

Во второй (на самом деле первой книге) литературного сериала «Зона» описываются события прямо пре...

Фрагмент — 21 стр.

Во второй (на самом деле первой книге) литературного сериала «Зона» описываются события прямо пре...

Души моей палач
  • 13
  • 1
  • 0

Аннотация:

Он — принц демонов, который разучился чувствовать. Двести лет назад предательство матери убило в нём...

Полный текст — 73 стр.

Он — принц демонов, который разучился чувствовать. Двести лет назад предательство матери убило в нём...

Решать тебе
  • 16
  • 0
  • 0

Аннотация:

Мир после зомбиапокалипсиса оставляет единственный выбор для тех, кто выжил — двигаться вперёд, чтоб...

Полный текст — 91 стр.

Мир после зомбиапокалипсиса оставляет единственный выбор для тех, кто выжил — двигаться вперёд, чтоб...

Её выбор
  • 44
  • 0
  • 0

Аннотация:

Алиса Жданова самодостаточная красивая девушка. И она вот-вот должна была стать женой успешного юрис...

Полный текст — 36 стр.

Алиса Жданова самодостаточная красивая девушка. И она вот-вот должна была стать женой успешного юрис...

T. 04:00.
  • 9
  • 0
  • 0

Жанр: Разное

Аннотация:

Вера потеряла дочь два года назад — и однажды получает шанс увидеть её снова. Один час. Не больше...

Фрагмент — 1 стр.

Вера потеряла дочь два года назад — и однажды получает шанс увидеть её снова. Один час. Не больше...