Model Driven Development for Embedded Software, Maxa, Jean-Aime
Автор: Moir Ian Название: Design and development of aircraft systems ISBN: 1860584373 ISBN-13(EAN): 9781860584374 Издательство: Wiley Рейтинг: Цена: 8870.00 р. 12672.00-30% Наличие на складе: Есть (1 шт.) Описание: Informs readers of the work that is carried out by engineers in the aerospace industry to produce systems and aircraft. This volume is intended for engineering professionals, operators and users in the aerospace industry.
Описание: First published in 1979, Airport Engineering by Ashford and Wright, has become a classic textbook in the education of airport engineers and transportation planners. Over the past twenty years, construction of new airports in the US has waned as construction abroad boomed.
Автор: Bertolotti Название: Embedded Software Development ISBN: 146659392X ISBN-13(EAN): 9781466593923 Издательство: Taylor&Francis Рейтинг: Цена: 25265.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is written in a way that enables even novice practitioners to grasp the development process as a whole.
Incorporating real code fragments and explicit, real-world open-source operating system references (in particular, FreeRTOS) throughout, the text:
Defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools
Examines the inner workings of the GNU compiler collection (GCC)-based software development system or, in other words, toolchain
Presents software execution models that can be adopted profitably to model and express concurrency
Addresses the basic nomenclature, models, and concepts related to task-based scheduling algorithms
Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components
Analyzes the main components of the FreeRTOS Application Programming Interface (API), detailing the implementation of key operating system concepts
Discusses advanced topics such as formal verification, model checking, runtime checks, memory corruption, security, and dependability
Embedded Software Development: The Open-Source Approach capitalizes on the authors' extensive research on real-time operating systems and communications used in embedded applications, often carried out in strict cooperation with industry. Thus, the book serves as a springboard for further research.
Автор: Gomaa Название: Real-Time Software Design for Embedded Systems ISBN: 1107041090 ISBN-13(EAN): 9781107041097 Издательство: Cambridge Academ Рейтинг: Цена: 12672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers.
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.
Автор: Jason D. Bakos Название: Embedded Systems: ARM Programming and Optimization ISBN: 0128003421 ISBN-13(EAN): 9780128003428 Издательство: Elsevier Science Рейтинг: Цена: 7951.00 р. Наличие на складе: Поставка под заказ.
Описание:
Embedded Systems: ARM Programming and Optimization combines an exploration of the ARM architecture with an examination of the facilities offered by the Linux operating system to explain how various features of program design can influence processor performance. It demonstrates methods by which a programmer can optimize program code in a way that does not impact its behavior but improves its performance. Several applications, including image transformations, fractal generation, image convolution, and computer vision tasks, are used to describe and demonstrate these methods. From this, the reader will gain insight into computer architecture and application design, as well as gain practical knowledge in the area of embedded software design for modern embedded systems.
Описание: This volume contains results gained from the EU-funded 6th Framework project ADIGMA (Adaptive Higher-order Variational Methods for Aerodynamic Applications in Industry).
Описание: In this definitive study, J. D. Hunley traces the program's development from Goddard's early rockets (and the German V-2 missile) through the Titan IVA and the Space Shuttle, with a focus on space-launch vehicles. Since these rockets often evolved from early missiles, he pays considerable attention to missile technology, not as an end in itself, but as a contributor to launch-vehicle technology. Focusing especially on the engineering culture of the program, Hunley communicates this very human side of technological development by means of anecdotes, character sketches, and case studies of problems faced by rocket engineers. He shows how such a highly adaptive approach enabled the evolution of a hugely complicated technology that was impressive-but decidedly not rocket science. Unique in its single-volume coverage of the evolution of launch-vehicle technology from 1926 to 1991, this meticulously researched work will inform scholars and engineers interested in the history of technology and innovation, as well as those specializing in the history of space flight. J. D. HUNLEY's career as a historian has focused on the history of aerospace technology. He was named a Ramsey Fellow at the National Air and Space Museum for 2001-2002 after serving in history programs for both NASA and the U.S. Air Force. He holds a Ph.D. from the University of Virginia. Now semiretired, he continues to write about the history of America's space program
Описание: The book presents the best articles presented by researchers, academicians and industrial experts in the International Conference on “Innovative Design and Development Practices in Aerospace and Automotive Engineering (I-DAD 2016)”. The book discusses new concept designs, analysis and manufacturing technologies, where more swing is for improved performance through specific and/or multifunctional linguistic design aspects to downsize the system, improve weight to strength ratio, fuel efficiency, better operational capability at room and elevated temperatures, reduced wear and tear, NVH aspects while balancing the challenges of beyond Euro IV/Barat Stage IV emission norms, Greenhouse effects and recyclable materials. The innovative methods discussed in the book will serve as a reference material for educational and research organizations, as well as industry, to take up challenging projects of mutual interest.
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
