Nicolas Navet

Stephan Merz

This title is devoted to presenting some of the most importantconcepts and techniques for describing real-time systems andanalyzing their behavior in order to enable the designer to achieveguarantees of temporal correctness. Topics addressed include mathematical models of real-timesystems and associated formal verification techniques such as modelchecking, probabilistic modeling and verification, programming anddescription languages, and validation approaches based on testing.With contributions from authors who are experts in their respectivefields, this will provide the reader with the state of the art informal verification of real-time systems and an overview ofavailable software tools.

Formalisms and Software Tools

Modeling and Verification of Real-time Systems

Francoise Simonot-Lion

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.

Nicolas Navet

Books

Your next favorite book is out there