Author: Flammini, Francesco
Publisher: IGI Global
ISBN: 146661644X
Category : Technology & Engineering
Languages : en
Pages : 487
Get Book Here
Book Description
Human errors, as well as deliberate sabotage, pose a considerable danger to passengers riding on the modern railways and have created disastrous consequences. To protect civilians against both intentional and unintentional threats, rail transportation has become increasingly automated. Railway Safety, Reliability, and Security: Technologies and Systems Engineering provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of real-time safety-critical railway control systems, as well as the protection of rail transportation infrastructures.
Author:
Publisher:
ISBN: 9781621989448
Category : Railroads
Languages : en
Pages : 388
Get Book Here
Book Description
"This book provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of 'real-time safety-critical' railway control systems, as well as the protection of rail transportation infrastructures"--
Author: Tomasz Nowakowski
Publisher: CRC Press
ISBN: 1315736977
Category : Technology & Engineering
Languages : en
Pages : 2493
Get Book Here
Book Description
Within the last fifty years the performance requirements for technical objects and systems were supplemented with: customer expectations (quality), abilities to prevent the loss of the object properties in operation time (reliability and maintainability), protection against the effects of undesirable events (safety and security) and the ability to
Author: Frank J. Furrer
Publisher: Springer Nature
ISBN: 365837182X
Category : Computers
Languages : en
Pages : 559
Get Book Here
Book Description
Cyber-physical systems (CPSs) consist of software-controlled computing devices communicating with each other and interacting with the physical world through sensors and actuators. Because most of the functionality of a CPS is implemented in software, the software is of crucial importance for the safety and security of the CPS. This book presents principle-based engineering for the development and operation of dependable software. The knowledge in this book addresses organizations that want to strengthen their methodologies to build safe and secure software for mission-critical cyber-physical systems. The book: • Presents a successful strategy for the management of vulnerabilities, threats, and failures in mission-critical cyber-physical systems; • Offers deep practical insight into principle-based software development (62 principles are introduced and cataloged into five categories: Business & organization, general principles, safety, security, and risk management principles); • Provides direct guidance on architecting and operating dependable cyber-physical systems for software managers and architects.
Author: Egils Ginters
Publisher: Springer Nature
ISBN: 3030396886
Category : Technology & Engineering
Languages : en
Pages : 400
Get Book Here
Book Description
This proceedings volume explores the latest advances in transport and logistics, while also discussing the applications of modern information technologies, telecommunications, electronics, and prospective research methods and analyzing their impacts on society and the environment, which in turn determine the future development of these technologies. The book is intended for a broad readership, including transport and logistics business planners and technical experts, leveraging industry knowledge and facilitating technology adoption in promising business regions and transit corridors such as Ukraine, Kazakhstan, and others. The authors, who include policy planners and crafters as well as education and training professionals, address various types of intermodal transport such as rail, road, maritime, air, etc.
Author: Luís Borda-de-Água
Publisher: Springer
ISBN: 3319574965
Category : Nature
Languages : en
Pages : 336
Get Book Here
Book Description
This book is open access under a CC BY 4.0 license. This book provides a unique overview of the impacts of railways on biodiversity, integrating the existing knowledge on the ecological effects of railways on wildlife, identifying major knowledge gaps and research directions and presenting the emerging field of railway ecology. The book is divided into two major parts: Part one offers a general review of the major conceptual and theoretical principles of railway ecology. The chapters consider the impacts of railways on wildlife populations and concentrate on four major topics: mortality, barrier effects, species invasions and disturbances (ranging from noise to chemical pollution). Part two focuses on a number of case studies from Europe, Asia and North America written by an international group of experts.
Author: Alessandro Cimatti
Publisher: Springer
ISBN: 3319661973
Category : Computers
Languages : en
Pages : 427
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.
Author: Frank J. Furrer
Publisher: Springer
ISBN: 3658199385
Category : Computers
Languages : en
Pages : 395
Get Book Here
Book Description
This book focuses on software architecture and the value of architecture in the development of long-lived, mission-critical, trustworthy software-systems. The author introduces and demonstrates the powerful strategy of “Managed Evolution,” along with the engineering best practice known as “Principle-based Architecting.” The book examines in detail architecture principles for e.g., Business Value, Changeability, Resilience, and Dependability. The author argues that the software development community has a strong responsibility to produce and operate useful, dependable, and trustworthy software. Software should at the same time provide business value and guarantee many quality-of-service properties, including security, safety, performance, and integrity. As Dr. Furrer states, “Producing dependable software is a balancing act between investing in the implementation of business functionality and investing in the quality-of-service properties of the software-systems.” The book presents extensive coverage of such concepts as: Principle-Based Architecting Managed Evolution Strategy The Future Principles for Business Value Legacy Software Modernization/Migration Architecture Principles for Changeability Architecture Principles for Resilience Architecture Principles for Dependability The text is supplemented with numerous figures, tables, examples and illustrative quotations. Future-Proof Software-Systems provides a set of good engineering practices, devised for integration into most software development processes dedicated to the creation of software-systems that incorporate Managed Evolution.
Author: Qamar Mahboob
Publisher: CRC Press
ISBN: 1351978780
Category : Technology & Engineering
Languages : en
Pages : 898
Get Book Here
Book Description
The Handbook of RAMS in Railway Systems: Theory and Practice addresses the complexity in today's railway systems, which use computers and electromechanical components to increase efficiency while ensuring a high level of safety. RAM (Reliability, Availability, Maintainability) addresses the specifications and standards that manufacturers and operators have to meet. Modeling, implementation, and assessment of RAM and safety requires the integration of railway engineering systems; mathematical and statistical methods; standards compliance; and financial/economic factors. This Handbook brings together a group of experts to present RAM and safety in a modern, comprehensive manner.
Author: Tiziana Margaria
Publisher: Springer
ISBN: 3642340326
Category : Computers
Languages : en
Pages : 376
Get Book Here
Book Description
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.
