WASA 2016


Book Description




Engineering and Operations of System of Systems


Book Description

Modern engineering systems are complex and multi-faceted, and must be flexible, adaptable, and fully integrated with the supply chain and other stakeholders to deliver an effective level of performance. Therefore, this book aims to create an operational view and new understanding of modern system design, commissioning, operation, services and support. It includes system of systems modelling and analysis techniques essential to develop whole of system in view of essential requirements. This book will address professional engineers/operations managers required to design, develop, implement and operate a complex socio-technical system containing many engineering systems. Key Features • Develops a holistic view of system of systems from all possible fields of interest • Introduces the idea of system configurability to understand system of systems in parallel with the typical, classical concepts of engineering systems design • Offers effective coverage of both the engineering aspects and operational aspects of systems of systems • Focuses on pragmatic viewpoints on how to analyze system of systems • Provides practical tools and methods for the readers to develop competence to configure and operate system of systems




Software Engineering for Automotive Systems


Book Description

Software Engineering for Automotive Systems: Principles and Applications discusses developments in the field of software engineering for automotive systems. This reference text presents detailed discussion of key concepts including timing analysis and reliability, validation and verification of automotive systems, AUTOSAR architecture for electric vehicles, automotive grade Linux for connected cars, open-source architecture in the automotive software industry, and communication protocols in the automotive software development process. Aimed at senior undergraduate and graduate students in the fields of electrical engineering, electronics and communication engineering, and automobile engineering, this text: Provides the fundamentals of automotive software architectures. Discusses validation and verification of automotive systems. Covers communication protocols in the automotive software development process. Discusses AUTOSAR architecture for electric vehicles. Examines open-source architecture in the automotive software industry.




Automotive Systems and Software Engineering


Book Description

This book presents the state of the art, challenges and future trends in automotive software engineering. The amount of automotive software has grown from just a few lines of code in the 1970s to millions of lines in today’s cars. And this trend seems destined to continue in the years to come, considering all the innovations in electric/hybrid, autonomous, and connected cars. Yet there are also concerns related to onboard software, such as security, robustness, and trust. This book covers all essential aspects of the field. After a general introduction to the topic, it addresses automotive software development, automotive software reuse, E/E architectures and safety, C-ITS and security, and future trends. The specific topics discussed include requirements engineering for embedded software systems, tools and methods used in the automotive industry, software product lines, architectural frameworks, various related ISO standards, functional safety and safety cases, cooperative intelligent transportation systems, autonomous vehicles, and security and privacy issues. The intended audience includes researchers from academia who want to learn what the fundamental challenges are and how they are being tackled in the industry, and practitioners looking for cutting-edge academic findings. Although the book is not written as lecture notes, it can also be used in advanced master’s-level courses on software and system engineering. The book also includes a number of case studies that can be used for student projects.




Automotive Embedded Systems


Book Description

This book is a compilation of the recent technologies and innovations in the field of automotive embedded systems with a special mention to the role of Internet of Things in automotive systems. The book provides easy interpretable explanations for the key technologies involved in automotive embedded systems. The authors illustrate various diagnostics over internet protocol and over-the-air update process, present advanced driver assistance systems, discuss various cyber security issues involved in connected cars, and provide necessary information about Autosar and Misra coding standards. The book is relevant to academics, professionals, and researchers.




State of the Art Software Development in the Automotive Industry and Analysis upon Applicability of Software Fault Prediction


Book Description

In recent years the amount of software within automobiles has increased up to 100 Million LOC in modern day premium vehicles. Virtually all innovations in automotive engineering in the last decade include software components. Parallel to this increasing amount, testing becomes more vital. Automotive software development follows restrictive guidelines in terms of coding standard, language limitations and processes. Traditionally testing is a core part of automotive development, but the raising number of features increases the time and money required to perform all tests. Repeating them multiple times due to programming errors might jeopardises a cars introduction on the market. SFP is a new approach to forecast bugs already at time of commit, thus to guide test engineers upon defining testing hotspots. This work reports on the first successful application using model driven and code generated automotive software as a case study and a success prediction rate up to 97% upon a bug or fault free commit. A compiled and published dataset is presented along with analysis upon the used software metrics. Performance data achieved using different machine learning algorithms is given. An indepth analysis upon factors preventing CPFP is conducted. Further usage and practical application areas will conclude the work.




Machine Learning for Dynamic Software Analysis: Potentials and Limits


Book Description

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can analyse large and continuously changing software systems. These require new software analysis techniques based on machine learning, such as learning-based software testing, invariant generation or code synthesis. Machine learning is a powerful paradigm that provides novel approaches to automating the generation of models and other essential software artifacts. This volume originates from a Dagstuhl Seminar entitled "Machine Learning for Dynamic Software Analysis: Potentials and Limits” held in April 2016. The seminar focused on fostering a spirit of collaboration in order to share insights and to expand and strengthen the cross-fertilisation between the machine learning and software analysis communities. The book provides an overview of the machine learning techniques that can be used for software analysis and presents example applications of their use. Besides an introductory chapter, the book is structured into three parts: testing and learning, extension of automata learning, and integrative approaches.




Dependable Computing - EDCC 2020 Workshops


Book Description

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: ​1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually. The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.




Automated Driving


Book Description

The main topics of this book include advanced control, cognitive data processing, high performance computing, functional safety, and comprehensive validation. These topics are seen as technological bricks to drive forward automated driving. The current state of the art of automated vehicle research, development and innovation is given. The book also addresses industry-driven roadmaps for major new technology advances as well as collaborative European initiatives supporting the evolvement of automated driving. Various examples highlight the state of development of automated driving as well as the way forward. The book will be of interest to academics and researchers within engineering, graduate students, automotive engineers at OEMs and suppliers, ICT and software engineers, managers, and other decision-makers.




Computational Collective Intelligence


Book Description

This two-volume set (LNAI 11683 and LNAI 11684) constitutes the refereed proceedings of the 11th International Conference on Computational Collective Intelligence, ICCCI 2019, held in Hendaye France, in September 2019.The 117 full papers presented were carefully reviewed and selected from 200 submissions. The papers are grouped in topical sections on: computational collective intelligence and natural language processing; machine learning in real-world data; distributed collective intelligence for smart manufacturing; collective intelligence for science and technology; intelligent management information systems; intelligent sustainable smart cities; new trends and challenges in education: the university 4.0; intelligent processing of multimedia in web systems; and big data streaming, applications and security.