More Books:

Safety Management for Software-based Equipment
Language: en
Pages: 192
Authors: Jean-Louis Boulanger
Categories: Technology & Engineering
Type: BOOK - Published: 2013-05-06 - Publisher: John Wiley & Sons

A review of the principles of the safety of software-basedequipment, this book begins by presenting the definition principlesof safety objectives. It then moves on to show how it is possibleto define a safety architecture (including redundancy,diversification, error-detection techniques) on the basis of safetyobjectives and how to identify objectives related to
Computer Safety, Reliability, and Security
Language: en
Pages: 412
Authors: Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
Categories: Computers
Type: BOOK - Published: 2019-09-02 - Publisher: Springer Nature

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two
Metaheuristics for Air Traffic Management
Language: en
Pages: 214
Authors: Nicolas Durand, David Gianazza, Jean-Baptiste Gotteland, Jean-Marc Alliot
Categories: Computers
Type: BOOK - Published: 2016-01-19 - Publisher: John Wiley & Sons

Air Traffic Management involves many different services such as Airspace Management, Air Traffic Flow Management and Air Traffic Control. Many optimization problems arise from these topics and they generally involve different kinds of variables, constraints, uncertainties. Metaheuristics are often good candidates to solve these problems. The book models various complex
Rapid Prototyping Software for Avionics Systems
Language: en
Pages: 128
Authors: Nicolas Larrieu, Antoine Varet
Categories: Computers
Type: BOOK - Published: 2014-10-13 - Publisher: John Wiley & Sons

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
Metaheuristics for Logistics
Language: en
Pages: 222
Authors: Laurent Deroussi
Categories: Computers
Type: BOOK - Published: 2016-02-10 - Publisher: John Wiley & Sons

This book describes the main classical combinatorial problems that can be encountered when designing a logistics network or driving a supply chain. It shows how these problems can be tackled by metaheuristics, both separately and using an integrated approach. A huge number of techniques, from the simplest to the most