Author: Ajitha Rajan Publisher: Springer Science & Business Media ISBN: 3709113873 Category : Technology & Engineering Languages : en Pages : 403
Book Description
The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and processes to meet the demands in embedded systems development across four domains - avionics, automotive, automation, and rail. The contributions give insight to an improved engineering and safety process life-cycle for the development of safety critical systems. They present new concept of engineering tools integration platform to improve the development of safety critical embedded systems and illustrate capacity of this framework for end-user instantiation to specific domain needs and processes. They also advance state-of-the-art in component-based development as well as component and system validation and verification, with tool support. And finally they describe industry relevant evaluated processes and methods especially designed for the embedded systems sector as well as easy adoptable common interoperability principles for software tool integration.
Author: Chris Dale Publisher: Springer Science & Business Media ISBN: 1849960860 Category : Computers Languages : en Pages : 270
Book Description
Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial – on Formalization in Safety Cases – held on the first day of the Symposium. The subsequent 15 papers are presented under the headings of the Symposium’s sessions: Perspectives on Systems Safety, Managing Safety-Related Projects, Transport Safety, Safety Standards, Safety Competencies and Safety Methods. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.
Author: Eva Geisberger Publisher: Herbert Utz Verlag ISBN: 3831644497 Category : Data protection Languages : en Pages : 293
Book Description
The rapid progress of information technology allows for increasingly powerful software intensive embedded systems (machines) executing integrated applications connected by and to global networks. Thus these systems are more and more networked among each other, but also with data and services on the Internet. Intelligent solutions originate which gather processes of the living environment by means of sensors and actuators, connect them to virtual software worlds and interpret, monitor and control these processes in interaction with people. In this way, so-called Cyber-Physical Systems evolve – a living in a networked world. The interlocking applications include smart cities, social infrastructures with integrated telemedicine care, enhanced connected mobility with fully or semi-autonomous driving cars and traffic systems, safety, security and privacy as well as networked production and the sustainable energy turnaround. The integrated research agenda Cyber-Physical-Systems (agendaCPS) provides a comprehensive overview of the capabilities and benefits of the arising CPS-applications and manifold technological and social challenges involved. The agenda illustrates which value the subject for economy and society has: revolutionary applications of Cyber-Physical Systems address technological and social trends and needs; at the same time they penetrate and interconnect more and more areas of life. On the basis of concrete future scenarios essential application domains are shown. Their analysis reveals which capabilities and technologies form the basis of Cyber-Physical systems and which innovation and possible conflict potential is inherent. The agendaCPS makes clear which researchand action areas are from particular importance. In these contexts opportunities, but also risks become apparent for Germany by Cyber-Physical Systems. This ist the English translation of the report agenda Cyber-Physical Systems finished three years ago as a German acatech project by a German publication.
Author: Francesco Flammini Publisher: Springer ISBN: 3642242707 Category : Computers Languages : en Pages : 494
Book Description
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on RAM evaluation, complex systems dependability, formal verification, risk and hazard analysis, cybersecurity and optimization methods.
Author: Martin Wieczorek Publisher: Springer Science & Business Media ISBN: 3642399711 Category : Computers Languages : en Pages : 204
Book Description
Software and systems quality is playing an increasingly important role in the growth of almost all ─ profit and non-profit ─ organisations. Quality is vital to the success of enterprises in their markets. Most small trade and repair businesses use software systems in their administration and marketing processes. Every doctor’s surgery is managing its patients using software. Banking is no longer conceivable without software. Aircraft, trucks and cars use more and more software to handle their increasingly complex technical systems. Innovation, competition and cost pressure are always present in on-going business decisions. The question facing all these organisations is how to achieve the right quality of their software-based systems and products; how to get the required level of quality, a level that the market will reward, a level that mitigates the organisation’s risks and a level that the organisation is willing to pay for. Although a number of good practices are in place, there is still room for huge improvements. Thus, let us take a look into the two worlds of “Embedded systems” and “ICT systems” and let us learn from both worlds, from overlaps and individual solutions. The next step for industrialisation in the software industry is required now. Hence, three pillars will be focused in this book: (1) a fundamental notion of right software and systems quality (RiSSQ); (2) portfolio management, quality governance, quality management, and quality engineering as holistic approach over the three layers of an enterprise, i.e. strategic, tactical, and operational layer; and (3) an industrialisation framework for implementing our approach.
Author: Antonio Colmenar-Santos Publisher: Springer Nature ISBN: 3031476301 Category : Technology & Engineering Languages : en Pages : 203
Book Description
This book evaluates the contributions of the electronic control unit software of an electric vehicle on sustainability and society, such as the reduction of emissions during a product design and the improvements in the vehicle. A sustainable transport model is proposed, demonstrating its economic viability. By validating software in a more efficient way and adding new functionalities to the software to enhance driving efficiency, energy consumption can be significantly reduced. Therefore, software validation and development have a significant impact on sustainability. This book offers innovative validation solutions based on artificial intelligence techniques to reduce validation time and emissions. The impact of driving efficiency on sustainable transport models is studied in detail, making proposals to be considered in the current environmental policies under discussion within the European Union in order to improve the sustainability of transport models. Vehicles are becoming sophisticated electronic systems due to the fact that they are integrating a significant number of electronic control units. This trend will certainly continue in the year to come. Consequently, software validation techniques are a key element for car manufacturers in order to ensure the quality of the vehicle. This book contributes to these efforts.
Author: Klaus Pohl Publisher: Springer ISBN: 3319480030 Category : Computers Languages : en Pages : 301
Book Description
This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework can be tailored to meet domain and project-specific needs. The book is structured into four parts: Part I “Starting Situation” discusses the status quo of the development of embedded systems with specific focus on model-based engineering and summarizes key challenges emerging from industrial practice. Part II “Modeling Theory” introduces the SPES XT modeling framework and explains the core underlying principles. Part III “Application of the SPES XT Framework” describes the application of the SPES XT modeling framework and how it addresses major industrial challenges. Part IV “Evaluation and Technology Transfer” assess the impact of the SPES XT modeling framework and includes various exemplary applications from automation, automotive, and avionics. Overall, the SPES XT modeling framework offers a seamless model-based engineering approach. It addresses core challenges faced during the engineering of embedded systems. Among others, it offers aligned and integrated techniques for the early validation of engineering artefacts (including requirements and functional and technical designs), the management of product variants and their variability, modular safety assurance and deployment of embedded software.
Author: Frédéric Lang Publisher: Springer ISBN: 331910702X Category : Computers Languages : en Pages : 213
Book Description
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
Author: Gunar Schirner Publisher: Springer ISBN: 3642388531 Category : Computers Languages : en Pages : 368
Book Description
This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.
Author: Andrea Bondavalli Publisher: Springer ISBN: 3319105574 Category : Computers Languages : en Pages : 472
Book Description
This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14.
Author: Ajitha Rajan
Author: Chris Dale
Author: Eva Geisberger
Author: Francesco Flammini
Author: Martin Wieczorek
Author: Antonio Colmenar-Santos
Author: Klaus Pohl
Author: Frédéric Lang
Author: Gunar Schirner
Author: Andrea Bondavalli