Download or read book Modeling and Analysis of Embedded Real Time Systems in the Automotive Safety Domain written by Christoph Lauer and published by Cuvillier Verlag. This book was released on 2023-06-28 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: Die Elektronik und die Informatik wird in den nächsten Jahrzehnten einen immer höheren Stellenwert im Bereich der Fahrzeugsicherheit einnehmen. Neue Sensoren zur Umweltwahrnehmung werden die Fahrzeuge in die Lage versetzen angemessen auf die aktuelle Verkehrssituation zu reagieren. Es wird erwartet, dass aktive Sicherheitssysteme, wie beispielsweise die automatische Notbremsung, Fußgänger- und Radfahrererkennung und Funktionen zur Unfallvermeidung, die Anzahl tödlicher Verkehrsunfälle weiter zurückgehen lassen werden. Dabei besteht die Herausforderung darin, die neuen Sicherheitsfunktionen in ein System zu integrieren, dass bereits heute hochkomplex und vernetzt ist. Entstehen werden Echtzeitsysteme, die aus hochintegrierten Subsystemen bestehen werden. In dieser Dissertation werden Methoden entwickelt, um die Auslegung derartiger Steuergeräte in frühen Entwicklungsphasen abzusichern. Mithilfe von Modelltransformationen sowie simulativer und formaler Methoden werden verschiedene Architekturkonzepte aus den Perspektiven effektiver Umfeldwahrnehmung, funktionaler Sicherheit und Echtzeitfähigkeit betrachtet und bewertet. Von besonderer Bedeutung sind hierbei die Echtzeiteigenschaften der Softwareanteile der Sicherheitsfunktionen. Alle entwickelten Methoden wurden im Rahmen einer Forschungskooperation zwischen der Universität Erlangen-Nürnberg und der AUDI AG angewendet. Folgende Erkenntnisse konnten unter Anderem gewonnen werden: • Die Fusion von Objektlisten verschiedenartiger Sensoren ist aus Kosten-Nutzen-Sicht zu bevorzugen. • Modellbasierte Sicherheitsanalysen bieten sich insbesondere in frühen Entwicklungsphasen an, den Entwicklungsprozess zu unterstützen. • Für die Echtzeitanalyse von Steuergeräten sind exakte Algorithmen erforderlich, die in der Lage sind die kritischen Systemzustände zu visualisieren. • Die Simulation der Softwaretasks ist ein wichtiger Bestandteil der Analyse und ist erforderlich, um die dynamischen Effekte des Systems zu verstehen, sowie die Relevanz der kritischen Systemzustände einschätzen zu können. • Der Ansatz der modellgetriebenen Entwicklung ist besonders praktikabel in frühen Phasen der Systementwicklung, wenn man die Verallgemeinerung der Erkenntnisse unter Berücksichtigung des Abstraktionsgrades der Systemmodelle und der Eingabeparametermodelle durchführt. Durch die durchgeführten Analysen wurden Jahre vor der Serienproduktion, und Monate bevor erste Entwicklungsmuster zur Verfügung standen, an verschiedenen Stellen Engpässe in der Leistungsfähigkeit der Architekturkonzepte gefunden. Aufgrund der guten Zusammenarbeit zwischen OEM, Lieferant und Wissenschaft wurden neue Entwicklungsprozesse ins Leben gerufen und implementiert. Sowohl momentane als auch zukünftige Sicherheitssysteme profitieren von den entwickelten Methoden und werden die Basis bieten können um effiziente und effektive Funktionen der Fahrzeugsicherheit umsetzen zu können.

Download or read book Model Based Engineering of Embedded Real Time Systems written by Holger Giese and published by Springer. This book was released on 2010-10-09 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.

Download or read book Automotive Embedded Systems Handbook written by Nicolas Navet and published by CRC Press. This book was released on 2017-12-19 with total page 566 pages. Available in PDF, EPUB and Kindle. Book excerpt: A Clear Outline of Current Methods for Designing and Implementing Automotive Systems Highlighting requirements, technologies, and business models, the Automotive Embedded Systems Handbook provides a comprehensive overview of existing and future automotive electronic systems. It presents state-of-the-art methodological and technical solutions in the areas of in-vehicle architectures, multipartner development processes, software engineering methods, embedded communications, and safety and dependability assessment. Divided into four parts, the book begins with an introduction to the design constraints of automotive-embedded systems. It also examines AUTOSAR as the emerging de facto standard and looks at how key technologies, such as sensors and wireless networks, will facilitate the conception of partially and fully autonomous vehicles. The next section focuses on networks and protocols, including CAN, LIN, FlexRay, and TTCAN. The third part explores the design processes of electronic embedded systems, along with new design methodologies, such as the virtual platform. The final section presents validation and verification techniques relating to safety issues. Providing domain-specific solutions to various technical challenges, this handbook serves as a reliable, complete, and well-documented source of information on automotive embedded systems.

Download or read book Real Time Systems Design and Analysis written by Phillip A. Laplante and published by Wiley-IEEE Press. This book was released on 1997 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: "IEEE Press is pleased to bring you this Second Edition of Phillip A. Laplante's best-selling and widely-acclaimed practical guide to building real-time systems. This book is essential for improved system designs, faster computation, better insights, and ultimate cost savings. Unlike any other book in the field, REAL-TIME SYSTEMS DESIGN AND ANALYSIS provides a holistic, systems-based approach that is devised to help engineers write problem-solving software. Laplante's no-nonsense guide to real-time system design features practical coverage of: Related technologies and their histories Time-saving tips * Hands-on instructions Pascal code Insights into decreasing ramp-up times and more!"

Download or read book Analysis Architectures and Modelling of Embedded Systems written by Achim Rettberg and published by Springer. This book was released on 2009-09-19 with total page 326 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Timely topics, techniques and trends in embedded system design are covered by the chapters in this volume, including modelling, simulation, verification, test, scheduling, platforms and processors. Particular emphasis is paid to automotive systems and wireless sensor networks. Sets of actual case studies in the area of embedded system design are also included. Over recent years, embedded systems have gained an enormous amount of proce- ing power and functionality and now enter numerous application areas, due to the fact that many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements. Both the development of new features and the reuse of existing intellectual property components are essential to keeping up with ever more demanding customer requirements. Furthermore, design complexities are steadily growing with an increasing number of components that have to cooperate properly. Embedded system designers have to cope with multiple goals and constraints simul- neously, including timing, power, reliability, dependability, maintenance, packaging and, last but not least, price.

Download or read book Real Time Embedded Systems written by Jiacun Wang and published by John Wiley & Sons. This book was released on 2017-07-10 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and verification Following an introductory overview, Dr. Wang delves into the specifics of hardware components, including processors, memory, I/O devices and architectures, communication structures, peripherals, and characteristics of real-time operating systems. Later chapters are dedicated to real-time task scheduling algorithms and resource access control policies, as well as priority-inversion control and deadlock avoidance. Concurrent system programming and POSIX programming for real-time systems are covered, as are finite state machines and Time Petri nets. Of special interest to software engineers will be the chapter devoted to model checking, in which the author discusses temporal logic and the NuSMV model checking tool, as well as a chapter treating real-time software design with UML. The final portion of the book explores practical issues of software reliability, aging, rejuvenation, security, safety, and power management. In addition, the book: Explains real-time embedded software modeling and design with finite state machines, Petri nets, and UML, and real-time constraints verification with the model checking tool, NuSMV Features real-world examples in finite state machines, model checking, real-time system design with UML, and more Covers embedded computer programing, designing for reliability, and designing for safety Explains how to make engineering trade-offs of power use and performance Investigates practical issues concerning software reliability, aging, rejuvenation, security, and power management Real-Time Embedded Systems is a valuable resource for those responsible for real-time and embedded software design, development, and management. It is also an excellent textbook for graduate courses in computer engineering, computer science, information technology, and software engineering on embedded and real-time software systems, and for undergraduate computer and software engineering courses.

Download or read book Embedded Systems Handbook 2 Volume Set written by Richard Zurawski and published by CRC Press. This book was released on 2018-10-08 with total page 1462 pages. Available in PDF, EPUB and Kindle. Book excerpt: During the past few years there has been an dramatic upsurge in research and development, implementations of new technologies, and deployments of actual solutions and technologies in the diverse application areas of embedded systems. These areas include automotive electronics, industrial automated systems, and building automation and control. Comprising 48 chapters and the contributions of 74 leading experts from industry and academia, the Embedded Systems Handbook, Second Edition presents a comprehensive view of embedded systems: their design, verification, networking, and applications. The contributors, directly involved in the creation and evolution of the ideas and technologies presented, offer tutorials, research surveys, and technology overviews, exploring new developments, deployments, and trends. To accommodate the tremendous growth in the field, the handbook is now divided into two volumes. New in This Edition: Processors for embedded systems Processor-centric architecture description languages Networked embedded systems in the automotive and industrial automation fields Wireless embedded systems Embedded Systems Design and Verification Volume I of the handbook is divided into three sections. It begins with a brief introduction to embedded systems design and verification. The book then provides a comprehensive overview of embedded processors and various aspects of system-on-chip and FPGA, as well as solutions to design challenges. The final section explores power-aware embedded computing, design issues specific to secure embedded systems, and web services for embedded devices. Networked Embedded Systems Volume II focuses on selected application areas of networked embedded systems. It covers automotive field, industrial automation, building automation, and wireless sensor networks. This volume highlights implementations in fast-evolving areas which have not received proper coverage in other publications. Reflecting the unique functional requirements of different application areas, the contributors discuss inter-node communication aspects in the context of specific applications of networked embedded systems.

Download or read book Fundamental Approaches to Software Engineering written by David S. Rosenblum and published by Springer. This book was released on 2010-03-10 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 papers presented were carefully reviewed and selected from 103 submissions. The volume also contains one invited talk. The topics covered are model transformation, software evolution, graph transformation, modeling concepts, verification, program analysis, testing and debugging, and performance modeling and analysis.

Download or read book Software Technologies for Embedded and Ubiquitous Systems written by Sunggu Lee and published by Springer Science & Business Media. This book was released on 2009-11-03 with total page 388 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) followed on the success of six previous editions in Capri, Italy (2008), Santorini, Greece (2007), Gyeongju, Korea (2006), Seattle, USA (2005), Vienna, Austria (2004), and Hokodate, Japan (2003), establishing SEUS as one of the emerging workshops in the ?eld of embedded and ubiq- tous systems. SEUS 2009 continued the tradition of fostering cross-community scienti?c excellence and establishing strong links between researchand industry. The ?elds of both embedded computing and ubiquitous systems have seen considerable growth over the past few years. Given the advances in these ?elds, and also those in the areas of distributed computing, sensor networks, midd- ware, etc. , the area of ubiquitous embedded computing is now being envisioned as the wayof the future. The systems and technologies that will arise in support of ubiquitous embedded computing will undoubtedly need to address a variety of issues, including dependability, real-time, human–computer interaction, - tonomy, resource constraints, etc. All of these requirements pose a challenge to the research community. The purpose of SEUS 2009 was to bring together - searchersand practitioners with an interest in advancing the state of the artand the state of practice in this emerging ?eld, with the hope of fostering new ideas, collaborations and technologies. SEUS 2009 would not have been possible without the e?ort of many people.

Download or read book Simulation and Modeling Methodologies Technologies and Applications written by Nuno Pina and published by Springer Science & Business Media. This book was released on 2012-10-12 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: The present book includes extended and revised versions of a set of selected papers from the 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2011) which was sponsored by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and held in Noordwijkerhout, The Netherlands. SIMULTECH 2011 was technically co-sponsored by the Society for Modeling & Simulation International (SCS), GDR I3, Lionphant Simulation and Simulation Team and held in cooperation with ACM Special Interest Group on Simulation and Modeling (ACM SIGSIM) and the AIS Special Interest Group of Modeling and Simulation (AIS SIGMAS).

Download or read book Architecting Dependable Systems IV written by Rogério de Lemos and published by Springer. This book was released on 2007-08-29 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Download or read book CESAR Cost efficient Methods and Processes for Safety relevant Embedded Systems written by Ajitha Rajan and published by Springer Science & Business Media. This book was released on 2013-03-25 with total page 403 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Modelling Foundations and Applications written by Anthony Anjorin and published by Springer. This book was released on 2017-07-03 with total page 319 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.

Download or read book Embedded Systems Handbook written by Richard Zurawski and published by CRC Press. This book was released on 2017-12-19 with total page 837 pages. Available in PDF, EPUB and Kindle. Book excerpt: Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and provide a technical reference for those looking to move the field forward yet again. Divided into two volumes to accommodate this growth, the Embedded Systems Handbook, Second Edition presents a comprehensive view on this area of computer engineering with a currently appropriate emphasis on developments in networking and applications. Those experts directly involved in the creation and evolution of the ideas and technologies presented offer tutorials, research surveys, and technology overviews that explore cutting-edge developments and deployments and identify potential trends. This second self-contained volume of the handbook, Network Embedded Systems, focuses on select application areas. It covers automotive field, industrial automation, building automation, and wireless sensor networks. This volume highlights implementations in fast-evolving areas which have not received proper coverage in other publications. Reflecting the unique functional requirements of different application areas, the contributors discuss inter-node communication aspects in the context of specific applications of networked embedded systems. Those looking for guidance on preliminary design of embedded systems should consult the first volume: Embedded Systems Design and Verification.

Download or read book Safe and Secure Software Reuse written by John Favaro and published by Springer. This book was released on 2013-06-12 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends.

Download or read book Cybersecurity Challenges in the Age of AI Space Communications and Cyborgs written by Hamid Jahankhani and published by Springer Nature. This book was released on with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Safety Reliability and Security written by Floor Koornneef and published by Springer. This book was released on 2015-09-09 with total page 447 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software-intensive Systems; DECSoS'15 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; ISSE'15 - International workshop on the Integration of Safety and Security Engineering; ReSA4CI 2015 - International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection; SASSUR 2015 - International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems.