The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production.
This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design approaches as well as the use of formal methods for the validation of these systems. Furthermore, the use of automatic software code generation tools using models makes it possible to reduce the development phase as well as the final solution testing.
This book presents, firstly, an overview of the model-based design approaches such as those used in the field of aeronautical software engineering. Secondly, an original methodology that is perfectly adapted to the field of aeronautical embedded systems is introduced. Finally, the authors illustrate the use of this method using a case study for the design, implementation and testing of a new generation aeronautical router.
Автор: G. Guida; G. Lamperti; Marina Zanella Название: Software Prototyping in Data and Knowledge Engineering ISBN: 0792360168 ISBN-13(EAN): 9780792360162 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work describes a prototyping framework for data and knowledge intensive systems. The proposed approach should prove useful for projects that aim to develop a traditional database perspective into fully-fledged advanced database approaches and knowledge engineering technologies.
Автор: G. Guida; G. Lamperti; Marina Zanella Название: Software Prototyping in Data and Knowledge Engineering ISBN: 9401058490 ISBN-13(EAN): 9789401058490 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph describes an innovative prototyping framework for data and knowledge intensive systems. The proposed approach will prove especially useful for advanced and research-oriented projects that aim to develop a traditional database perspective into fully-fledged advanced database approaches and knowledge engineering technologies. The book is organised in two parts. The first part, comprising chapters 1 to 4, provides an introduction to the concept of prototyping, to database and knowledge-based technologies, and to the main issues involved in the integration of data and knowledge engineering. The second part, comprising chapters 5 to 12, illustrates the proposed approach in technical detail. Audience This volume will be of interest to researchers in the field of databases and knowledge engineering in general, and for software designers and knowledge engineers who aim to expand their expertise in data and knowledge intensive systems.
Автор: Michael Binnard Название: Design by Composition for Rapid Prototyping ISBN: 1461374006 ISBN-13(EAN): 9781461374008 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: At first glance, a book on "Design by Composition for Rapid Prototyping" may seem out of place in a series on Robotics. However, this work has a couple of strong connections to the field of robotics and the robotics community, and I am delighted to introduce it to the series.
Автор: Patri K. Venuvinod; Weiyin Ma Название: Rapid Prototyping ISBN: 1402075774 ISBN-13(EAN): 9781402075773 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Suitable for those who are taking courses on rapid prototyping (RP) as well R&D and operating professionals from industry interested in RP, this book presents an overview of RP technologies.
Автор: Zoran Salcic; Asim Smailagic Название: Digital Systems Design and Prototyping ISBN: 0792379209 ISBN-13(EAN): 9780792379201 Издательство: Springer Рейтинг: Цена: 28732.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the subject of digital systems design using two important technologies: Field Programmable Logic Devices (FPLDs) and Hardware Description Languages (HDLs). This book is accompanied by a CD-ROM that contains the Altera MAX+PLUS II development environment which is ready to compile and simulates all examples.
Автор: Ali K. Kamrani; Emad Abouel Nasr Название: Engineering Design and Rapid Prototyping ISBN: 1489989919 ISBN-13(EAN): 9781489989918 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers insight into the methods and techniques that allow for implementing engineering designs by incorporating advanced methodologies and technologies in an integrated approach. It includes topics such as feature-based design and process planning.
Автор: Zoran Salcic; Asim Smailagic Название: Digital Systems Design and Prototyping ISBN: 1475784198 ISBN-13(EAN): 9781475784190 Издательство: Springer Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages, Second Edition covers the subject of digital systems design using two important technologies: Field Programmable Logic Devices (FPLDs) and Hardware Description Languages (HDLs).
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
