Dependable Software Engineering. Theories, Tools, and Applications


Book Description

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.




Modeling and Simulation Support for System of Systems Engineering Applications


Book Description

“...a much-needed handbook with contributions from well-chosen practitioners. A primary accomplishment is to provide guidance for those involved in modeling and simulation in support of Systems of Systems development, more particularly guidance that draws on well-conceived academic research to define concepts and terms, that identifies primary challenges for developers, and that suggests fruitful approaches grounded in theory and successful examples.” Paul Davis, The RAND Corporation Modeling and Simulation Support for System of Systems Engineering Applications provides a comprehensive overview of the underlying theory, methods, and solutions in modeling and simulation support for system of systems engineering. Highlighting plentiful multidisciplinary applications of modeling and simulation, the book uniquely addresses the criteria and challenges found within the field. Beginning with a foundation of concepts, terms, and categories, a theoretical and generalized approach to system of systems engineering is introduced, and real-world applications via case studies and examples are presented. A unified approach is maintained in an effort to understand the complexity of a single system as well as the context among other proximate systems. In addition, the book features: Cutting edge coverage of modeling and simulation within the field of system of systems, including transportation, system health management, space mission analysis, systems engineering methodology, and energy State-of-the-art advances within multiple domains to instantiate theoretic insights, applicable methods, and lessons learned from real-world applications of modeling and simulation The challenges of system of systems engineering using a systematic and holistic approach Key concepts, terms, and activities to provide a comprehensive, unified, and concise representation of the field A collection of chapters written by over 40 recognized international experts from academia, government, and industry A research agenda derived from the contribution of experts that guides scholars and researchers towards open questions Modeling and Simulation Support for System of Systems Engineering Applications is an ideal reference and resource for academics and practitioners in operations research, engineering, statistics, mathematics, modeling and simulation, and computer science. The book is also an excellent course book for graduate and PhD-level courses in modeling and simulation, engineering, and computer science.




Systems of Systems Engineering


Book Description

As technology presses forward, scientific projects are becoming increasingly complex. The international space station, for example, includes over 100 major components, carried aloft during 88 spaces flights which were organized by over 16 nations. The need for improved system integration between the elements of an overall larger technological system has sparked further development of systems of systems (SoS) as a solution for achieving interoperability and superior coordination between heterogeneous systems. Systems of Systems Engineering: Principles and Applications provides engineers with a definitive reference on this newly emerging technology, which is being embraced by such engineering giants as Boeing, Lockheed Martin, and Raytheon. The book covers the complete range of fundamental SoS topics, including modeling, simulation, architecture, control, communication, optimization, and applications. Containing the contributions of pioneers at the forefront of SoS development, the book also offers insight into applications in national security, transportation, energy, and defense as well as healthcare, the service industry, and information technology. System of systems (SoS) is still a relatively new concept, and in time numerous problems and open-ended issues must be addressed to realize its great potential. THis book offers a first look at this rapidly developing technology so that engineers are better equipped to face such challenges.




System of Systems Engineering


Book Description

Discover the emerging science and engineering of System of Systems Many challenges of the twenty-first century, such as fossil fuel energy resources, require a new approach. The emergence of System of Systems (SoS) and System of Systems Engineering (SoSE) presents engineers and professionals with the potential for solving many of the challenges facing our world today. This groundbreaking book brings together the viewpoints of key global players in the field to not only define these challenges, but to provide possible solutions. Each chapter has been contributed by an international expert, and topics covered include modeling, simulation, architecture, the emergence of SoS and SoSE, net-centricity, standards, management, and optimization, with various applications to defense, transportation, energy, the environment, healthcare, service industry, aerospace, robotics, infrastructure, and information technology. The book has been complemented with several case studies—Space Exploration, Future Energy Resources, Commercial Airlines Maintenance, Manufacturing Sector, Service Sector, Intelligent Transportation, Future Combat Missions, Global Earth Observation System of Systems project, and many more—to give readers an understanding of the real-world applications of this relatively new technology. System of Systems Engineering is an indispensable resource for aerospace and defense engineers and professionals in related fields.




Intelligent Control Systems with an Introduction to System of Systems Engineering


Book Description

From aeronautics and manufacturing to healthcare and disaster management, systems engineering (SE) now focuses on designing applications that ensure performance optimization, robustness, and reliability while combining an emerging group of heterogeneous systems to realize a common goal. Use SoS to Revolutionize Management of Large Organizations, Factories, and Systems Intelligent Control Systems with an Introduction to System of Systems Engineering integrates the fundamentals of artificial intelligence and systems control in a framework applicable to both simple dynamic systems and large-scale system of systems (SoS). For decades, NASA has used SoS methods, and major manufacturers—including Boeing, Lockheed-Martin, Northrop-Grumman, Raytheon, BAE Systems—now make large-scale systems integration and SoS a key part of their business strategies, dedicating entire business units to this remarkably efficient approach. Simulate Novel Robotic Systems and Applications Transcending theory, this book offers a complete and practical review of SoS and some of its fascinating applications, including: Manipulation of robots through neural-based network control Use of robotic swarms, based on ant colonies, to detect mines Other novel systems in which intelligent robots, trained animals, and humans cooperate to achieve humanitarian objectives Training engineers to integrate traditional systems control theory with soft computing techniques further nourishes emerging SoS technology. With this in mind, the authors address the fundamental precepts at the core of SoS, which uses human heuristics to model complex systems, providing a scientific rationale for integrating independent, complex systems into a single coordinated, stabilized, and optimized one. They provide readers with MATLAB® code, which can be downloaded from the publisher's website to simulate presented results and projects that offer practical, hands-on experience using concepts discussed throughout the book.




Verified Software: Theories, Tools, Experiments


Book Description

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances over the past four decades, came to the conclusion that piecemeal efforts are no longer sufficient and proposed a “Grand Challenge” intended to achieve, over 15 years, the production of a verifying compiler: a tool that while processing programs would also guarantee their adherence to specified properties of correctness, robustness, safety, security and other desirable properties. As Hoare sees it, this endeavor is not a mere research project, as might normally be carried out by one team or a small consortium of teams, but a momentous endeavor, comparable in its scope to the successful mission to send a man to the moon or to the sequencing of the human genome.




Engineering Theories of Software Construction


Book Description

This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR.




Exploring Services Science


Book Description

Service science constitutes an interdisciplinary approach to systematic innovation in service systems, integrating managerial, social, legal, and engineering aspects to address the theoretical and practical challenges of the services industry and its economy. This book contains the refereed proceedings of the 4th International Conference on Exploring Services Science (IESS), held in Porto, Portugal, in February 2013. This year, the conference theme was Enhancing Service System Fundamentals and Experiences, chosen to address the current need to explore enhanced methods, approaches, and techniques for a more sustainable and comprehensive economy and society. The 19 full and 9 short papers accepted for IESS were selected from 78 submissions and presented ideas and results related to innovation, services discovery, services engineering, and services management, as well as the application of services in information technology, business, healthcare, and transportation.




Language and Automata Theory and Applications


Book Description

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 115 submissions. The papers cover the following topics: algebraic language theory; algorithms for semi-structured data mining, algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata networks, concurrency and Petri nets; automatic structures; cellular automata, codes, combinatorics on words; computational complexity; data and image compression; descriptional complexity; digital libraries and document engineering; foundations of finite state technology; foundations of XML; fuzzy and rough languages; grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parallel and regulated rewriting; parsing; patterns; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.




System of Systems Modeling and Analysis


Book Description

System of Systems Modeling and Analysis provides the reader with motivation, theory, methodology, and examples of modeling and analysis for system of system (SoS) problems. In addition to theory, this book contains history and conceptual definitions, as well as the theoretical fundamentals of SoS modeling and analysis. It then describes methods for SoS modeling and analysis, including use of existing methodology and original work, specifically oriented to SoS. Providing a bridge between theory and practice for modeling and analysis of SoS, this book includes generalized concepts and Methods, Tools, and Processes (MTP) applicable to SoS across any application domain. Examples of application from various fields will be used to provide a practical demonstration of the use of the methodologies. Features Offers a modern presentation of SoS principles and guided description of applying a modeling and analysis process to SoS engineering Provides additional modeling approaches useful for SoS engineering, including agent-based modeling Covers the current gap in literature between theory and modeling/application Features examples of applications from various fields, such as energy grids and regional transportation Includes questions, examples, and exercises at the end of each chapter This book is intended for senior undergraduate students in engineering programs studying SoS modeling, SoS analysis, and SoS engineering courses. Professional engineers will also benefit from MTP and examples as a baseline for specific user applications.